Coverage metrics for requirements-based testing

Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006

Volumn 2006, Issue , 2006, Pages 25-35

  Whalen, Michael W ^a   Heimdahl, Mats P E ^b   Rajan, Ajitha ^b   Miller, Steven R ^a  

^a ROCKWELL COLLINS   (United States)

^b UNIVERSITY OF MINNESOTA   (United States)

Author keywords

Verification

Indexed keywords

HIGH LEVEL REQUIREMENTS; REQUIREMENTS-BASED TESTING; SOFTWARE MODELS; SOFTWARE SYSTEMS;

AUTOMATION; DATA STRUCTURES; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS; REQUIREMENTS ENGINEERING; TRACKING (POSITION);

SOFTWARE TESTING;

EID: 34247380754     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1146238.1146242     Document Type: Conference Paper

References (30)

1. P. E. Ammann and P. E. Black. A specification-based coverage metric to evaluate test sets. In Proceedings of the Fourth IEEE International Symposium on High-Assurance Systems Engineering. IEEE Computer Society, Nov. 1999.
2. R. Armoni, D. Bustan, O. Kupferman, and M. Y. Vardi. Aborts vs. resets in linear temporal logic. In TACAS, pages 65-80, November 2003.
3. I. Beer, S. Ben-David, C. Eisner, and Y. Roden. Efficient detection of vacuity in ACTL formulas. In Formal Methods in System Design, pages 141-162, 2001.
4. B. Bezier. Software Testing Techniques, 2nd Edition, Van Nostrand Reinhold, New York, 1990.
5. J. J. Chilenski and S. P. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, pages 193-200, September 1994.
6. H. Chockler, O. Kupferman, R. P. Kurshan, and M. Y. Vardi. A practical approach to coverage in model checking. In Proceedings of the International Conference on Computer Aided Verification (CAV01), Lecture Notes in Computer Science Side, pages 66-78. Springer-Verlag, July 2001.
7. H. Chockler, O. Kupferman, and M. Y. Vardi. Coverage metrics for temporal logic model checking. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 2031, pages 528-542. Springer-Verlag, April 2001.
8. H. Chockler, O. Kupferman, and M. Y. Vardi. Coverage metrics for formal verification. In 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, volume 2860 of Lecture Notes in Computer Science, pages 111-125. Springer-Verlag, October 2003.
9. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
10. C. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. McIsaac, and D. V. Campenhout. Reasoning with temporal logic on truncated paths. In Proceedings of Computer Aided Verification (CAV), pages 27-39, 2003.
11. A. Gargantini and C. Heitmeyer. Using model checking to generate tests from requirements specifications. Software Engineering Notes, 24(6):146-162, November 1999.
12. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
13. K. Hayhurst, D. Veerhusen, and L. Rierson. A practical tutorial on modified condition/decision coverage. Technical Report TM-2001-210876, NASA, 2001.
14. M. P. Heimdahl and G. Devaraj. Test-suite reduction for model based tests: Effects on test quality and implications for testing. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria, September 2004.
15. M. P. Heimdahl, S. Rayadurgam, and W. Visser. Specification centered testing. In Second International Workshop on Analysis, Testing and Verification, May 2001.
16. O. Kupferman and M. Y. Vardi. Vacuity detection in temporal model checking. Journal on Software Tools for Technology Transfer, 4(2), February 2003.
17. Z. Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Technical report, Springer-Verlag, New York, 1995.
18. S. Miller, A. Tribble, T. Carlson, and E. J. Danielson. Flight guidance system requirements specification. Technical Report CR-2003-212426, NASA, June 2003.
19. S. P. Miller, M. P. Heimdahl, and A. Tribble. Proving the shalls. In Proceedings of FM 2003: the 12th International FME Symposium, September 2003.
20. A. J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), October 1999.
21. M. Purandare and F. Somenzi. Vacuum cleaning CTL formulae. In Proceedings of the 14th Conference on Computer Aided Design, pages 485-499. Springer-Verlag, 2002.
22. S. Rayadurgam. Automatic Test-case Generation from Formal Models of Software. PhD thesis, University of Minnesota, November 2003.
23. S. Rayadurgam and M. P. Heimdahl. Coverage based test-case generation using model checkers. In Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001), pages 83-91. IEEE Computer Society, April 2001.
24. S. Rayadurgam and M. P. Heimdahl. Generating MC/DC adequate test sequences through model checking. In Proceedings of the 28th Annual IEEE/NASA Software Engineering Workshop - SEW-O3, Greenbelt, Maryland, December 2003.
25. Reactive Systems Inc. Reactis product description. http://www.reactive- systems.com/index.msp.
26. D. J. Richardson, S. L. Aha, and T. O'Malley. Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering, pages 105-118. Springer, May 1992.
27. RTCA. Software Considerations In Airborne Systems and Equipment Certification. RTCA, 1992.
28. L. Tan, O. Sokolsky, and I. Lee. Specification-based testing with linear temporal logic. In IEEE Int. Conf. on Information Reuse and Integration (IEEE IRI-2004), November 2004.
29. E. Technologies. Scade suite product description. http://www.esterel- technologies.com/v2/ scadeSuiteForSafetyCriticalSoftwareDevelopment/index.html, 2004.
30. -e. Master's thesis, University of Minnesota, May 2000.