About Me
- Name: Sushant Bhatia
- Location: Tempe, Az
I work at CUbiC, the Center for Ubiquitous Computing at ASU. We are developing applications and devices for individuals who are blind. I personally am in charge of developing the iCare BookReader. This device will allow individuals who are blind to have print material read to them. The interface is intuitive and accessible. The process is much faster than using a scanner and our BookReader is quite feature rich. On a personal note, I love coding especially in .Net and C#.
My blog is about coding in .Net and about my interests in general. I love to read, esp Discworld novels by Terry Prattchet. I will post items about work, school, cool stuff and ideas for projects I have. If your ever interested in any of them, let me know as I would love to work on some of them.
Archives
Ankh Morpork's Finest Coder
Wednesday, December 08, 2004
A Theory of Predicate-Complete Test Coverage and Generation
I recently came across a paper from MS Research called A Theory of Predicate-Complete Test Coverage and Generation. I found this to be a very interesting paper [pdf] because it talked about a new style of test case generation and coverage.
If your familiar with software testing you will know of something called the Modified Condition/Decision Coverage (MCDC). Well Predicate-Complete Test coverage or PCT takes testing one step further than MC/DC.
I did a short introduction to PCT for my testing class. While the paper is quite heavy on First-Order logic (Thank you cse 459 - logic for computer scientists), its a decent read.
A sample slide from my presentation.
Here is the presentation I made for the class. CSE565.ppt
I am trying to figure out if PCT can be used for Web Service Testing. I believe it can be. The details of this will be forthcoming soon. Hopefully by the end of this week I should have a paper written about that process.
One question I do have about PCT is, does PCT only perform positive testing?