Browse > Article

An Automated Test Data Generator for Debugging Esterel Programs  

Yun, Jeong-Han (KAIST 전산학과)
Cho, Min-Kyung (LG전자)
Seo, Sun-Ae (삼성종합기술원)
Han, Tai-Sook (KAIST 전산학과)
Publication Information
Journal of KIISE:Software and Applications / v.36, no.10, 2009 , pp. 793-799 More about this Journal
Abstract
Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process.
Keywords
Esterel; reactive system; test data generation; synchronous language; model checking;
Citations & Related Records
연도 인용수 순위
  • Reference
1 A. Gargantini and C. Heitmeyer, Using Model Checking to Generate Tests from Requirements Specifications, Software Engineering Notes, 24(6) pages 146-162, November 1999   DOI
2 P. E. Ammann and P. E. Black, A Specification-Based Coverage Metric to Evaluate Test Sets, In Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering, November 1999   DOI
3 H. Hong, S. Cha, I. Lee, O. Sokolsky, and H. Ural, Data Flow Testing as Model Checking, In Proceedings of the International Conference on Software Engineering, May 2003   DOI
4 S. Rayadurgam and M. P. E. Heimdahl, Coverage Based Test-case Generation Using Model Checkers, In Proccedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, pp. 83-91, April 2001   DOI
5 Esterel Studio, http://www.esterel-technologies.com/support.php?rub=86
6 G. Devaraj, M. P. E. Heimdahl, and D. Liang, Coverage-Directed Test Generation with Model Checkers: Challenge and Opportunities, The 29th Annual International Computer Software and Applications Conference, 2005   DOI
7 F. Gaucher, E. Jahier, B. Jeannet, and F. Maraninchi, Automatic state reaching for debugging reactive programs, In Proceedings of 5th International Workshop on Automated Debugging, September 2003
8 H. 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, April 2002
9 Esterel Technologies. Success stories, http://www.esterel-technologies.com/technology/success-stories/
10 The Esterel v5.92 Compiler, http://www-sop.inria.fr/esterel.org/
11 N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, 'The synchronous data flow programming language Lustre,' Proceedings of the IEEE, vol 79(9), pp.1305-1320, 1991   DOI   ScienceOn
12 G. Berry, The Constructive Semantics of Pure Esterel, Draft book available at http://www.inria.fr/meije/esterel/esterel-eng.html, 1999
13 D. Potop-Butucaru, S. A. Edwards, and G. Berry, Compiling Esterel, Springer, 2007
14 Esterel Technologies, The Esterel v7 Reference Manual Version v7.30. initial IEEE standardization proposal, Esterel Technologies, 679 av. Dr. J. Lefebvre 06270 VilleneuveLoubet, France, November 2005
15 E. M. Clarke, Jr. O. Grmberg, and D. A. Peled, Model Checking, MIT Press, Cambridge, MA, 2000
16 J. Hatcliff and M. Dwyer, using the Bandera Tool Set to Model-check Properties of Concurrent Java Software, Proceedings of CONCUR 2001 (LNCS 2154), 2001