文献类型：期刊文章

作　　者：张琛[1,2] 段振华[1,2]

机构地区：[1]西安电子科技大学计算理论与技术研究所,西安710071 [2]西安电子科技大学ISN国家重点实验室,西安710071

出　　处：《西安交通大学学报》

基　　金：国家重点基础研究发展规划资助项目(2010CB328102);国家自然科学基金资助项目(60433010;60873018;60910004;91018010;61003078;61003079);教育部高等学校博士学科点专项科研基金资助项目(200807010012);中央高校基本科研业务费专项资金资助项目(JY10000903004)

年　　份：2011

卷　　号：45

期　　号：8

起止页码：18-23

语　　种：中文

收录情况：BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20113614310486)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例,该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明,该方法不仅能够提高软件的测试效率,而且还确保了针对管理员的执行动作所产生的测试用例的正确性.

关 键 词：测试用例 命题投影时序逻辑 模型检测  覆盖准则  

分 类 号：TP311]