A Global Algorithm for Model-Based Test Suite Generation

Electronic Notes in Theoretical Computer Science

Volumn 190, Issue 2 SPEC. ISS., 2007, Pages 47-59

  Hessel, Anders ^a   Pettersson, Paul ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

Model Checking; Model Based Testing; Test Case Generation

Indexed keywords

ALGORITHMS; AUTOMATIC TEST PATTERN GENERATION; PROBLEM SOLVING; SOFTWARE TESTING;

EDGE COVERAGE; MODEL BASED TESTING; REACHABILITY ALGORITHM;

MODEL CHECKING;

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

References (32)

1. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994) 183-235
2. Behrmann G., Bengtsson J., David A., Larsen K.G., Pettersson P., and Yi W. Uppaal implementation secrets. FTRTFT '02: Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (2002), Springer-Verlag, London, UK 3-22
3. Bengtsson J., David Griffioen W.O., Kristoffersen K.J., Larsen K.G., Larsson F., Pettersson P., and Yi W. Verification of an Audio Protocol with Bus Collision Using Uppaal. In: Alur R., and Henzinger T.A. (Eds). Proc. 8th Int. Conf. on Computer Aided Verification. Lecture Notes in Computer Science volume 1102 (July 1996), Springer-Verlag 244-256
4. Blom J., Hessel A., Jonsson B., and Pettersson P. Specifying and generating test cases using observer automata. In: Gabowski J., and Nielsen B. (Eds). Proc. 4th International Workshop on Formal Approaches to Testing of Software 2004. (FATES'04). Lecture Notes in Computer Science volume 3395 (2005), Springer-Verlag 125-139
5. Cardell-Oliver R. Conformance Testing of Real-Time Systems with Timed Automata. Formal Aspects of Computing 12 5 (2000) 350-371
6. Clarke L.A., Podgurski A., Richardsson D.J., and Zeil S.J. A formal evaluation of data flow path selection criteria. IEEE Trans. on Software Engineering SE-15 11 (November 1989) 1318-1332
7. Daws C., and Tripakis S. Model checking of real-time reachability properties using abstractions. In: Steffen B. (Ed). Proc. of the 4th Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science number 1384 (1998), Springer-Verlag 313-329
8. Ernits J.P., Kull A., Raiend K., and Vain J. Generating tests from efsm models using guided model checking and iterated search refinement. In: Havelund K., Nez M., Rosu G., and Wolff B. (Eds). FATES/RV 2006. Lecture Notes in Computer Science volume 4262 (2006), Springer-Verlag 40-54
9. Fernandez J.-C., Jard C., Jéron T., and Viho C. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming 29 (1997)
10. Frankl P.G., and Weyuker E.J. An applicable family of data flow testing criteria. IEEE Trans. Softw. Eng. 14 10 (1988) 1483-1498
11. G. Friedman, A. Hartman, K. Nagin, and T. Shiran. Projected state machine coverage for software testing. In Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 134-143, 2002
12. Herman P.M. A data flow analysis approach to program testing. Australian Computer J. 8 3 (1976)
13. Hessel A., Larsen K.G., Nielsen B., Pettersson P., and Skou A. Time-Optimal Real-Time Test Case Generation using Uppaal. In: Petrenko A., and Ulrich A. (Eds). Proc. 3rd International Workshop on Formal Approaches to Testing of Software 2003 (FATES'03). Lecture Notes in Computer Science volume 2931 (2004), Springer-Verlag 136-151
14. Hessel A., and Pettersson P. A test generation algorithm for real-time systems. In: Ehrich H.-D., and Schewe K.-D. (Eds). Proc. of 4th Int. Conf. on Quality Software (September 2004), IEEE Computer Society Press 268-273
15. Hessel A., and Pettersson P. Model-Based Testing of a WAP Gateway: an Industrial Study. In: Brim L., and Leucker M. (Eds). Proc. 11th International Workshop on Formal Methods for Industrial Critical Systems. (FMICS'06). Lecture Notes in Computer Science (2006), Springer-Verlag
16. Holzmann G.J. The model checker SPIN. IEEE Trans. on Software Engineering SE-23 5 (May 1997) 279-295
17. Hong H.S., and Ural S. Using model checking for reducing the cost of test generation. In: Gabowski J., and Nielsen B. (Eds). Proc. 4th International Workshop on Formal Approaches to Testing of Software 2004. (FATES'04). Lecture Notes in Computer Science volume 3395 (2005), Springer-Verlag 110-124
18. th Int. Conf. on Software Enginering, pages 232-242, May 2003
19. Hong H.S., Lee I., Sokolsky O., and Ural H. A temporal logic based theory of test coverage. In: Katoen J.-P., and Stevens P. (Eds). Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, (TACAS'02). Lecture Notes in Computer Science volume 2280 (2002), Springer-Verlag 327-341
20. ITU, Geneva. ITU-T, Z. 100, Specification and Description Language (SDL), November 1999
21. R. M. Karp. Reducibility among combinatorial problems. In Thomas J., editor, Complexity of Computer Computations, Proc. Sympos., pages 85-103. IBM, 1972
22. Krichen M., and Tripakis S. Black-box conformance testing for real-time systems. In: Mounier L., and Graf S. (Eds). Proc. 11th International SPIN Workshop on Model Checking Software. (SPIN'04). Lecture Notes in Computer Science volume 2989 (2004), Springer-Verlag 182-197
23. Larsen K.G., Mikucionis M., and Nielsen B. Online testing of real-time systems using uppaal. In: Gabowski J., and Nielsen B. (Eds). Proc. 4th International Workshop on Formal Approaches to Testing of Software 2004. (FATES'04). Lecture Notes in Computer Science volume 3395 (2005), Springer-Verlag 79-94
24. Larsen K.G., Pettersson P., and Yi W. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer 1 1-2 (October 1997) 134-152
25. D. Lee and M. Yannakakis. Optimization problems from feature testing of communication protocols. icnp, 00:66, 1996
26. Milner R. Communication and Concurrency (1989), Prentice Hall, Englewood Cliffs
27. Myers G. The Art of Software Testing (1979), Wiley-Interscience
28. Nielsen B., and Skou A. Automated test generation from timed automata. International Journal on Software Tools for Technology Transfer 5 (2003) 59-77
29. Rapps S., and Weyuker E.J. Selecting software test data using data flow information. IEEE Trans. Softw. Eng. 11 4 (1985) 367-375
30. Springintveld J., Vaandrager F., and D'Argenio P.R. Testing Timed Automata. Theoretical Computer Science 254 1-2 (March 2001) 225-257
31. J. Tretmans and A. Belinfante. Automatic testing with formal methods. In EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November 8- 12, 1999. EuroStar Conferences, Galway, Ireland
32. W. Yi, P. Pettersson, and M. Daniels. Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Dieter Hogrefe and Stefan Leue, editors, Proc. of the 7th Int. Conf. on Formal Description Techniques (FORTE'04), pages 223-238. North-Holland, 1994