Constraints over Intervals for Specification Based Automatic Software Test Generation - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Constraints over Intervals for Specification Based Automatic Software Test Generation

Martine Ceberio
  • Function : Author
Angel F Garcia Contreras
  • Function : Author
  • PersonId : 1043833
Fabrice Larribe
  • Function : Author
  • PersonId : 1043834


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.
Fichier principal
Vignette du fichier
scan2018abstract.pdf (94.54 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02062339 , version 1 (25-03-2019)


  • HAL Id : hal-02062339 , version 1


Martine Ceberio, Angel F Garcia 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⟩
89 View
30 Download


Gmail Facebook Twitter LinkedIn More