面向对象软件系统行为监控及其验证策略

摘要

随着信息技术的不断发展,软件系统也在不断的演化,变得越来越复杂、庞大,在社会各个领域中发挥着越来越重要的作用。随着用户对软件系统应用需求的不断增加,软件系统在运行时往往会发生一些错误,软件规模在不断扩大,分布式计算等应用也在不断普及,人们对软件系统的可信问题也越来越关注。而与传统软件维护技术相比,面向对象软件系统基于监控和验证的方法,能有效保障软件系统的可信运行。笔者对面向对象软件系统行为监控和验证问题进行了研究,为了使面向服务的架构更适应动态演化的需求,提出了基于体系结构空间、支持动态演化的面向对象软件系统行为监控及验证的SASM模型。