Timed Moore automata: Test data generation and model checking

ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation

Volumn , Issue , 2010, Pages 449-458

  L̈oding, Helge ^a   Peleska, Jan ^b  

^a VERIFIED SYSTEMS INTERNATIONAL GMBH   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

Livelocks; Model checking; Model based testing; Timed Moore Automata

Indexed keywords

ALTERNATIVE METHODS; DATA GENERATION; EXPLICIT MODEL CHECKING; EXPLICIT REPRESENTATION; KRIPKE STRUCTURE; MODEL BASED TESTING; MODEL CHECKING ALGORITHM; OPERATIONAL SEMANTICS; REACTIVE SOFTWARE; SAT-SOLVING; TEST DATA GENERATION; TIME BEHAVIOR; TRAIN CONTROL;

AUTOMATA THEORY; COMPUTER SOFTWARE SELECTION AND EVALUATION; ROBOTS; SOFTWARE TESTING; TRANSLATION (LANGUAGES);

MODEL CHECKING;

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

References (9)

1. Tsun S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, SE-4(3):178-186, March 1978.
2. European Committee for Electrotechnical Standardization. EN 50128 - Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems. CENELEC, Brussels, 2001.
3. Edmund M. Clarke Jr., Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
4. Niklas Een, Niklas Sörensson. An Extensible SAT-solver. SAT 2003.
5. M. G. Merayo, Manuel Ńũnez and Ismael Rodríguez. Formal testing from timed finite state machines. Computer Networks 52 (2008) 432-460.
6. Moore E. F. Gedanken-experiments on Sequential Machines. Automata Studies, Annals of Mathematical Studies, 34, 129153. Princeton University Press, Princeton, N.J. (1956).
7. Jan Peleska, Helge Löding, and Tatiana Kotas. Test automation meets static analysis. In Rainer Koschke, Karl-Heinz Rödiger Otthein Herzog, and Marc Ronthaler, editors, Proceedings of the INFORMATIK 2007, Band 2, 24. - 27. September, Bremen (Germany), pages 280-286.
8. Bastian Schlich. Model Checking of Software for Microcontrollers. PhD Thesis, Aachen, Germany, 2008.
9. J.G. Springintveld, F.W. Vaandrager, and P.R. D'Argenio. Testing timed automata. Theoretical Computer Science, 254(1-2):225-257, March 2001.