谓词切片相关论文
字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径Path上给定谓词的谓......
字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径Path上给定谓词的谓......
软件测试是保证软件可靠性的一个重要手段。面向路径测试是软件测试中一种重要方法。提出了一种分支函数线性逼近的测试数据自动生......
