江苏省自然科学基金(BK2005060)
- 作品数：12 被引量：136H指数：6
- 相关作者：徐宝文聂长海史亮王子元陈振宇更多>>
- 相关机构：东南大学国防科学技术大学南京航空航天大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 补充生成测试用例的优先级设定与动态调整算法被引量：2
- 2009年
- 测试用例优先级技术是一种实用高效的回归测试技术,然而现有各种优先级技术均围绕待复用的测试用例集,忽视了对补充生成测试用例的优先级设定和调整方法的讨论.针对这一问题,在现有研究基础上提出一种面向补充生成测试用例优先级的设定与动态调整方法,讨论这种方法在并行环境下的应用问题,最后通过一个实例研究表明:新方法能够有效地提高补充生成测试用例的使用效率.
- 屈波徐宝文聂长海
- 统计测试中操作剖面的一种优化设计方法被引量：3
- 2008年
- 为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.
- 万晓民张德平聂长海徐宝文
- 关键词：软件测试操作剖面测试剖面
- 相邻因素组合测试用例集的最优生成方法被引量：29
- 2007年
- 软件系统是一个复杂的逻辑系统,有很多因素可能影响系统的正常运行,组合测试可以对这些因素及其相互作用可能对系统产生的影响进行检测.针对一类只在相邻因素间存在相互作用的系统,文中提出了相邻因素组合测试的概念,分别给出了相邻因素两两(二维)组合覆盖表、相邻因素N(N2)维组合覆盖表和多重维数相邻因素组合覆盖表的生成算法,并证明了3个算法均可以生成数量最优的相邻因素组合测试用例集.最后通过实际应用场景,分析了相邻因素组合测试的应用价值.
- 王子元聂长海徐宝文史亮
- 关键词：软件测试测试用例生成
- 一种新的二水平多因素系统两两组合覆盖测试数据生成算法被引量：25
- 2006年
- 作者系统地研究了使用已有方法对二水平多因素系统(以下简称SM2)生成的两两组合覆盖的测试数据,针对已有方法对该具体问题效果并不理想的情况,利用组合分析方法,给出了一种新的SM2测试数据生成算法,与几种现有的方法相比,生成的测试数据具有数量少、效率高的优点.将其应用于Linux的一些源代码测试以及软件配置测试的测试方案设计,结果表明生成的测试数据具有较高的代码覆盖率和错误检测能力.
- 聂长海徐宝文史亮
- 关键词：软件测试测试数据
- 基于解空间树的组合测试数据生成被引量：37
- 2006年
- 在组合覆盖测试模型的基础上提出:将所有的可用测试数据表示为一棵解空间树,利用回溯法对解空间树进行路径搜索来生成测试数据,然后使用贪心算法补充生成测试数据,以满足两两组合覆盖标准.并且实现了基于该方法的测试数据生成工具,所生成的测试数据集与同类工具相比具有一定的特点和优势.
- 史亮聂长海徐宝文
- 关键词：软件测试测试数据生成软件工程
- 一种基于模型检验的类测试用例生成方法被引量：9
- 2007年
- 提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.
- 梁陈良聂长海徐宝文陈振宇
- 关键词：软件测试时序逻辑测试用例
- 划分测试中测试用例最优分配问题研究被引量：7
- 2005年
- 研究了划分测试中每个子域错误率已知,测试资源受约束时,测试用例如何合理分配的优化问题.主要考虑了两类测试用例分配问题:测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配,证明了带约束的测试用例最优分配问题是一个NPC问题.给出了动态规划求解方法,从理论上证明了该方法是最优的,并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较,用实验数据验证了该方法能合理利用有限测试资源,有效地提高缺陷检测能力.
- 张德平聂长海徐宝文
- 关键词：测试资源动态规划
- 一种并行环境下测试用例优先级技术度量方法
- 2009年
- 为了解决并行环境下的测试用例优先级技术度量问题,首先对现有度量方法的性质进行了分析,指出了现有度量方法在物理意义和扩展性等方面的局限性.然后针对并行环境下多处理队列的特性,综合考虑错误检测能力及测试开销等因素,对测试用例序列的性能进行评估,提出了一种新的测试用例优先级技术度量方法,并给出了相应的计算公式和实例研究.在此基础上,通过引入一种相对度量,解决了并行环境下度量结果的比较问题,并推导出一种常见情景下的计算公式,用于均匀划分情况下的简化计算和比较.
- 屈波徐宝文聂长海王子元
- 关键词：并行环境
- 一种基于组合测试的Web应用兼容性故障诊断方法被引量：4
- 2006年
- Web应用兼容性故障诊断涉及到种类繁多的软硬件设备、数目庞大的设备品牌和型号以及各种情况的组合,如何有效而又快速地对故障定位是一项很重要的工作。针对Web应用兼容性测试的特性以及组合测试的基本模型和特征,我们对组合测试的结果进行分析,根据初步分析结果补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,为Web应用兼容性的调试和测试工作提供方便、有价值的线索和参考。
- 许蕾聂长海徐宝文
- 关键词：WEB应用故障诊断
- 一种基于组合测试的软件故障调试方法被引量：44
- 2006年
- 在研究了组合测试基本模型的基础上,提出了一种基于组合测试的故障原因诊断方法.该方法基于组合测试的结果,补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考.
- 徐宝文聂长海史亮陈火旺
- 关键词：软件测试测试用例集
