Abstract
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infinite sequence of input/output reactions. More precisely, it is dedicated to the description and the execution of constrained random scenarios. Its first use is for test sequence specification and generation. It can also be useful for early simulation of huge systems, where Lutin programs can be used to describe and simulate modules that are not yet fully developed. Basic statements are input/output relations expressing constraints on a single reaction. Those constraints are then combined to describe non deterministic sequences of reactions. The language constructs are inspired by regular expressions and process algebra (sequence, choice, loop, concurrency). Moreover, the set of statements can be enriched with user-defined operators. A notion of stochastic directives is also provided in order to finely influence the selection of a particular class of scenarios.
Highlights
The targeted domain is the one of reactive systems, where an execution is a infinite sequence of input/output reactions
As a matter of fact, the environment behaves itself as a reactive system, whose environment is the program under test
All these remarks have led to the idea of defining a language for describing random reactive systems
Summary
The targeted domain is the one of reactive systems, where an execution is a (virtually) infinite sequence of input/output reactions. Examples of such systems are control/command in industrial process, embedded computing systems in transportation. As a matter of fact, the environment behaves itself as a reactive system, whose environment is the program under test This feedback aspect makes offline test generation impossible; testing a reactive system requires to run it in a simulated environment. All these remarks have led to the idea of defining a language for describing random reactive systems. The language can be useful for early prototyping and simulation, where constrained random programs can implement missing modules
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.