Article

Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs

Authors:

Besnik Seljimi,

Ioannis ParissisAuthors Info & Claims

ISSRE '06: Proceedings of the 17th International Symposium on Software Reliability Engineering

Pages 105 - 116

https://doi.org/10.1109/ISSRE.2006.49

Published: 07 November 2006 Publication History

Publisher Site

Abstract

Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language. It makes possible to automatically generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as operational profiles and behavioral patterns. Lutess deals with software and specifications involving only boolean inputs and outputs. In this paper we propose an extension of Lutess, using Constraint Logic Programming (CLP), making possible to deal with numeric inputs and outputs. In particular, we define an appropriate execution model for test input generation and show how test data generation according to the main guiding facilities of Lutess can still be performed. Furthermore, operational profile based generation becomes more powerful thanks to the introduction of CLP solvers capabilities which make possible to associate occurrence probabilities to any boolean expression.

Cited By

View all

Mnad MDeleuze CParissis ILaunay JGning JBudnik CFraser GLonetti F(2016)Automated test generation for synchronous controllersProceedings of the 11th International Workshop on Automation of Software Test10.1145/2896921.2896924(1-7)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2896921.2896924
Duy TBinh NParissis IThang HPhuong LDe Raedt LDeville YBui MLinh TOanh NSang DNgoc N(2015)A regression testing approach for Lustre/SCADE programsProceedings of the 6th International Symposium on Information and Communication Technology10.1145/2833258.2833278(288-295)Online publication date: 3-Dec-2015
https://dl.acm.org/doi/10.1145/2833258.2833278
Jee EShin DCha SLee JBae D(2014)Automated test case generation for FBD programs implementing reactor protection system softwareSoftware Testing, Verification & Reliability10.1002/stvr.154824:8(608-628)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1002/stvr.1548
Show More Cited By

Index Terms

Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Data flow languages
2. Theory of computation
  1. Logic
    1. Constraint and logic programming

Recommendations

Inputs and Outputs in CSP: A Model and a Testing Theory

This article addresses refinement and testing based on CSP models, when we distinguish input and output events. In a testing experiment, the tester (or the environment) controls the inputs, and the system under test controls the outputs. The standard ...
Link: exploiting the web of data to generate test inputs
ISSTA 2014: Proceedings of the 2014 International Symposium on Software Testing and Analysis

Applications that process complex data, such as maps, personal data, book information, travel data, etc., are becoming extremely common. Testing such applications is hard, because they require realistic and coherent test inputs that are expensive to ...
Testing using CSP Models: Time, Inputs, and Outputs
The existing testing theories for CSP cater for verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement and testing based on a dialect of CSP, called tock-CSP, which can capture discrete time properties. This ...

Comments

Information & Contributors

Information

Published In

ISSRE '06: Proceedings of the 17th International Symposium on Software Reliability Engineering

November 2006

384 pages

ISBN:0769526845

Publisher

IEEE Computer Society

United States

Publication History

Published: 07 November 2006

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mnad MDeleuze CParissis ILaunay JGning JBudnik CFraser GLonetti F(2016)Automated test generation for synchronous controllersProceedings of the 11th International Workshop on Automation of Software Test10.1145/2896921.2896924(1-7)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2896921.2896924
Duy TBinh NParissis IThang HPhuong LDe Raedt LDeville YBui MLinh TOanh NSang DNgoc N(2015)A regression testing approach for Lustre/SCADE programsProceedings of the 6th International Symposium on Information and Communication Technology10.1145/2833258.2833278(288-295)Online publication date: 3-Dec-2015
https://dl.acm.org/doi/10.1145/2833258.2833278
Jee EShin DCha SLee JBae D(2014)Automated test case generation for FBD programs implementing reactor protection system softwareSoftware Testing, Verification & Reliability10.1002/stvr.154824:8(608-628)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1002/stvr.1548
Long LBinh NParissis IQuyet TThanh BVan TBui MHong S(2013)A new test modeling language for interactive applications based on task treesProceedings of the 4th Symposium on Information and Communication Technology10.1145/2542050.2542081(285-293)Online publication date: 5-Dec-2013
https://dl.acm.org/doi/10.1145/2542050.2542081
Madani LParissis IBertolino AFoster HLi J(2011)Automatically testing interactive multimodal systems using task trees and fusion modelsProceedings of the 6th International Workshop on Automation of Software Test10.1145/1982595.1982605(43-49)Online publication date: 23-May-2011
https://dl.acm.org/doi/10.1145/1982595.1982605
Papailiopoulou V(2008)Automatic Test Generation for LUSTRE/SCADE ProgramsProceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2008.96(517-520)Online publication date: 15-Sep-2008
https://dl.acm.org/doi/10.1109/ASE.2008.96
du Bousquet LDelaunay M(2008)Towards Mutation Analysis for Lustre ProgramsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.05.009203:4(35-48)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1016/j.entcs.2008.05.009
Seljimi BParissis IHartman AKatara MParadkar A(2007)Automatic generation of test data generators for synchronous programsWorkshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting10.1145/1294921.1294923(8-12)Online publication date: 4-Sep-2007
https://dl.acm.org/doi/10.1145/1294921.1294923

Abstract

Cited By

Index Terms

Recommendations

Inputs and Outputs in CSP: A Model and a Testing Theory

Link: exploiting the web of data to generate test inputs

Testing using CSP Models: Time, Inputs, and Outputs

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations