Constraints over Intervals for Specification Based Automatic Software Test Generation

Abstract : Developing critical software and ensuring its compliance with lawful requirements are difficult, expensive and resource-intensive activities. In the aeronautical industry, it is required to provide some quality guarantees in terms of robustness and functional safety. Documented guidance [1] to produce certifiable software describes the software life cycle processes and verification and validation activities. Among those guidelines, we would like to draw the attention on the need for a description of the functional behavior of the software. A test set for the validation and verification of the software is designed from this functional specification. To develop a test campaign, the test designer must ask him-or herself two questions: • Where to test? That is, which point in the software will be more likely to be badly implemented, i.e., which test case can allow us to detect an incorrect behavior. • How to reach that test case? That is, which configuration of the system under test will allow us to perform the verification of this test case. In order to implement specification based automatic test generation, we first formalize the functional behavior of the software by means of constraints programming [2] over interval variables. Then, with the help of interval constraint solving techniques [3], we describe a method to automatically achieve the two steps of specification based test design. First, we use a mutation testing approach [4] over interval constraints to evaluate the quality of the test set and generate new test cases.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02062339
Contributor : Clothilde Jeangoudoux <>
Submitted on : Monday, March 25, 2019 - 6:42:23 PM
Last modification on : Friday, July 5, 2019 - 3:26:03 PM
Long-term archiving on : Wednesday, June 26, 2019 - 12:43:41 PM

File

scan2018abstract.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02062339, version 1

Citation

Martine Ceberio, Angel Contreras, Clothilde Jeangoudoux, Fabrice Larribe. Constraints over Intervals for Specification Based Automatic Software Test Generation. 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Sep 2018, Tokyo, Japan. pp.54-55. ⟨hal-02062339⟩

Share

Metrics

Record views

33

Files downloads

13