Testing model-processing tools for embedded systems

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2007, Pages 203-212

  Sampath, Prahladavaradan ^a   Rajeev, A C ^a   Ramesh, S ^a   Shashidhar, K C ^a  

^a GENERAL MOTORS CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MODEL CHECKING; PROGRAM COMPILERS; SOFTWARE TESTING;

MODEL PROCESSING TOOLS; RIGOROUS VERIFICATION; SEMANTIC META-MODELS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34548137302     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2007.39     Document Type: Conference Paper

References (23)

1. Correspondence with Grégoire Hamon.
2. L. V Aertryck, M. V Benveniste, and D. L. Métayer. CAST-ING: A formally based software test generation method. In ICFEM, pages 101-, 1997.
3. P. Baldan, B. König, and I. Stürmer. Generating test cases for code generators by unfolding graph transformation systems. In H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, editors, ICGT, volume 3256 of LNCS, pages 194-209. Springer, 2004.
4. C. W. Barrett et al. Tvoc: A translation validator for optimizing compilers. In K. Etessami and S. K. Rajamani, editors, CAV, volume 3576 of LNCS, pages 291-295. Springer, 2005.
5. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold Co., 2nd edition edition, 1990.
6. N. Benton. Machine obstructed proof: How many months can it take to verify 30 assembly instructions? In ACM SIGPLAN Workshop on Mechanizing Metatheory, September 2006.
7. W. Goerigk et. al. Compiler correctness and implementation verification: The Verifix approach, 1996.
8. G. Hamon and J. M. Rushby. An operational semantics for Stateflow. In M. Wermelinger and T. Margaria, editors, FASE, volume 2984 of Lecture Notes in Computer Science, pages 229-243. Springer, 2004.
9. M. Haroud and A. Biere. SDL versus C equivalence checking. In A. Prinz, R. Reed, and J. Reed, editors, SDL Forum, volume 3530 of Lecture Notes in Computer Science, pages 323-338. Springer, 2005.
10. N. Heintze and J. Jaffar. A decision procedure for a class of set constraints (extended abstract). In LICS, pages 42-51. IEEE Computer Society, 1990.
11. Telelogic AB. http://www.ilogix.com.
12. D. Jackson. Alloy: a lightweight object modelling notation. ACMTrans. Softw. Eng. Methodol., 11(2):256-290, 2002.
13. R. Lämmel and W. Schulte. Controllable combinatorial coverage in grammar-based testing. In M. U. Uyar, A. Y. Duale, and M. A. Fecko, editors, TestCom, volume 3964 of LNCS, pages 19-38. Springer, 2006.
14. J. V Leeuwen, editor. Handbook of Theoretical Computer Science, volume Vol. B. MIT Press, 1994.
15. D. Leinenbach, W. J. Paul, and E. Petrova. Towards the formal verification of a CO compiler: Code generation and implementation correctness. In SEFM, pages 2-12. IEEE Computer Society, 2005.
16. The Mathworks, Inc. http://www.mathworks.com.
17. P.M.Maurer. Generating test data with enhanced context-free grammars. IEEE Software, 7(4):50-55, 1990.
18. R. Milner. Communication and Concurrency. International series in computer science. Prentice Hall, 1989.
19. G. D. Plotkin. A structural approach to operational semantics. J Log. Algebr. Program., 60-61:17-139, 2004.
20. A. Pnueli, O. Strichman, and M. Siegel. Translation validation for synchronous languages. In K. G. Larsen, S. Skyum, and G. Winskel, editors, ICALP, volume 1443 of LNCS, pages 235-246. Springer, 1998.
21. A. Pnueli, O. Strichman, and M. Siegel. Translation validation: From SIGNAL to C. In E.-R. Olderog and B. Steffen, editors, Correct System Design, volume 1710 of Lecture Notes in Computer Science, pages 231-255. Springer, 1999.
22. K. C. Shashidhar, M. Bruynooghe, F. Catthoor, and G. Janssens. Verification of source code transformations by program equivalence checking. In R. Bodik, editor, CC, volume 3443 of Lecture Notes in Computer Science, pages 221-236. Springer, 2005.
23. I. Stürmer and M. Conrad. Test suite design for code generation tools. In ASE, pages 286-290. IEEE Computer Society, 2003.