摘要

对于继承的系统或基于组件的系统,常常得不到系统详细的信息,测试这样的系统很困难,采用Anti-model测试思想和方法可以解决此类问题。基于Anti-model测试思想,设计出基于Anti-model的测试框架,详细分析和说明了Anti-model的测试过程中的几个关键性的技术,包括动态数据的获得、动态数据的存储格式、综合行为模型、修正和精炼系统行为模型、再测试的测试用例的获得等。编程实验表明,本方法具有实用性和可行性。