Putting formal specifications under the magnifying glass: Model-based testing for validation

Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009

Volumn , Issue , 2009, Pages 131-140

  Aydal, Emine G ^a   Paige, Richard F ^a   Utting, Mark ^b   Woodcock, Jim ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; BLACK-BOX TESTING; CODE GENERATION; DESIGN MODELS; END USERS; FORMAL SPECIFICATION; FORMAL VERIFICATION METHODS; MODEL BASED TESTING; MODEL TRANSFORMATION; SOFTWARE DEVELOPMENT PROCESS; SYSTEM MODELS; SYSTEM UNDER TEST; TEST CASE; TEST CASE GENERATION; TEST MODELS;

MODEL STRUCTURES; SOFTWARE TESTING; SPECIFICATIONS; TESTING; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 67650131889     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2009.20     Document Type: Conference Paper

References (26)

1. Kim S., Clark J.A., McDermid J.A., The Rigorous Generation of Java Mutation Operators Using HAZOP, In: Proceedings of the 12th International Conference on Software and Systems Engineering and their Applications (ICSSEA'99). Paris, France.
2. Offutt A.J., Lee A., Rothermel G., Untch R.H., Zapf C., An Experimental Determination of Sufficient Mutant Operators, ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 5 , Issue 2, Pages 99-18, 1996.
3. Offutt A.J., Lee S.D., An Empirical Evaluation of Weak Mutation, IEEE Transactions on Software Engineering, v.20 n.5, p.337-344, 1994.
4. Offutt A.J.,Hayes J.H., A Semantic Model of Program Faults, Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, Pages 195 - 200, 1996.
5. Black P.E., Okun V., Yesha Y., Mutation Operators for Specifications, Proceedings of the 15th IEEE international conference on Automated software engineering, 2000.
6. Kleppe A., Warmer J., MDA Explained. The Model Driven Architecture: Practice and Promise. Addison-Wesley, 2003.
7. Jackson D., Jackson M., Separating Concerns in Requirements Analysis: An Example, Rigorous Development of Complex Fault-Tolerant Systems , 210-225, 2006.
8. Viller S., Bowers J., Rodden T., Human Factors in requirements engineering: A survey of human sciences literature relevant to the improvement of dependable systems development processes. Interacting with Computers 11(6): 665-698 (1999)
9. Jones C., OHearn P., Woodcock J., Verified Software: A Grand Challenge, IEEE Computer Society (2006).
10. Z Notation, http://en.wikipedia.org/wiki/Z notation.
11. The Alloy Analyzer, http://alloy.mit.edu/.
12. Jackson D., Software Abstractions: Logic, Language, and Analysis, MIT Press, 2006.
13. CZT ZLive, http://czt.sourceforge.net/zlive/index.html.
14. Coryoth, A Case for Formal Specification, http://www.kuro5hin.org/story/ 2005/7/29/04553/9714, 2005.
15. Dalal S.R., Jain A., Karunanithi N., Leaton J.M., Lott C.M., Patton G.C., Horowitz B.M., Model-based testing in practice, Proceedings of International Conference of Software Engineering ICSE, 1999.
16. Utting M., Pretschner A., Legeard B., A taxonomy of model-based testing, Tech. report, 2006.
17. Pretschner A., Phillips J., Methodological issues in model-based testing, Model- Based Testing of Reactive Systems, LCNS 3472 (2005), 281291.
18. Pretschner A., Model-based testing in practice, Proceedings of Formal Methods 2005 (2005), 537541.
19. Utting M., Position paper: Model-based testing, Verified Software: Theories, Tools, Experiments(VSTTE) (2006).
20. Prenninger W., Pretschner A., Abstractions for modelbased testing, Proc.2nd International Workshop on Test and Analysis of Component Based Systems (TACoS04) (2005), 5971.
21. Gogolla M., Buettner F., Richters M.,USE: A UMLbased specification environment for validating UML and OCL. Sci. Comput. Program. 69(1-3): 27-34 ,2007.
22. Cavarra A., Crichton C., Davies J., Hartman A., Jeron T., Maunier L., Using UML for automatic test case generation, TACAS, 2002.
23. Bernard E., Bouquet F., Charbonnier A., Legeard B., Peureux F., Utting M., Torreborre E., Model-based Testing from UML Models, Lecture Notes in Informatics, pp. 223230, 2006.
24. Conrad M., Doerr H., Fey I., Model-based generation and structural presentation of test scenarios, WOrkshop on Software-Embedded Systems Testing (WSEST) (1999).
25. Pretschner A., Slotosch O., Aiglstorfer E., Kriebel S., Model-based testing for real: The inhouse card case study, J.Software Tools for Technology Transfer (2004), 140157.
26. Aydal E.G., Utting M., Woodcock J., A Comparison of State-based Modeling Tools for Model Validation, TOOLS-Europe08, Switzerland, July 2008.