Indexed by：
Abstract：
本发明涉及一种软件行为获取、监控与验证方法，包括：获取软件行为；监控软件行为；验证软件行为。针对现有软件行为监测、分析和验证方法中存在的不仅需要修改程序源码，而且编程负担较重，缺乏监控与分析粒度调控等问题，本发明从基于Java的面向对象编程语言的行为和属性的分析出发，结合UML和OCL技术，提供一种较为通用的软件行为获取、监控与验证方法，可以自动生成监控所需的AOP方面类，减少编码人员工作量；在不修改待验证系统源代码的情况下进行监控与验证；大量使用接口和动态链接库，易于维护和修改。使用本发明对软件系统进行监控和验证，可以对软件系统的可信性进行度量，并且保护软件系统正常运行。
Keyword：
Reprint Author's Address：
Email：
Patent Info ：
Type： 发明授权
Patent No.： CN201310730756.7
Filing Date： 2013-12-26
Publication Date： 2016-08-17
Pub. No.： CN103714290B
Applicants： 北京工业大学
Legal Status： 未缴年费
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 7
Affiliated Colleges：
