Research On Behavior Monitoring And Verification For Oop Software System Based On OCL And AOP

With the increasing of user requirements, software system become more andmore complex and huge. Error often occurs on software system runtime. The methodbased on monitoring and verification as one of important way to ensure software to betrusted is getting more attention. In this dissertation, method to monitor and verify thesoftware based on OOP(Object Oriented Programming) is considered as the researchobject, a software behavior monitoring and verification model for software systembased on OOP is presented. After study on theory and technique to implement themodel, the software behavior monitoring and verification model for OOP basedsoftware system is designed and implemented.For software behavior description, a software behavior description model whichcombines half-formalized UML(Unified Modeling Language) and formalizedOCL(Object Constraint Language) is designed and implemented in this dissertation.OCL is extended by combining with main monitoring focus to can be customized andextended. Through adding prefix to OCL, make it easy to be analyzed. Eachmonitoring focus corresponds to one or several OCL prefix. It simplifies analysis andreduces complexity for user. Using OCL and UML to describe software behavior hasbig advantage, because OCL can accurately describe software behavior by addingbusiness logic related constraint to attribute and operation in a class. The businesslogic related constraint can not be achieved by program static analysis and dynamicanalysis.For software behavior monitoring and verification problem, an behaviormonitoring and verification prototype system is implemented by using AOP. Researchmainly focus on how to automatically generate monitoring aspect class from softwarebehavior description file, how to implement AOP LTW(Load-time weave) withoutmodifying software source code, how to analyze and verify if captured softwarebehavior accord with expected behavior in software behavior description file. UsingXML file to exchange data and using interface and DLL(Dynamic Link Library)makes the software behavior monitoring and verification model easy to be modifiedand maintained. The model has good compatibility with software system developedby Java, it can monitor and verify target system without modifying source code.On the basis of the above research, a JSP based short message notificationsystem is designed and implemented. The software behavior monitoring andverification model is deployed on this system for test. The test results prove that thesoftware behavior monitoring and verification model proposed in this dissertation hasfeasibility and validity...