Test suite design for code generation tools

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 286-290

  Stürmer, Ingo ^a   Conrad, Mirko ^a  

^a DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); AUTOMATIC PROGRAMMING; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS);

AUTOMATIC GENERATION; CODE GENERATION TOOLS; CODE GENERATORS; COMPACT CODE; EXECUTABLE SPECIFICATIONS; MODEL BASED DEVELOPMENT; PROVEN IN USE; QUALITY CHARACTERISTIC; SPECIFICATION MODELS;

PROGRAM COMPILERS;

EID: 85117396894     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240322     Document Type: Conference Paper

References (16)

1. The MathWorks, Simulink, Stateflow and Real-Time Workshop at http://www.mathworks.com/products, Website, 2003.
2. dSPACE, TargetLink at http://www.dspace.com, Website, 2003.
3. nd Int. Workshop on Compiler and Architecture Support for Embedded Systems (CASES'99), Washington DC (USA), Dec. 1999.
4. U. Assmann, "Graph Rewrite Systems for Program Optimization", In ACM Transactions on programming Languages and Systems (TOPLAS), Vol. 22 (4),. ACM Press, 2002, pp. 583-637.
5. M. Grochtmann and K. Grimm, "Classification-trees for partition testing", Software Testing, Verification and Reliability, 3 (2), 1993, pp. 63-82.
6. J. Wegener, H. Stahmer and A. Baresel, “Evolutionary Test Environment for Automatic Structural Testing”, Special Issue of Information and Software Technology, vol. 43, 2001, pp. 851-854.
7. M. Tonndorf, “Ada Conformity Assessments: A model for Other Programming languages?”, Proc. of ACM SIGAda Annual Int. Conference (SigAda'99), Redondo Beach, CA, USA, 1999.
8. A.S. Boujarwah and K. Saleh, “Compiler test case generation methods: a survey and assessment”, Information and Software Technology, 39(9), 1997, pp. 617-625.
9. Reactive Systems Inc, Reactis Simulator/Tester at www.reactive-systems.com, Website 2003.
10. th IEEE Int. Conference and Workshop on the Engineering of Computer-based Systems, pp. 159-168, Huntsville, AL, April 7-10, 2003
11. S. S. Muchnick: Advanced Compiler Design and Implementation, Morgan Kaufmann, San Francisco, California, USA, 1997.
12. G. Goos and W. Zimmermann, W., "Verifying Compilers and ASMs", Abstract State Machines, Lecture Notes in Computer Science 1912, 2000, 177-202.
13. A. Schürr, A.J. Winter and A. Zündorf,”PROGRES: Language and Environment. In H. Ehrig, G. Engels, H.J. Kreowski and G. Rozenberg (editors), Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, World Scientific, 1999, pp. 487-550.
14. th Annual Genetic and Evolutionary Computation Conference (GECCO 2003), volume 2723 of Lecture Notes in Computer Science, Springer-Verlag, 2003, page 2428-2441.
15. th European Int. Conf. on Software Testing, Analysis and Review (EuroSTAR '03), Amsterdam, Dec., 2003.
16. M. Conrad, I. Fey and H.Pohlheim, "Automating Test Evaluation for ECU Software", accepted for 11. Int. Congress on Electronic Systems for Vehicles, Baden-Baden, Germany, Sept., 2003.