谓词函数相关论文
通过构造新的程序流图，利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念，并给出了代价的......
提出了一种新的带数组和循环的路径测试数据自动生成的方法。该方法只考虑数组中与路径中谓词函数有关的数组元素，将循环中的同一变......
软件测试工具很难达到通用的目标，大多数该类工具都是具体针对某一种或几种程序语言的。对于目前我军常用的程序编写语言开发相应的......
提出了一种新的基于路径测试数据自动生成的算法. 该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量......
研究了Gupta方法中的无法找到测试数据的问题;提出了一种算法来解决这一问题,提高了软件测试数据自动生成的有效性.......
提出了一种基于数据流准则的测试数据自动生成的算法。该算法采用ALL-DU—PATHS覆盖准则．应用Warshall算法来计算判定DU对的可行可......
关系模型是数据库中常用的模型之一,使用较广,但并非尽善尽美,还有待改善。根据这个想法,我们试图将模型看成是较大图象的一部分,......
测试数据生成的自动化可以极大地促进软件测试效率和软件质量可靠性的提高。迭代张弛法是面向路径类的测试数据自动生成方法中最具......
