随着信息技术的发展,软件规模不断扩大,如何保证和提高软件质量成为软件工程最为关心的问题之一。软件测试作为保证软件质量的关键......

本文研究了一类三阶和一类四阶时滞微分方程零解的稳定性和所有解的有界性问题，通过yapunov第二方法，构造yapunov泛函，得到了使它们的......

一、概论　　如何提高软件质量是软件工程致力解决的关键问题之一。软件测试和验证是保证软件正确性和提高可靠性的最基本和最重要......

选择测试充分性准则对软件的测试是至关重要的.本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和......

文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时，还没有测试充分性准则明确定义循环应该被执行多少次，而循环......

变异测试是一种行之有效的软件测试方法，通过使用变异算子产生变异体系统地模拟软件中的各种缺陷，然后构造能够杀死这些变异体的测试......

建立了故障模式与被测单元(UUT)特性之间的关系模型,根据关系模型建立了样本集的通用充分性准则.在通用充分性准则的基础上,研究了......

充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性......

软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力.对充分性判别准......

软件测试是保障软件质量的重要手段，是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史．讨论了软件测试技术的研究......