A Framework on Runtime Verification for Software Behavior
With the wide application of software, the scale of software systems is constantly expanding, and their structures and behaviors become more and more complicated. Therefore, people have more request and wish for their correctness, availability, reliability, safety, etc. This thesis presents a runtime verification framework, with a focus on software behavior. The theory of DFA is adopted to check whether a single series of events conforms to behavior regulations or not. If behavior regulation violating occurs, the verification system gives out some responding signs; which can help reduce the negative influence of software system performance, and improve verification efficiency. The effectiveness of this method has been verified by an actual electronic trading platform.
software behavior runtime verification trace pattern DFA
WANG Zhi-bing LI Chang-yun HU Sheng-long MAN Jun-feng
School of Computer and ommunication, Hunan University of Technology, Zhuzhou, Hunan, 412008, China
国际会议
三亚
英文
20-23
2012-01-06（万方平台首次上网日期，不代表论文的发表时间）