摘要

构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致性判定模型,通过对对象状态序列和交叉序列的判定来对演化部分的局部系统行为进行一致性判定,从而对全局系统行为一致性进行判定。该模型通过监视器对构件互操作协议进行监测,能够自动判定演化后的系统是否与演化前保持一致。最后将该模型应用于实际系统的开发中,验证了该方法的可行性和有效性。