计算机工程 , Computer Engineering, 编辑部邮箱 , 2011年18期

【作者】 李晓庆； 崔健； 蔡立志；
【机构】 上海计算机软件技术开发中心； 上海市计算机软件评测重点实验室； 上海海事大学信息工程学院；
【摘要】 UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。
【基金】 国家“863”计划基金资助重点项目“新概念高效能计算机体系结构及系统研究开发”(2009AA012201);上海市科学技术委员会科研基金资助项目“软件专业技术服务平台建设与完善”(10DZ2291800);上海市科委重大科技攻关计划基金资助项目“新概念高效能计算机体系结构及系统研究开发”(08dz501600)