Specification test coverage adequacy criteria = specification test generation inadequacy criteria?

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 8, Issue , 2004, Pages 178-186

  Heimdahl, Mats P E ^a   George, Devaraj ^a   Weber, Robert ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODELS; FORMAL SPECIFICATIONS; MODEL CHECKING; TEST-CASE GENERATION;

DECISION MAKING; EXPLOSIONS; FUNCTIONS; INFORMATION ANALYSIS; PROBLEM SOLVING; RANDOM PROCESSES;

AUTOMATIC TESTING;

EID: 2942555644     PISSN: 15302059     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (20)

1. Proceedings of The First International Workshop on Automated Program Analysis, Testing and Verification, ICSE 2000. 2000.
2. 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.
3. P. E. Ammann, P. E. Black, and W. Majurski. Using model checking to generate tests from specifications. In Proceedings of the Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 46-54. IEEE Computer Society, Nov. 1998.
4. J. Callahan, F. Schneider, and S. Easterbrook. Specification-based testing using model checking. In Proceedings of the SPIN Workshop, August 1996.
5. J. Chilenski and S. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, 9:193-200, September 1994.
6. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
7. A. Engels, L. M. G. Feijs, and S. Mauw. Test generation for intelligent networks using model checking. In Proceedings of TACAS'97, LNCS 1217, pages 384-398. Springer, 1997.
8. A. Gargantini and C. Heitmeyer. Using model checking to generate tests from requirements specifications. Software Engineering Notes, 24(6): 146-162, November 1999.
9. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
10. K. Hayhurst, D. Veerhusen, and L. Rierson. A practical tutorial on modified condition/decision coverage. Technical Report NASA/TM-2001-210876, NASA, 2001.
11. M. P. Heimdahl, S. Rayadurgam, W. Visser, G. Devaraj, and J. Gao. Auto-generating test sequences using model checkers: A case study. In 3rd International Worshop on Formal Approaches to Testing of Software (FATES 2003).
12. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural. Data flow testing as model checking. In Proceedings of 2003 International Confernece on Software Engineering, Portland, Oregon, May 2003.
13. H. S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory of test coverage and generation. In Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '02), Grenoble, France, April 2002.
14. N. Leveson, M. Heimdahl, H. Hildreth, and J. Reese. Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering, 20(9):684-706, September 1994.
15. NuSMV: A New Symbolic Model Checking. Available at http://nusmv.irst.itc. it/.
16. 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.
17. RTCA. Software Considerations In Airborne Systems and Equipment Certification. RTCA, 1992.
18. F. C. A. S. Team. What is a "decision" in application of modified condition/decision coverage and decision coverage (dc)? Technical Report position paper, 2002.
19. J. M. Thompson, M. P. Heimdahl, and S. P. Miller. Specification based prototyping for embedded systems. In Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, number 1687 in LNCS, pages 163-179, September 1999.
20. J. M. Thompson, M. W. Whalen, and M. P. Heimdahl. Requirements capture and evaluation in NIMBUS: The light-control case study. Journal of Universal Computer Science, 6(7):731-757, July 2000.