Randomized directed testing (REDIRECT) for Simulink/Stateflow models

Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08

Volumn , Issue , 2008, Pages 217-226

  Satpathy, Manoranjan ^a   Yeolekar, Anand ^a   Ramesh, S ^a  

^a GM India Science Lab   (India)

Author keywords

Coverage; Hybrid systems; Model based testing; Simulink Stateflow models

Indexed keywords

C++ (PROGRAMMING LANGUAGE); EMBEDDED SOFTWARE; HEURISTIC METHODS; HYBRID SYSTEMS; MODEL CHECKING; TESTING;

COVERAGE; DE FACTO STANDARD; EMBEDDED CONTROL SYSTEMS; INDUSTRIAL STRENGTH; MODEL BASED DEVELOPMENT; MODEL BASED TESTING; SIMULINK; TEST CASE GENERATION;

EMBEDDED SYSTEMS;

EID: 70349241887     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1450058.1450088     Document Type: Conference Paper

References (23)

1. Applied Dynamics International. BEACON for Simulink/Stateflow. http://www.adi.com
2. R. Alur, A. Kanade, S. Ramesh, and K.C. Shashidhar. Symbolic Analysis for Improving Coverage of Simulink/Stateflow Models, In EMSOFT (this Proceedings), ACM, 2008.
3. R. Cleaveland, S.A. Smolka, and S.T. Sims. An Instrumentation-Based Approach to Controller Model Validation, In Automotive Software Workshop, San Diego, Available at http://aswsd.ucsd.edu/2006/pdfs/smolka-vm-slides.pdf
4. ETSI. ETS 300 406: Methods for Testing and Specification (MTS); Protocol and profile conformance testing specifications; Standardization Methodology, European Telecommunication Standard, 1995.
5. A. Gadkari, A. Yeolekar, J. Suresh, S. Ramesh, S. Mohalik, and K.C. Shashidhar. AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems, In Proc. of the CAV'08, LNCS Volume 5123, pages 204-208, 2008.
6. P. Godefroid, N. Klarlund, and K. DART: Directed Automated Random Testing, In Proc. of the PLDI'0,5, Chicago, pp. 213-223, 2005.
7. G. Hamon, L. de Moura, and J. Rushby. Automated Test Generation with SAL, CSL Technical Note, January 2005.
8. ISO. OSI Conformance Testing Methodology and Framework-ISO 9646, 1998.
9. A. Agung Julius, G. Fainekos, M. Anand, I. Lee, and G.J. Pappas. Robust test generation and coverage for hybrid systems, In LNCS Volume 4416, Springer, pages 329-342, 2007.
10. R. Majumdar, and K. Sen. Hybrid Concolic Testing, In Proc. of the ICSE, Minneapolis, pages 416-426, 2007.
11. The Mathworks. http://www.mathworks.com
12. The Mathworks, Simulink Design verifier. http://www.mathworks.com
13. S.P Miller, E.A. Anderson, L.G. Wagner, M.W. Whalen, and M.P.E. Heimdahl. Formal Verification of Flight Control Software, In Proc. of the AIAA Guidance, Navigation and Control Conference and Exhibit, San Francisco, pages 1-16, August 2005.
14. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating Test Data from State Based Specifications, Software Testing, Verification and Reliability, John Wiley, 13(1): 25-53, March 2003.
15. C. Pacheco, S.K. Lahiri, M. Ernst, T. Ball. Feedback-directed Random Test Generation, In Proc. of the ICSE, Minneapolis, pages75-84, 2007.
16. Reactis: http://www.reactive-systems.com
17. Reactive Systems. Model Based Testing and Validation with Reactis, Reactive Systems Inc., http://www.reactive-systems.com
18. D.J. Richardson, A. Leif Aha, T.O. O'Malley. Specification-based Test Oracles for Reactive Systems, In Proc. of ICSE, Melbourne, pages 105-118, 1992.
19. SRI International. SAL home page http://sal.csl.sri.com
20. S. Sims, and D.C DuVarney. Experience Report: The Reactis Validation Tool, In Proc. of the ACM International Conference on Functional Programming, Freiburg, pages 137-139, October 2007.
21. STB. Safety Test Builder, Automatic Test Generation for Simulink/Stateflow, TIN Software.
22. T-Vec. T-Vec Tester for Simulink. http://www.t-vec.com
23. H. Zhu, P.A.V. Hall, and J.H.R. May. Software Unit Test Coverage and Adequacy ACM Computing Surveys, 29(4):366-427, 1997.