可达性测试相关论文
随着并发系统在实际应用中的推广,并发程序的调试和测试技术的研究也受到重视。由于并发程序设计复杂,以及执行的不可确定性,并发......
可达性测试是并发程序测试的一种重要方法，具有在给定输入下生成并执行所有可行同步序列且无需记录任何历史信息等诸多优势。并发程......
可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通......
随着并发系统在现代软件开发中的应用日益广泛,并发程序的调试、测试技术的研究已经引起了人们的高度重视。但是由于并发行为的复......
传统的可达性测试算法可以解决消息传递并行程序测试中的完全性问题,但存在状态空间爆炸的问题,测试开销大.本文通过考虑网络带宽......
可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题。但研究表明,对于一般规模......
为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误，提出一种基于扩展......
在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。随着多核处理器和并行分布式系统的不断发展,并发程序设计方法受到......
为了提高在Java程序可达性测试中的同步序列生成效率，提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集，避免或减少了不......
随着Internet的急速发展，大型Web应用已经成为传播信息的媒介、发布信息的平台。Web应用的规模大幅增加，新兴技术不断涌现，使得Web应......
在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。随着并行分布式系统和网络技术的不断发展,并行程序得到广泛应用。......
Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,......
由于并发软件的不确定性，使得并发程序的设计、开发、调试和测试都非常困难。可达性测试是并发软件测试中的一种有效方法。本文提出......
随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可......
