Dy-COPECA (Dynamic COverage PErcentage CAlculator) is a test case adequacy checker to measure Modified Condition / Decision Coverage (MC/DC) criterion. It is highly based on the test cases generated from KLEE and TRACER-X tools. To run Dy-COPECA, users must have test cases and a C program. It produces MC/DC Extended truth tables for all predicates and test cases. Also, it reports total number of independently affected conditions and total number of simple conditions present in C progam with a socre in percentage.
-
Notifications
You must be signed in to change notification settings - Fork 1
Dy-COPECA (Dynamic COverage PErcentage CAlculator) is a test case adequacy checker to measure Modified Condition / Decision Coverage (MC/DC) criterion. It is highly based on the test cases generated from KLEE and TRACER-X tools. To run Dy-COPECA, users must have test cases and a C program. It produces MC/DC Extended truth tables for all predicat…
fuzzamos/dy-copeca
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Dy-COPECA (Dynamic COverage PErcentage CAlculator) is a test case adequacy checker to measure Modified Condition / Decision Coverage (MC/DC) criterion. It is highly based on the test cases generated from KLEE and TRACER-X tools. To run Dy-COPECA, users must have test cases and a C program. It produces MC/DC Extended truth tables for all predicat…
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published