Auto-generation and redundancy reduction of test cases for reactive systems

ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings

Volumn 1, Issue , 2010, Pages

  Chen, Donghuo ^a,b   Li, Xuandong ^b   Zhao, Shizhong ^c  

^a SOOCHOW UNIVERSITY   (China)

^b NANJING UNIVERSITY   (China)

^c EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

IOSTS; Model based test; Reactive system; Redundancy reduction; Test case

Indexed keywords

AUTOMATIC GENERATION; FORMAL THEORY; IOSTS; IS COSTS; MODEL REACTIVE SYSTEM; MODEL-BASED TEST; REACTIVE SYSTEM; SOFTWARE SYSTEMS; TEST CASE; TEST PURPOSE; TESTING PROCESS;

COST REDUCTION; QUALITY ASSURANCE; REDUNDANCY; TEMPORAL LOGIC;

TESTING;

EID: 78649997920     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTE.2010.5608898     Document Type: Conference Paper

References (17)

1. T. S. Chow. Testing software design modeled by finite-state machines. IEEE Transaction on Software Engineering, SE-4 (3): 187-195, 1978.
2. J. B. Goodenough, S. Gerhart. Toward a theory of test data selection. IEEE Transaction on Software Engineering, SE-1 (2):156-173, 1975.
3. H. Lin. Symbolic transition graph with assignment. Proceeding of 7th International Conference on Concurrency Theory, 50-65, 1996.
4. C. Campbell, W. Grieskamp and L. Nachmanson, etc. Model- based Testing of Object-Oriented Reactive Systems with Spec Explorer. Microsoft Research, Microsoft Corporation, Technical Report MSR- TR-2005-59, 2005.
5. P. Ammann, P. E. Black and W. Ding. Model checkers in Software Testing. Technical report, National Institute of Standards and Technology, 2002.
6. L. Franzen, J. Tremans and T. Willemse. Test generation based on symbolic specification. Proceedings of the Workshop on Formal Approaches to Software Engineering, 109-120, 2004.
7. D. Clarke, T. Jeron and V. RUSU, etc. STG: a symbolic test generation tool. Tools and Algorithms for the Construction and Analysis of Systems, LNCS 2280, 151-173, 2002.
8. C. Jard, J.eron. TGA: Theory, principles and algorithms - a tool for the automatic synthesis of conformance test cases for non- deterministic reactive systems. Int. Journal on Software Tools for Technology Transfer, 7(4):297-315, 2005.
9. G. Fraser, F. Wotawa. Using model-checkers to generate and analyze property relevant tests-cases. Software Qual J, 16:161-183, 2008.
10. C. Nebut, F. Fleurey and Y. Le Traon. Automatic test gen- eration: a use case driven approach. IEEE Transactions on Software Engineering, 32: 140-155, 2006.
11. D. Beyer, A. J. Chlipala and T. A. Henzinger, etc. Generating tests from counter-examples. ICSE2004, 326-335, 2004.
12. D. Lee, M. Yannakakis. Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE, 84(8), 1996.
13. B. Jeannet, T. Jeron and V. Rusu. Model based test selection for infinite-state reactive systems. FMCO, LNCS 1709, 47-69, 2007.
14. J. Tretmans. Test generation with input, output and repetitive quiescence. Software-Concepts and Tools, 17(3):103-120, 1996.
15. N. Lynch, M. Tuttle. Introduction to IO Automata. CWI Quarterly 3 (2), 1999.
16. A. Kerbrat, I. Ober. Automated test generation from SDL/UML specifications. Proc. 12th int. Software Quality Week, San Jose, USA, 968-989, 1999.
17. Peng Wu, Huimin Lin. Model-based testing of concurrent programs with predicate sequencing constraints. International Journal of Software Engineering and Knowledge Engineering, 16(5): 727-746,2006