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.