An approach to reverse engineering of C programs to simulink models with conformance testing

Proceedings of the 2nd India Software Engineering Conference, ISEC 2009

Volumn , Issue , 2009, Pages 137-138

  Saha, Indranil ^a   Chakraborty, Kuntal ^b   Roy, Suman ^c   Reddy, B VishnuVardhan ^d   Kurapati, Venkatappaiah ^d   Sharma, Vishesh ^e  

^a University of California   (United States)

^b HTS Research   (India)

^c INFOSYS TECHNOLOGIES LTD   (India)

^d INDIAN STATISTICAL INSTITUTE   (India)

^e INDIAN INSTITUTE OF TECHNOLOGY DELHI   (India)

Author keywords

C; Conformance testing; Design; Experimentation; Reverse engineering; Simulink; Verifcation

Indexed keywords

C; CONFORMANCE TESTING; EXPERIMENTATION; SIMULINK; VERIFCATION;

COMPUTER SOFTWARE; INDUSTRIAL APPLICATIONS; REENGINEERING; REVERSE ENGINEERING; STANDARDIZATION;

MODELS;

EID: 67649201777     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1506216.1506246     Document Type: Conference Paper

References (6)

1. J. Degener. ANSI C Grammar, Lex Specifcation. 1995. Available at http://www.lysator.liu.se/c/ANSI-C-grammar-l.html.
2. J. Degener. ANSI C Yacc Grammar. 1995. Available at http://www.lysator. liu.se/c/ANSI-C-grammar-y.html.
3. M. Gorman. CodeViz: A CallGraph Visualiser. http://http://www.csn.ul.ie/ mel/projects/codeviz/.
4. T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software Verifcation with Blast. In 10th International Workshop on Model Checking of Software (SPIN), volume 2648 (LNCS), pages 235-239. Springer-Verlag, 2003.
5. S. Lehman. Controller Style Guidelines for Production Intent Development Using MATLAB, Simulink, and Stateflow. 2001.
6. V. Zsombori. Transformation of C Code to Matlab/Simulink Models, 2005. http://www.doc.gold.ac.uk/mas01vz/dc-shanghai/project-transformation/summary. pdf.