Paper Info
Title
Specification based test sequence generation with propositional logic
Abstract
In the domain of concurrent reactive systems, much work has been devoted to (semi-)automatically validating a system's correctness. In this paper a novel approach to the automated generation df test sequences is presented. It may be used for both glass box testing a specification and black box testing an implementation (software/hardware). Finite system models specified within the CASE tool AUTOFOCUS as well as user-friendly test case specifications are automatically translated into propositional logic and fed into the propositional solver SATO, Results are interpreted as input/output traces (test sequences) of the system, and may be displayed as message sequence charts. A small example illustrates the basic ideas as well as the method's advantages and shortcomings. The testing process is integrated into an overall development process, Main contributions include the implementation of a tool for graphical specification of test cases and the description of an efficient method to compute test sequences fully automatically as well as its integration into the same CASE tool, Copyright (C) 2000 John Wiley & Sons, Ltd.
Year
DOI
Venue
2000
10.1002/1099-1689(200012)10:4<229::AID-STVR213>3.0.CO;2-O
SOFTWARE TESTING VERIFICATION & RELIABILITY
Keywords
Field
DocType
automatic test case generation,reactive systems,propositional logic,CASE,message sequence charts,validation
Programming language,Test Management Approach,Computer science,Correctness,Propositional calculus,Theoretical computer science,White-box testing,Test case,Computer-aided software engineering,Solver,Reactive system
Journal
Volume
Issue
ISSN
10.0
4
0960-0833
Citations 
PageRank 
References 
27
2.10
9
Authors
4
Name
Order
Citations
PageRank
Guido Wimmel120415.17
Heiko Lötzbeyer2645.44
Alexander Pretschner31585137.50
Oscar Slotosch417319.28