A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a systems actual performance complies with the requirement, an effective reasoning and verification mechanism is needed. This paper presents a graph grammar based reverse engineering framework for the behavior verification of high assurance systems. It casts the program verification problem to a visual language parsing problem, i.e.parsing the graphical representation of program behavior with user-specified constraints and properties expressed as a graph grammar The approach allows developers to check the acceptable sequence of method calls corresponding to the specifications for some requirements.
Chunying Zhao Kang Zhang
The University of Texas at Dallas
国际会议
11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)
南京
英文
449-452
2008-12-03（万方平台首次上网日期，不代表论文的发表时间）