Article

Automatic generation of test data generators for synchronous programs: Lutess V2

Authors:

DOSTA '07: Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting

Pages 8 - 12

https://doi.org/10.1145/1294921.1294923

Published: 04 September 2007 Publication History

Get Access

Abstract

Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language widely used in safety critical domains such as avionics, energy and transport. Lutess automatically transforms the formal description of the program environment and properties to test generators that feed, on the fly, the program under test. A new version of Lutess has been recently developed, using Constraint Logic Programming. In this version, it is possible to take into account numeric input and output variables and to introduce hypotheses on the program under test. The input language of Lutess has been consequently extended. In this paper we present the new set of operators of the language and illustrate their execution semantics on a simple example.

References

[1]

Du Bousquet, L., Ouabdesselam, F., Parissis, I., Richier, J.-L., and Zuanon, N. Lutess : a testing environment for synchronous software. In Tool Support for System Specification, Development and Verification (June 1998), Advances in Computer Science. Springer Verlag, pp. 48--61.

Google Scholar

[2]

Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. The synchronous data flow programming language lustre. Proceedings of the IEEE 79, 9 (1991), 1305--1320.

Crossref

Google Scholar

[3]

Halbwachs, N., Lagnier, F., and Ratel, C. Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Trans. Software Eng. 18, 9 (1992), 785--793.

Digital Library

Google Scholar

[4]

Jaffar J., L. J.-L. Constraint logic programming. In 14th. ACM Symposium on Principles of Programming Languages (POPL'87) (1987), pp. 111--119.

Digital Library

Google Scholar

[5]

Marre, B., and Arnould, A. Test sequences generation from lustre descriptions: Gatel. In ASE (2000), pp. 229--.

Digital Library

Google Scholar

[6]

Musa, J. Operational Profiles in Software-Reliability Engineering. IEEE Software (1993), 14--32.

Digital Library

Google Scholar

[7]

Pretschner A., Lötzbeyer, H. Model based-testing with constraint logic programming: First results and challenges. In 2nd ICSE Workshop on Automated Program Analysis, Testing and Verification (2001), pp. 1--9.

Digital Library

Google Scholar

[8]

Raymond, P., Nicollin, X., Halbwachs, N., and Weber, D. Automatic testing of reactive systems. In IEEE Real-Time Systems Symposium (1998), pp. 200--209.

Digital Library

Google Scholar

[9]

Seljimi, B., and Parissis, I. Using clp to automatically generate test sequences for synchronous programs with numeric inputs and outputs. In ISSRE (2006), IEEE Computer Society, pp. 105--116.

Digital Library

Google Scholar

Cited By

View all

Liu LJee EBae D(2022)MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant softwareSoftware Testing, Verification and Reliability10.1002/stvr.181532:8Online publication date: 3-May-2022
https://doi.org/10.1002/stvr.1815
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
Abdelmoula MGaffe DAuguin M(2014)AUTSEGProceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 876310.1007/978-3-662-44857-1_7(97-112)Online publication date: 23-Sep-2014
https://dl.acm.org/doi/10.1007/978-3-662-44857-1_7
Show More Cited By

Index Terms

Automatic generation of test data generators for synchronous programs: Lutess V2
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Automatic test data generation
ExLi: An Inline-Test Generation Tool for Java
FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

We present ExLi, a tool for automatically generating inline tests, which were recently proposed for statement-level code validation. ExLi is the first tool to support retrofitting inline tests to existing codebases, towards increasing adoption of this ...
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation
SBES '20: Proceedings of the XXXIV Brazilian Symposium on Software Engineering

Recently, an increasingly large amount of effort has been devoted to implementing tools to generate unit test suites automatically. Previous studies have investigated the effectiveness of these tools by comparing automatically generated test suites (ATSs)...

Comments

Information & Contributors

Information

Published In

DOSTA '07: Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting

September 2007

44 pages

ISBN:9781595937261

DOI:10.1145/1294921

Program Chairs:
Alan Hartman
IBM Haifa Labs
,
Mika Katara
Tampere University of Technology
,
Amit Paradkar
IBM T.J. Watson Research Center

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESEC/FSE07

Sponsor:

ACM
SIGSOFT
CEPIS

ESEC/FSE07: Joint 11th European Software Engineering Conference 2007

September 4, 2007

Dubrovnik, Croatia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
206
Total Downloads

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

Reflects downloads up to 21 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu LJee EBae D(2022)MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant softwareSoftware Testing, Verification and Reliability10.1002/stvr.181532:8Online publication date: 3-May-2022
https://doi.org/10.1002/stvr.1815
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
Abdelmoula MGaffe DAuguin M(2014)AUTSEGProceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 876310.1007/978-3-662-44857-1_7(97-112)Online publication date: 23-Sep-2014
https://dl.acm.org/doi/10.1007/978-3-662-44857-1_7
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
Duy TBinh NParissis I(2013)Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE ProgramsJournal of Software Engineering and Applications10.4236/jsea.2013.610A00406:10(27-35)Online publication date: 2013
https://doi.org/10.4236/jsea.2013.610A004
Grasland Ydu Bousquet LGroz RParissis I(2013)A Functional Testing Approach for Hybrid Safety Properties with Incomplete InformationProceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation10.1109/ICST.2013.25(104-113)Online publication date: 18-Mar-2013
https://dl.acm.org/doi/10.1109/ICST.2013.25
Madani LPapailiopoulou VParissis I(2010)Towards a Testing Methodology for Reactive SystemsProceedings of the 2010 Third International Conference on Software Testing, Verification and Validation10.1109/ICST.2010.21(489-497)Online publication date: 6-Apr-2010
https://dl.acm.org/doi/10.1109/ICST.2010.21
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
Hartman AKatara MParadkar ACrnkovic IBertolino A(2007)Domain specific approaches to software test automationThe 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers10.1145/1295014.1295062(621-622)Online publication date: 3-Sep-2007
https://dl.acm.org/doi/10.1145/1295014.1295062
Hartman AKatara MParadkar ACrnkovic IBertolino A(2007)Domain specific approaches to software test automationProceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering10.1145/1287624.1287730(621-622)Online publication date: 7-Sep-2007
https://dl.acm.org/doi/10.1145/1287624.1287730

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Automatic test data generation

ExLi: An Inline-Test Generation Tool for Java

A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Automatic test data generation

ExLi: An Inline-Test Generation Tool for Java

A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations