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?


Post a Comment