可达性测试相关论文
随着并发系统在实际应用中的推广,并发程序的调试和测试技术的研究也受到重视。由于并发程序设计复杂,以及执行的不可确定性,并发......
可达性测试是并发程序测试的一种重要方法，具有在给定输入下生成并执行所有可行同步序列且无需记录任何历史信息等诸多优势。并发程......
可达性测试方法具有在给定输入下生成并执行所有可行同步序列且不需要记录任何历史信息等诸多优势。基于拆分的可达性测试方法,通......
