Search
Now showing items 1-2 of 2
MC/DC COVERAGE FOR REQUIREMENTS SPECIFICATIONS
(East Carolina University, 2018-05-02)
In the early 1990s, the Modi ed Condition/Decision Coverage (MC/DC) criterion was
suggested as a structural white-box testing approach, but it can also be used for blackbox
speci cation-based testing. Practical application ...
A Framework for Testing Scientific Software: A Case Study of Testing Amsterdam Discrete Dipole Approximation Software
(East Carolina University, 2016-08-18)
Software testing with scientific software systems often suffers from test oracle problem, i.e., lack of test oracles. Amsterdam discrete dipole approximation code (ADDA) is a scientific software system that can be used to ...