排序方式: 共有21条查询结果,搜索用时 15 毫秒
1.
在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模表示方式。本文主要探讨面向对象程序回归测试中的用例选择技术,对程序对应的EFSM模型进行数据依赖和控制依赖分析,确定程序中修改部分的波及影响,再进行测试用例的选择。 相似文献
2.
分支测试中测试路径用例的简化生成方法 总被引:8,自引:0,他引:8
结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略.通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Find_SemiUE;还给出了基于正(逆)向广度(深度)生成树的分支测试路径用例集的简化生成算法Generate_PathSet,该算法在时间和空间开销上较FTPS算法均有较大提高.此外,所证明的关于DD图的结论也值得借鉴用于该图的更深一步研究. 相似文献
3.
面向对象簇级测试中类间测试序确定方法研究 总被引:4,自引:0,他引:4
通过对传统的对象关系图进行扩展,提出了EORD图和WORD图的概念.在确定类间测试序时,把需要生成的存根数目作为优化目标,还定义了联系强度、成环权重、边向因子等启发式规则,并将此作为剪去关联边破除环路的重要准则.分析目前已有算法的优缺点,提出了我们的确定类间测试序的AICTO算法.该算法首先着重处理环偶对中的关联边,较大地提高了算法效率,还具有创建存根时涉及到的类的数目少、能保留关联强度大的边和稳定性好等优点,并在原型系统CppTest中进行了实现. 相似文献
4.
基于依赖性分析的回归测试用例选择 总被引:1,自引:1,他引:1
在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模袁示方式.本文主要探讨面向对象程序回归测试中的用例选择技术,对程序对应的EFSM模型进行数据依赖和控制依赖分析,确定程序中修改部分的波及影响,再进行测试用例的选择. 相似文献
5.
由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则. 相似文献
6.
基于时间戳的并行实时事务调度策略 总被引:2,自引:0,他引:2
传统并行事务处理方法不适用于实时数据库,对几种相关事务调度策略进行比较,提出一种基于时间戳的并行实时事务调度策略TS-PRTTS(Timestamp based Parallel Real-Time Transaction Scheduling),采用M/G/1队列模型,利用时间戳控制子事务同步.实验证明,该策略能较好协调同步控制与通信代价矛盾,在系统负荷较重以及数据倾斜、访问倾斜问题较突出时具有良好的性能。 相似文献
7.
8.
构件软件测试技术研究进展 总被引:18,自引:0,他引:18
软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态.然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题.分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望. 相似文献
9.
10.
死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示. 相似文献