Test-case generation and coverage analysis for nondeterministic systems using model-checkers

2nd International Conference on Software Engineering Advances - ICSEA 2007

Volumn , Issue , 2007, Pages

  Fraser, Gordon ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; TESTING;

ALTERNATIVE PATHS; COVERAGE ANALYSES; COVERAGE CRITERIONS; EXECUTION PATHS; MODEL-BASED; NONDETERMINISTIC SYSTEMS; POPULAR TECHNIQUES; POST-PROCESSING; SPECIAL TREATMENTS; UNDER SPECIFICATIONS; USE MODELS;

MODEL CHECKING;

EID: 47849101889     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2007.71     Document Type: Conference Paper

References (13)

1. P. Ammann and P. E. Black. A Specification-Based Coverage Metric to Evaluate Test Sets. In HASE '99: The 4th IEEE International Symposium on High-Assurance Systems Engineering, pages 239-248, Washington, DC, USA, 1999. IEEE Computer Society.
2. P. E. Ammann, P. E. Black, and W. Majurski. Using Model Checking to Generate Tests from Specifications. In Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 46-54, 1998.
3. R. Bharadwaj and C. L. Heitmeyer. Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering, 6(1):37-68, 1999.
4. P. E. Black. Modeling and Marshaling: Making Tests From Model Checker Counterexamples. In Proc. of the 19th Digital Avionics Systems Conference, pages 1.B.3-1-1.B.3-6 vol.1, 2000.
5. J. R. Callahan, S. M. Easterbrook, and T. L. Montgomery. Generating Test Oracles Via Model Checking. Technical report, NASA/WVU Software Research Lab, 1998.
6. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. NUSMV: A New Symbolic Model Verifier. In CAV '99: Proceedings of the 11th International Conference on Computer Aided Verification, pages 495-499, London, UK, 1999. Springer-Verlag.
7. A. Gargantini and C. Heitmeyer. Using Model Checking to Generate Tests From Requirements Specifications. In ESEC/FSE'99: 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 1687, pages 146-162. Springer, 1999.
8. C. Jard and T. Jron. TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer (STTT), 7:297-315, 2005.
9. J. Kirby. Example NRL/SCR Software Requirements for an Automobile Cruise Control and Monitoring System. Technical Report TR-87-07, Wang Institute of Graduate Studies, 1987.
10. V. Okun, P. E. Black, and Y. Yesha. Testing with Model Checker: Insuring Fault Visibility. In N. E. Mastorakis and P. Ekel, editors, Proceedings of 2002 WSEAS International Conference on System Science, Applied Mathematics & Computer Science, and Power Engineering Systems, pages 1351-1356, 2003.
11. A. Petrenko, N. Yevtushenko, and G. v. Bochmann. Testing deterministic implementations from nondeterministic FSM specifications. In Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, pages 125-140. Chapman & Hall, Ltd., 1996.
12. A. Pnueli. The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science, pages 46-57. IEEE, 1977.
13. S. Rayadurgam and M. P. E. 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.