分支函数极小化相关论文
字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径Path上给定谓词的谓......
基于选择性冗余思想，提出了一种测试数据自动生成算法．算法首先利用分支函数线性逼近和极小化方法，找出程序中所有可行路径，同时对部分......
软件测试是保证软件可靠性的一个重要手段。面向路径测试是软件测试中一种重要方法。提出了一种分支函数线性逼近的测试数据自动生......
