Tobias-Z: An executable formal specification of a test generator

Tobias is a combinatorial testing tool that was used succesfully on several case studies. Currently, the evolution of the tool goes through a significant redevelopment effort. A first step is the production of an executable specification of the Tobias Test Generator. The goal of this specification e...

Full description

Saved in:
Bibliographic Details
Published in21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) pp. 353 - 354
Main Authors Ledru, Y., du Bousquet, L.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2006
Subjects
Animation
Automatic testing
Explosions
Filters
Formal specifications
Java
Kernel
Power generation
Prototypes
System testing
Online AccessGet full text

Cover

More Information
Summary:Tobias is a combinatorial testing tool that was used succesfully on several case studies. Currently, the evolution of the tool goes through a significant redevelopment effort. A first step is the production of an executable specification of the Tobias Test Generator. The goal of this specification effort is to provide a synthetic and precise description of Tobias to the developers of the new tool. The specification is expressed in the Z language, supported by the Jaza animator. The executable character of the specification is exploited (1) to assess non-regression of the specification with respect to the existing tool, and (2) to explore new functionalities for the tool
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:0769525792
9780769525792
ISSN:1938-4300
1527-1366
2643-1572
DOI:10.1109/ASE.2006.67