区间削减相关论文
随着人们对软件质量的日益关注，软件测试作为保证软件质量，提高软件可靠性的重要手段也逐渐成为软件开发过程中关键的一部分。但是传......
程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析。本文应用区间算术在测试数据生成阶段对约束集求解。由......
在面向对象软件测试中,为了降低根据方法参数的约束条件生成测试数据的复杂性,提出了从前置条件的属性约束、测试消息序列的谓词约......
