摘要
软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试,为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出一种基于UML模型的统计测试方法。建立基于UML模型的统计测试过程,结合形式化描述,给出从UML模型导出使用模型的形式化算法,并基于卫星控制系统,说明方法的有效性。
Software statistical testing is concerned with testing software systems based on their usage model,in order to enhance the feasibility,testability of statistical testing and degrade the difficulty of constructing the usage model,after researched on the UML as the industry-standard,brought forward a UML-based statistical testing method.In this paper,the UML-based statistical testing procedure was firstly proposed,then presented a formalized algorithm of deriving usage model from UML mode,and took the SCS as an example.
出处
《计算机与数字工程》
2008年第1期20-22,25,共4页
Computer & Digital Engineering
