在对复杂的软件系统进行测试时，生成的系统状态空间可能会非常庞大．为了避免对整个状态空间进行遍历，提出将on-the-fly方法与CPN形式化
2017-12-25 16:11
使用UML生成场景测试用例，有利于测试者设计测试用例。使用UML的类图、
2009-03-31 09:49
针对传统Web测试用例生成方法因缺少权限性和时序性考虑而产生的误判断问题，提出结合基于统一建模语言（UML）活动图与状态
2018-01-07 12:25
为解决基于集合进化算法（SEA）的弱变异测试用例集生成过程中个体规模固定和执行开销大的问题，提出一种基于动态集合进化算法（ DSEA）的弱变异测试用
2017-11-28 16:11
嵌入式软件运行剖面建模及测试用例生成 航天应用中的大部分软件都是嵌入式软件，可靠性要求很高，因此，对其进
2010-04-21 15:31
程序控制流的设计是为实现正确的数据流服务的，数据流测试是非常重要的。文中将面向al-uses数据流准则的测试用例生成问题建模
2021-05-07 10:28
方法。TASMO不仅可以测量覆盖率，还可以通过自动生成测试数据来填补覆盖率的空白。在TPT 19中，TASMO更进一步，因为测试用例可以直接从形式化的需求中创建。
2023-11-06 17:30 北汇信息POLELINK 企业号
随着软件行业的快速发展，软件测试的作用也越来越大，自动化测试用例生成方法也越来越多。如何找到一种高效的测试用
2018-01-15 10:38
适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置，然而在某些特殊的程序中，如存在嵌套、非结构性跳转或因return，break等语句跳出循环的程序，已有的适应度函数无法评价到所有的分支
2018-01-15 15:23
本文针对多因素二水平系统提出:将所有的测试数据表示为一棵二叉解空间树,用回溯法对二叉解空间树进行路径搜索来生成测试用例,然后使用贪心算法
2010-03-01 14:52
