DMCA
Lutess: A Testing Environment for Synchronous Software (1998)
| Citations: | 7 - 1 self |
BibTeX
@MISC{Bousquet98lutess:a,
author = {L. du Bousquet and F. Ouabdesselam and I. Parissis and J.-L. Richier and N. Zuanon},
title = {Lutess: A Testing Environment for Synchronous Software},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Several studies have shown that automated testing is a promising approach to save significant amounts of time and money in the industry of reactive software. But automated testing requires a formal framework and adequate means to generate test data. In the context of synchronous reactive software, we have built such a framework and its associated tool-Lutess- to integrate various wellfounded testing techniques. This tool automatically constructs test harnesses for fully automated test data generation and verdict return. This paper describes the four black-box testing techniques which are coordinated in Lutess uniform framework. 1 Introduction Testing receives an increasing attention from research teams working on formal techniques for software specification, development and verification, for two reasons. First, testing appears to be the only means to perform the validation of a piece of software, when formal verification is impracticable because of lacks of memory and/or time. Second,...
Keyphrases
synchronous software testing environment test data formal technique adequate mean introduction testing synchronous reactive software research team formal verification several study reactive software promising approach significant amount formal framework lute uniform framework test data generation test harness verdict return software specification automated testing
