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?