J. J. Chilenski and S. P. Miller. Applicability of modied condition/decision coverage to software testing. Software Engineering Journal, pages 193-200, September 1994.  Home/Search   Document Not in Database   Summary   Related Articles

....We generated tests for a small example, ran them against a target implementation, and measured code branch coverage. Generating tests to kill all mutants is the rst test criterion we investigated. Some other speci cation based criteria are stuck at faults [1] CCC partitions [6] MC DC [7], automata theoretic [8] branch coverage [10] disconnection or redirection faults [11] and transition pair coverage [13] Test generation then is the problem of nding tests which ful ll the goals embodied in the criterion. Test set recognition is the conjugate of test generation. Whereas test ....

....attacks, a counterexample is produced illustrating the attack. In work underway, we encoded di erent test criteria as temporal logic constraints. Using a model checker, we analyzed branch coverage [10] uncorrelated full predicate coverage (similar to Multiple Condition Decision Coverage or MC DC [7]) and transition pair coverage [13] in addition to mutation coverage. We found that di erent metrics are easily encoded into temporal logic, with some limitations, and that interesting theoretical comparisons between metrics are facilitated by formalizing them. To scale these methods up to ....

J. J. Chilenski and S. P. Miller. Applicability of modied condition/decision coverage to software testing. Software Engineering Journal, pages 193-200, September 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC