Generating Test Cases for Infinite System Specifications

Stefan Heymer, Jens Grabowski

Abstract

Test case generation is a means to validate the implementation of a system <em>a posteriori</em> with respect to some given requirements imposed on the system. Current methods for the generation of test cases often rely on the system specification being given as a finite automaton, which does not fully cover the situation in systems with asynchronous communication, In this paper we present an algorithm for the computation of test cases for infinite system specifications.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Proceedings of the 7. GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems
Address: 
Berlin, Germany
Month: 
6
Year: 
1997
2020 © Software Engineering For Distributed Systems Group

Main menu 2