Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers

Electronic Notes in Theoretical Computer Science

Volumn 190, Issue 2 SPEC. ISS., 2007, Pages 33-46

  Fraser, Gordon ^a   Aichernig, Bernhard K ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

automated test case generation; model change; regression testing; test suite update; Testing with model checkers

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; MATHEMATICAL MODELS; REGRESSION ANALYSIS; SOFTWARE TESTING;

MODEL CHANGE; REGRESSION TESTING; TEST SUITE UPDATE;

MODEL CHECKING;

EID: 34548142911     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.08.004     Document Type: Article

References (13)

1. Ammann, P. 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 (1999), pp. 239-248
2. Ammann, P., W. Ding and D. Xu, Using a Model Checker to Test Safety Properties, in: Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001) (2001), pp. 212-221
3. Ammann, P. E., 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) (1998), pp. 46-54
4. Black, P. E., Modeling and Marshaling: Making Tests From Model Checker Counterexamples, in: Proc. of the 19th Digital Avionics Systems Conference, 2000, pp. 1.B.3-1-1.B.3-6 vol.1
5. Black, P. E., V. Okun and Y. Yesha, Mutation Operators for Specifications, in: ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering (2000), pp. 81-88
6. Cimatti, A., 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 (1999), pp. 495-499
7. Clarke, E. M. and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, in: Logic of Programs, Workshop (1982), pp. 52-71
8. Fraser G., and Wotawa F. Property Relevant Software Testing with Model-Checkers. ACM SIGSOFT Software Engineering Notes 31 (2006) 1-10
9. Gargantini A., and Heitmeyer C. Using Model Checking to Generate Tests From Requirements Specifications. ESEC/FSE'99: 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering. Lecture Notes in Computer Science 1687 (1999) 146-162
10. Kirby, J., Example NRL/SCR Software Requirements for an Automobile Cruise Control and Monitoring System, Technical Report TR-87-07, Wang Institute of Graduate Studies (1987)
11. Okun V., Black P.E., and Yesha Y. Testing with Model Checker: Insuring Fault Visibility. In: Mastorakis N.E., and Ekel P. (Eds). Proceedings of 2002 WSEAS International Conference on System Science, Applied Mathematics & Computer Science, and Power Engineering Systems (2003) 1351-1356
12. Pnueli, A., The temporal logic of programs, in: FOCS'77: 18th Annual Symposium on Foundations of Computer Science (1977), pp. 46-57
13. Xu, L., M. Dias and D. Richardson, Generating regression tests via model checking, in: COMPSAC '04: Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04) (2004), pp. 336-341