Automatic test generation for model-based code generators

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 75-81

  Zelenov, Sergey V ^a   Silakov, Denis V ^a   Petrenko, Alexander K ^a   Conrad, Mirko ^b   Fey, Ines ^c  

^a ISP RAS   (Russian Federation)

^b ACM   (Australia)

^c DAIMLER AG   (Germany)

Author keywords

Code generation; Model based development; Simulink; Test generation

Indexed keywords

CODES (SYMBOLS); FORMAL METHODS;

AUTOMATIC TEST GENERATION; CODE GENERATION; CODE GENERATORS; MODEL BASED DEVELOPMENT; MODEL- BASED DESIGNS; SIMULINK; SIMULINK AND STATEFLOW; TEST GENERATIONS;

AUTOMATIC PROGRAMMING;

EID: 77956426140     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.70     Document Type: Conference Paper

References (14)

1. The MathWorks. http://www.mathworks.com/
2. ETAS ASCET. http://en.etasgroup.com/products/ascet/
3. I-Logix. http://www.ilogix.com
4. Potter, B.: Use of The MathWorks Tool Suite to Develop DO-178B Certified Code. ERAU / FAA Software Tools Forum. Daytona Beach, FL., May 18-19, 2004.
5. Ranville S., Black P. Automated Testing Requirements - Automotive Perspective. // The Second Int. Workshop on Automated Program Analysis, Testing and Verification. 2001. (http://hissa.nist.gov/~black/Papers/autoTestReqsWAPATV. rtf)
6. Conrad, M., Dörr, H., Schürr, A., Stürmer, I. Graph-Transformations for Model-based Testing. // GI-Lecture Notes in Informatics. 2002. N 12. P. 39-50.
7. MathWorks Tools Help Land Unpiloted Boeing Spacecraft. MathWorks User Stories. (https://tagteamdbserver.mathworks.com/ttserverroot/Download/452- 9797v00-Boeing-SMV-ROI.pdf)
8. Glesner S., Geiss R., Boesler B. Verified Code Generation for Embedded Systems. // Electronic Notes in Theoretical Computer Science. 2002. 65. N 2.
9. Grochtmann M., Grimm K. Classification-Trees For Partition Testing. // Software Testing, Verification and Reliability. 1993. N 3 (2). P. 63-82.
10. Stürmer I. Integration of the Code Generation Approach in the ModelBased Development Process By Means Of Tool Certification. // Journal of Integrated Design and Process Science. 2004. Vol. 8 (2). P.1-11.
11. Stürmer I. Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation // PhD thesis, Technical University Berlin, 2006.
12. Stürmer, I., Weinberg, D., Conrad, M. Overview of Existing Safeguarding Techniques for Automatically Generated Code. // 2nd Int. ICSE Workshop on Software Engineering for Automotive Systems (SEAS'05), St. Louis, USA, May 2005.
13. Kossatchev, A.S., Petrenko, A.K., Zelenov, S.V., Zelenova S.A. Application of Model-Based Approach for Automated Testing of Optimizing Compilers. In Proceedings of the International Workshop on Program Understanding (Novosibirsk - Altai Mountains, Russia), July 14-16, 2003, 81-88.
14. Kuliamin, V., Petrenko, A. Applying Model Based Testing in Different Contexts. http://www.dagstuhl.de/files/Materials/04/04371/04371.KuliaminVictor. Paper.pdf.