Besnik Seljimi
Ioannis Parissis
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.
- 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
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- Jaffar J., L. J.-L. Constraint logic programming. In 14th. ACM Symposium on Principles of Programming Languages (POPL'87) (1987), pp. 111--119. Google ScholarDigital Library
- Marre, B., and Arnould, A. Test sequences generation from lustre descriptions: Gatel. In ASE (2000), pp. 229--. Google ScholarDigital Library
- Musa, J. Operational Profiles in Software-Reliability Engineering. IEEE Software (1993), 14--32. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Raymond, P., Nicollin, X., Halbwachs, N., and Weber, D. Automatic testing of reactive systems. In IEEE Real-Time Systems Symposium (1998), pp. 200--209. Google ScholarDigital Library
- 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. Google ScholarDigital Library
Index Terms
- Automatic generation of test data generators for synchronous programs: Lutess V2
Recommendations
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation
SBES '20: Proceedings of the XXXIV Brazilian Symposium on Software EngineeringRecently, 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)...
Automatic test generation for predicates
ISSRE '96: Proceedings of the The Seventh International Symposium on Software Reliability EngineeringWe propose a new technique for automatic generation of test cases for predicates. Earlier we proposed an efficient and effective test generation strategy for Boolean expressions. We now extend this strategy to predicates. Our new strategy addresses a ...
Comments