收录：
摘要：
本发明涉及一种软件行为获取、监控与验证方法，包括：获取软件行为；监控软件行为；验证软件行为。针对现有软件行为监测、分析和验证方法中存在的不仅需要修改程序源码，而且编程负担较重，缺乏监控与分析粒度调控等问题，本发明从基于Java的面向对象编程语言的行为和属性的分析出发，结合UML和OCL技术，提供一种较为通用的软件行为获取、监控与验证方法，可以自动生成监控所需的AOP方面类，减少编码人员工作量；在不修改待验证系统源代码的情况下进行监控与验证；大量使用接口和动态链接库，易于维护和修改。使用本发明对软件系统进行监控和验证，可以对软件系统的可信性进行度量，并且保护软件系统正常运行。
关键词：
通讯作者信息：
电子邮件地址：
