Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Art of Software Testing
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
Synchronous Programming of Reactive Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Thoroughness of Specification-Based Testing of Synchronous Programs
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Coverage Criteria for Logical Expressions
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
A data flow-based structural testing technique for FBD programs
Information and Software Technology
Automatic Test Generation for LUSTRE/SCADE Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Empirical evaluation on FBD model-based test coverage criteria using mutation analysis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Observable modified Condition/Decision coverage
Proceedings of the 2013 International Conference on Software Engineering
Defining a test coverage criterion for model-level testing of FBD programs
Information and Software Technology
| Hi-index | 0.00 |
We present structural test coverage criteria for LUSTRE programs. LUSTRE is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport). Many coverage criteria are defined for sequential languages and are widely used in the software industry (for instance, statement or branch coverage). They are defined on the program control-flow graph and, hence, do not apply to LUSTRE programs, represented by data-flow diagrams. We have defined several criteria to measure the coverage achieved after the execution of a test set, based on symbolic computation of path activation conditions. The coverage assessment is non-intrusive (there is no code instrumentation). These criteria provide the user with meaningful automatically computed measures of the thoroughness of a given test set.