Test automation for hybrid systems

Proceedings of the Third International Workshop on Software Quality Assurance, SOQUA 2006

Volumn , Issue , 2006, Pages 14-21

  Badban, Bahareh ^a   Fränzle, Martin ^a   Peleska, Jan ^b   Teige, Tino ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

Hybrid systems; Interval analysis; MCDC coverage; Test case generation

Indexed keywords

CASE BASED REASONING; CONSTRAINT THEORY; HYBRID COMPUTERS; LEARNING SYSTEMS; MATHEMATICAL MODELS;

AUTOMATED TEST GENERATION; HYBRID CONTROL SYSTEMS; INTERVAL ANALYSIS;

SOFTWARE TESTING;

EID: 34547699498     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1188895.1188902     Document Type: Conference Paper

References (13)

1. 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.
2. 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.
3. T. S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, SE-4(3):178-186, Mar. 1978.
4. 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.
5. B. J. Ellis. Automation for exception freedom proofs. In 18th IEEE International Conference on Automated Software Engineering, 2003. IEEE, 2003.
6. 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.
7. 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.
8. T. Henzinger and P. Kopke. Discrete-time control for rectangular hybrid automata. In ICALP 91, Lecture Notes in Computer Science 1256, pages 582-593. Springer, 1997.
9. 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.
10. L. Jaulin, M. Kieffer, O. Didrit, and É. Walter. Applied Interval Analysis. Springer-Verlag, 2001.
11. SC-167. Software Considerations in Airborne Systems and Equipment Certification. RTCA, 1992.
12. J. Springintveld, F. Vaandrager, and P. D'Argenio. Testing timed automata. Theoretical Computer Science, 254(1-2):225-257, March 2001.
13. L. Zhang, C. Madigan, M. Moskewicz, and S. Malik. Efficient Conflict Driven Learning in a Boolean Satisfiability Solver. In IEEE/A CM International Conference on Computer-Aided Design, 2001.