检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一个用于Java程序可达性测试的改进方案

微计算机信息 2006年第6X期22卷 252-254,36页

作者：孙玉霞陈火炎暨南大学信息学院计算机系 510632 暨南大学

Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减... 详细信息

Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能。最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系,进而减少不可行的同步序列,并介绍了相应的实现算法和数据结构。

关键词：可达性测试同步序列伯恩斯坦条件时序约束

一种Java多线程可达性测试框架系统的研究和实现

在线全文

学校读者我要写书评

暂无评论

一种Java多线程可达性测试框架系统的研究和实现

作者：李双权暨南大学

学位级别：硕士

由于并发软件的不确定性，使得并发程序的设计、开发、调试和测试都非常困难。可达性测试是并发软件测试中的一种有效方法。本文提出了一种基于共享变量读写操作分析的Java多线程程序同步序列生成策略，采用动态代理类Proxy实现了Java... 详细信息

由于并发软件的不确定性，使得并发程序的设计、开发、调试和测试都非常困难。可达性测试是并发软件测试中的一种有效方法。本文提出了一种基于共享变量读写操作分析的Java多线程程序同步序列生成策略，采用动态代理类Proxy实现了Java多线程程序确定性测试框架系统，从而实现了一个Java多线程可达性测试系统。

关键词：可达性测试测试框架系统同步序列多线程

异步消息通信环境下并发程序的可达性测试研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

异步消息通信环境下并发程序的可达性测试研究

作者：丁宁华中科技大学

学位级别：硕士

随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。但是由于并发行为的复杂性以及不确定性,使得并发程序的开发、测试和维护比传统的顺序程序困难的多。可达性测试是一种结合了... 详细信息

随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。但是由于并发行为的复杂性以及不确定性,使得并发程序的开发、测试和维护比传统的顺序程序困难的多。可达性测试是一种结合了确定性测试和非确定性测试的新的并发程序测试方法。若一个并发程序在某个特定输入数据集下可行的同步序列是有限的,则采用可达性测试方法可以实现对所有可行的同步序列的完全覆盖。可达性测试过程分为两个阶段:第一步,对非确定性测试得到的同步序列中存在的竞争条件进行识别;第二步,改变竞争条件,生成该同步序列的竞争变体,然后通过执行基于前缀的测试产生新的同步序列。这两个阶段不断迭代,直到没有新的序列生成为止。对基于异步消息传递的并发程序,现有的可达性测试方法没有考虑程序中存在的条件同步现象,导致测试过程中产生了不可行的同步序列。改进的可达性测试方法采用基于竞争依赖的路径约束(RDBC),通过改进了S/V图的生成树的路径约束条件,对条件同步情况进行了正确处理。在RDBC的基础上,实现了可达性测试的竞争变体生成算法。改进方法采用的是动态测试策略,无需建立静态模型,也不必记录任何已执行的同步序列的信息,并且改正了原有方法在存在条件同步时生成重复序列的缺点。实验表明该改进方法是正确有效的。

关键词：软件测试并发程序可达性测试同步序列竞争变体条件同步

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Ping程序在网络可达性测试中的应用

吉林广播电视大学学报 2005年第2期 111-112,125页

作者：李天科陇东学院甘肃庆阳745000

为了深入理解并全面掌握ping程序在网络测试中的应用,以下结合ping程序的原理对其功能进行了深入探讨。由此可见Internet中的某台主机能被ping通,但并不能由此肯定该主机就能被访问,而ping不通也并不意味着该主机就不能被访问。同时也... 详细信息

为了深入理解并全面掌握ping程序在网络测试中的应用,以下结合ping程序的原理对其功能进行了深入探讨。由此可见Internet中的某台主机能被ping通,但并不能由此肯定该主机就能被访问,而ping不通也并不意味着该主机就不能被访问。同时也发现应用ping程序对网络进行可达性测试时,对网络的安全也构成一定的威胁。

关键词： ping程序网络可达性测试工作原理性能测试

一种Java多线程可达性测试框架系统的研究与实现

在线全文

学校读者我要写书评

暂无评论

一种Java多线程可达性测试框架系统的研究与实现

基于扩展同步序列的Java多线程程序可达性测试方法探讨

第十届全国容错计算学术会议

作者：李双权陈火炎孙玉霞暨南大学计算机系暨南大学计算机系暨南大学计算机系

由于并发软件的不确定性,使得并发程序的调试和测试较为困难。可达性测试是并发软件测试中的一种有效方法。本文提出了一种基于共享变量读写操作分析的Java 多线程程序同步序列生成策略。我们采用动态代理类Proxy构造了Java多线程程序... 详细信息

由于并发软件的不确定性,使得并发程序的调试和测试较为困难。可达性测试是并发软件测试中的一种有效方法。本文提出了一种基于共享变量读写操作分析的Java 多线程程序同步序列生成策略。我们采用动态代理类Proxy构造了Java多线程程序确定性测试框架,实现了一个Java多线程可达性测试原型系统。

关键词：可达性测试测试框架同步序列多线程

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

电子世界 2016年第13期 168-168页

作者：陈伟广东省工商高级技工学校

随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在Java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列... 详细信息

随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在Java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列的Java多线程程序可达性测试,探讨基于扩展同步序列的可达性测试方法,旨在为我国计算机程序的编写和测试提供参考。

关键词：扩展同步序列可达性测试 Java多线程程序

在线全文

学校读者我要写书评

暂无评论

一种并行程序可靠组合测试策略

华中科技大学学报（自然科学版） 2009年第6期37卷 4-7页

作者：濮方琍卢炎生华中科技大学计算机科学与技术学院湖北武汉430074

为了提高可达性测试的效率、可靠性和可操作性,提出了一种并行程序可靠组合测试策略.首先确定并行程序同步串中竞争接收项的向量时钟关系;然后构造初始竞争表(RT);接着根据横向增长规则和纵向增长规则对RT进行增长,直至并行程序同步串... 详细信息

为了提高可达性测试的效率、可靠性和可操作性,提出了一种并行程序可靠组合测试策略.首先确定并行程序同步串中竞争接收项的向量时钟关系;然后构造初始竞争表(RT);接着根据横向增长规则和纵向增长规则对RT进行增长,直至并行程序同步串所有的竞争接收项均包含在RT中;最后根据竞争表RT产生竞争变体并进行可达性测试.该策略能保证每个竞争接收项的发送项均发生改变,同时减少竞争接收项的发送项改变次数和运行错误同步串的次数,硬件资源要求不高.实验证明该策略能减少测试同步串和竞争变体的数量,并提高测试的效率、可靠性和实际可操作性.

关键词：并行程序可达性测试并行测试软件测试测试策略

在线全文

学校读者我要写书评

暂无评论

ASRSP——一种新的并发程序测试准则

计算机科学 2008年第2期35卷 268-273页

作者：卢炎生卢超华中科技大学计算机科学与技术学院武汉430074

可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成。因此,目前亟需能投入实际应用的并发程序测... 详细信息

可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成。因此,目前亟需能投入实际应用的并发程序测试准则和相应的测试序列生成算法。本文提出了一种实用性较高的并发程序测试准则:全发送接收语句对(ASRSP),并针对该准则提出了一种新的并发程序测试方法:全发送接收语句对可达性测试(ASR-SP-RT)。该方法利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对,并在每次生成新序列之后及时去掉对覆盖剩下发送接收语句对无作用的序列,从而达到约简测试序列集的目的。

关键词：软件测试测试准则可达性测试并发全发送接收语句对

在线全文

学校读者我要写书评

暂无评论

基于变体的并发程序测试及其实验研究

基于变体的并发程序测试及其实验研究

作者：颉佳宇东南大学

学位级别：硕士

可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通过生成细粒度的同步交织序列,解决了可达性测试因生成的测试用例集不够充分而不能有效探测并发程序中同步... 详细信息

可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通过生成细粒度的同步交织序列,解决了可达性测试因生成的测试用例集不够充分而不能有效探测并发程序中同步错误等问题。但现有的基于拆分的可达性测试方法仍然无法生成不同锁对象上同步事件之间的充分交织,不能有效探测并发程序中因使用错误的锁对象保护共享变量而导致的同步错误。为此,本文提出一种基于锁对象的拆分方法。该方法首先通过静态分析技术分析相关代码,找出没有被相同锁对象保护的共享变量,然后选取相同的锁对象对这些共享变量的访问代码进行拆分,生成不同管程对象上的同步事件的交织序列,从而暴露出并发程序中因使用错误的锁对象保护共享变量而导致的同步错误。为了提高拆分效率,本文提出了拆分点识别及排序算法,通过比较拆分点上下文中访问没有被相同锁对象保护的共享变量的次数确定拆分点的优先顺序。同时根据相关方法访问共享变量的次数确定相关方法拆分的有限顺序。在上述工作的基础上,本文设计并实现了基于锁对象拆分策略的可达性测试工具LockSplitRichTest探测并发错误,并选取了 9个具有代表性的并发程序开展实验研究,通过实验与原可达性测试工具(RichTest)、基于拆分策略的可达性测试工具SplitRichTest以及基于错误模式的并发错误预测工具(Pecan)进行比较,验证了基于锁对象的拆分方法的有效性。实验结果表明,LockSplitRichTest可有效提高探测并发程序同步错误探测能力。RichTest的同步错误探测率为46.27%,SplitRichTest的同步错误探测率为78.61%,LockSplitRichTest的同步错误探测率为95.52%,PECAN的同步错误探测率为47.26%。最后通过Apache中pool实例验证了 LockSplitRichTest工具的实用性。

关键词：并发程序可达性测试变异算子锁