摘要
测试用例的数量和质量决定军事虚拟训练系统软件测试的成本和有效性。针对军事虚拟训练系统软件测试随意性较强,测试效率不高的问题,定义了军事虚拟训练活动图形式化图形符号的语法与语义,在此基础上提出了基于形式活动图的军事虚拟训练关卡测试用例设计方法,通过测试用例优化对生成的测试用例集进一步的合并简化得到最小测试用例集,通过实例对提出的基于形式活动图的军事虚拟训练关卡测试用例设计与优化方法进行了应用说明。
The cost and effectiveness of military virtual training system software testing are determined by the number and quality of test cases.Aiming at the high randomness and low testing efficiency problem on military virtual training system software test,the syntax and semantics of formal military virtual training activity diagram symbols are defined.A military virtual training scenario test case design method is proposed based on formal activity diagram.The minimum test-case sets can be achieved after optimization.Finally,the design and optimization method of the military virtual training scenario test case based on form activity diagram is introduced by an instance.
作者
张清辉
李志远
杨楠
邓博文
ZHANG Qing-hui;LI Zhi-yuan;YANG Nan;DENG Bo-wen(Information and Communication College,National University of Defense Technology,Xi’an 710106,China;Rocket Force University of Engineering,Xi’an 710025,China;Unit 96313 of PLA,Beijing 102206,China)
出处
《火力与指挥控制》
CSCD
北大核心
2019年第12期174-180,共7页
Fire Control & Command Control
关键词
军事虚拟训练
测试用例
活动图
关卡
military virtual training
test case
activity diagram
scenario
作者简介
张清辉(1984-),男,山东淄博人,博士,讲师。研究方向:军事虚拟训练,智能信息服务。
