The effect of code coverage on fault detection under different testing profiles
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Empirical Software Engineering
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
A mutation model for the SystemC TLM 2.0 communication interfaces
Proceedings of the conference on Design, automation and test in Europe
Software metrics data clustering for quality prediction
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Software defect prediction using fuzzy support vector regression
ISNN'10 Proceedings of the 7th international conference on Advances in Neural Networks - Volume Part II
On the Reuse of TLM Mutation Analysis at RTL
Journal of Electronic Testing: Theory and Applications
Learning-Based test programming for programmers
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Hi-index | 0.00 |
Software testing and software fault tolerance are twomajor techniques for developing reliable softwaresystems, yet limited empirical data are available in theliterature to evaluate their effectiveness. We conducted amajor experiment to engage 34 programming teams toindependently develop multiple software versions for anindustry-scale critical flight application, and collectedfaults detected in these program versions. To evaluatethe effectiveness of software testing and software faulttolerance, mutants were created by injecting real faultsoccurred in the development stage. The nature,manifestation, detection, and correlation of these faultswere carefully investigated. The results show thatcoverage testing is generally an effective mean todetecting software faults, but the effectiveness of testingcoverage is not equivalent to that of mutation coverage,which is a more truthful indicator of testing quality. Wealso found that exact faults found among versions arevery limited. This result supports software fault toleranceby design diversity as a creditable approach for softwarereliability engineering. Finally we conducted domainanalysis approach for test case generation, andconcluded that it is a promising technique for softwaretesting purpose.