ABSTRACT
This article presents novel results on automated test generation for hybrid control systems, which involves the generation of both discrete and real-valued, potentially time-continuous, input data to the system under test. Our generation techniques are allocated in two layers: The upper layer contains a symbolic test case generator constructing test cases as paths through an abstracted representation model of the system under test. Different test strategies designed to pursue various quality objectives lead to different selections of symbolic test cases. Symbolic test cases are transformed into feasible, i. e., executable, test cases by constructing concrete sequences of input data, allowing the execution of the pre-planned transition sequence. The input data construction is performed by the lower layer consisting of a constraint solver which applies interval analysis techniques to identify the domains from where to pick the appropriate test data. This process is made efficient by combining subpaving with forward-backward interval constraint propagation. On both layers learning algorithms are applied in order to avoid the spending of computation time on paths and sub-constraints, respectively, which are already known not to contribute to the solution.
- P. Ammann, J. Offutt, and H. Huang. Coverage criteria for logical expressions. In Proceedings of the 2003 International Symposium on Software Reliability Engineering (ISSRE '03), pages 99--107, Denver, CO, 2003. Google ScholarDigital Library
- K. Berkenkötter, S. Bisanz, U. Hannemann, and J. Peleska. The HybridUML Profile for UML 2.0. International Journal on Software Tools for Technology Transfer (STTT), 8(2):167--176, 2006. Google ScholarDigital Library
- T. S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, SE-4(3):178--186, Mar. 1978.Google ScholarDigital Library
- A. Denise, M.-C. Gaudel, and S.-D. Gouraud. A generic method for statistical testing. In Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04), pages 25--34, 2004. Google ScholarDigital Library
- B. J. Ellis. Automation for exception freedom proofs. In 18th IEEE International Conference on Automated Software Engineering, 2003. IEEE, 2003.Google ScholarDigital Library
- M. Fränzle, C. Herde, S. Ratschan, T. Schubert, and T. Teige. Interval Constraint Solving Using Propositional SAT Solving Techniques. CP 2006 Workshop on the Integration of SAT and CP Techniques, 2006.Google Scholar
- T. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 278--292. IEEE Computer Society Press, 1996. Google ScholarDigital Library
- T. Henzinger and P. Kopke. Discrete-time control for rectangular hybrid automata. In ICALP 97, Lecture Notes in Computer Science 1256, pages 582--593. Springer, 1997. Google ScholarDigital Library
- T. J. Hickey, Q. Ju, and M. H. van Emden. Interval arithmetic: From principles to implementation. Journal of the ACM, 48(5):1038--1068, 2001. Google ScholarDigital Library
- L. Jaulin, M. Kieffer, O. Didrit, and É. Walter. Applied Interval Analysis. Springer-Verlag, 2001.Google ScholarCross Ref
- SC-167. Software Considerations in Airborne Systems and Equipment Certification. RTCA, 1992.Google Scholar
- J. Springintveld, F. Vaandrager, and P. D'Argenio. Testing timed automata. Theoretical Computer Science, 254(1-2):225--257, March 2001. Google ScholarDigital Library
- L. Zhang, C. Madigan, M. Moskewicz, and S. Malik. Efficient Conflict Driven Learning in a Boolean Satisfiability Solver. In IEEE/ACM International Conference on Computer-Aided Design, 2001. Google ScholarDigital Library
Index Terms
- Test automation for hybrid systems
Recommendations
Achieving scalable mutation-based generation of whole test suites
Without complete formal specification, automatically generated software tests need to be manually checked in order to detect faults. This makes it desirable to produce the strongest possible test set while keeping the number of tests as small as ...
Coverage-guided test generation for continuous and hybrid systems
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard `Formal Methods in Conformance Testing' FMCT. We propose a novel test coverage measure for these systems, which is ...
On Use of Coverage Metrics in Assessing Effectiveness of Combinatorial Test Designs
ICSTW '13: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation WorkshopsCombinatorial test suite design is a test generation technique, popular in part due to its ability to achieve coverage and defect finding power approximating that of exhaustive testing while keeping test suite sizes constrained. In recent years, there ...
Comments