检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张清辉 李志远[1] 杨楠 邓博文 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)
机构地区:[1]国防科技大学信息通信学院,西安710106 [2]火箭军工程大学,西安710025 [3]解放军96630部队,北京102206
出 处:《火力与指挥控制》2019年第12期174-180,共7页Fire Control & Command Control
摘 要:测试用例的数量和质量决定军事虚拟训练系统软件测试的成本和有效性。针对军事虚拟训练系统软件测试随意性较强,测试效率不高的问题,定义了军事虚拟训练活动图形式化图形符号的语法与语义,在此基础上提出了基于形式活动图的军事虚拟训练关卡测试用例设计方法,通过测试用例优化对生成的测试用例集进一步的合并简化得到最小测试用例集,通过实例对提出的基于形式活动图的军事虚拟训练关卡测试用例设计与优化方法进行了应用说明。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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145