论文部分内容阅读
软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试,为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出一种基于UML模型的统计测试方法。建立基于UML模型的统计测试过程,结合形式化描述,给出从UML模型导出使用模型的形式化算法,并基于卫星控制系统,说明方法的有效性。