New mutations for evaluation of specification and implementation levels of adequacy in testing of statecharts models

Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

Volumn , Issue , 2007, Pages 151-160

  Trakhtenbrot, Mark ^a  

^a HOLON INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC FAULT CURRENTS; EMBEDDED SYSTEMS; INDUSTRIAL RESEARCH; INFORMATION THEORY; INTEGRATED CIRCUITS; SEMANTICS; TESTING;

ADEQUACY EVALUATION; DEVELOPMENT PROCESSES; EMBEDDED REAL-TIME SYSTEMS; FORMAL SPECIFICATIONS; MODEL-BASED DEVELOPMENT; ORTHOGONAL COMPONENTS; ORTHOGONALITY; STATECHARTS; TEST GENERATIONS; TEST RESULTS;

REAL TIME SYSTEMS;

EID: 48049108257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAICPART.2007.4344119     Document Type: Conference Paper

References (21)

1. M.Auguston, M.Trakhtenbrot, "Run time monitoring of reactive system models", Proc. 2nd Int'l. Workshop on Dynamic Analysis, Edinburgh, May 2004, pp.68-75.
2. "BetterState Product Review", IEEE Computer, December 1995
3. K.Bogdanov, M.Holcombe, H.Singh, "Automated Test Set Generation for Statecharts", In Hutter D, Stephan W, Traverso P, Ullmann M (eds), Applied Formal Methods -FM-Trends 98, LNCS 1641, Springer Verlag, 1999, pp. 107-121.
4. K. Bogdanov and M. Holcombe, "Statecharts testing method for aircraft control systems", Software Testing, Verification and Reliability, vol.11, no. 1, 2001, pp.39-54.
5. B. P. Douglass, D.Harel, M.Trakhtenbrot, "Statecharts in Use: Structured Analysis and Object-Orientation", In Vaandrager F, Rozenberg G (eds) Lectures on Embedded Systems, LNCS 1494, Springer-Verlag, 1998, pp. 368-394.
6. S.C.P.F.Fabbri, J.C.Maldonado, M.E.Delamaro,. P.C. Masiero, "Mutation Analysis Testing for Finite State Machine", ISSRE '94 - International Symposium on Software Reliability Engineering, California, November, 1994, pp.220-229.
7. S.C.P.F.Fabbri, J.C.Maldonado, P.C. Masiero, M.E.Delamaro, E.Wong, "Mutation Testing Applied to Validate Specifications Based on Petri Nets", FORTE'95 - International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocol, Montreal, October, 1995.
8. S.C.P.F.Fabbri, J.C.Maldonado, T. Sugeta, P.C. Masiero, "Mutation Testing Applied to Validate Specifications Based on Statecharts", ISSRE'99 -International Symposium on Software Reliability Engineering, Florida, November 1999, pp 210-219.
9. E.Gery, D.Harel, E.Palachi, "Rhapsody: A Complete Lifecycle Model-Based Development System", Proc. 3rd Intl. Conference on Integrated Formal Methods, Turku, 2002, pp.1-10.
10. D.Harel, "Statecharts: A Visual Formalism for Complex Systems", Science of Computer Programming, vol.8, 1987, pp.231-274.
11. D.Harel, H.Lachover, A.Naamad, A.Pnueli, M.Politi, R.Sherman, A.Shtul-Trauring, M.Trakhtenbrot, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Trans, on Software Engineering, 1990, 16(4), pp.403-414.
12. D.Harel, A.Naamad, "The STATEMATE Semantics of Statecharts", ACM Trans. on Software Engineering Method, 1996, 5(4), pp.293-333.
13. H.S. Hong, Y.G. Kim, S.D. Cha, D.H. Bae, and H. Ural, "A test sequence selection method for Statecharts", Software Testing, Verification and Reliability, 2002, vol.10, no.4, pp.203-227..
14. H.S. Hong, I.Lee, O.Sokolsky, S.D. Cha, "Automatic Test Generation from Statecharts Using Model Checking", Technical Report MS-CIS-01-07, Department of Computer and Information Science, University of Pennsylvania, 2001.
15. S. do R. S. de Souza, J.C.Maldonado, S.C.P.F. Fabbri, W.Lopes de Souza, "Mutation testing applied to Estelle specifications", Software Quality Control, Volume 8, Issue 4 (December 1999), pp. 285 - 301.
16. S. do R. S. de Souza, J.C.Maldonado, S.C.P.F. Fabbri, P.C. Masiero, "Statecharts specifications: a family of coverage testing criteria".
17. J.Ryser, M. Glinz, "A Scenario-Based Approach to Validating and Testing Software Systems Using Statecharts", Proc. 12th International Conference on Software and Systems Engineering and their Applications, Paris, Dec 1999.
18. H.S. Seo, I.S.Chung and Y.R. Kwon, "Generating Test Sequences from Statecharts for Concurrent Program Testing", IEICE Transactions on Information and Systems, 2006 E89-D(4), pp. 1459-1469.
19. T. Sugeta, J. C. Maldonado, and W. E. Wong, "Structural and Mutation Testing for SDL Specifications: A Case Study", in Proceedings of The 6th IEEE Latin-American Test Workshop (LATW), Salvador, Bahia, Brazil, March 30 - April 2, 2005.
20. M.Thanne and R.Yerushalmi, "Experience with an Advanced Design Flow with OSEK Compliant Code Generation for Automotive ECU's", Dedicated Systems Magazine, Special Issue on Development Methodologies & Tools, 2001, pp. 6-11.
21. M. Trakhtenbrot, "Use of verification techniques for testing and debugging of complex reactive systems", Proc. 3rd Int'l. Conf. on Software Engineering and Formal Methods - SEFM 2005, Koblenz, Germany, 7-9 Sept. 2005, pp. 13-22.