并发程序测试相关论文
随着并发系统在实际应用中的推广,并发程序的调试和测试技术的研究也受到重视。由于并发程序设计复杂,以及执行的不可确定性,并发......
给定某并发程序执行轨迹,基于约束求解的并发测试方法将并发错误模式和执行轨迹的可行性要求转化为一组约束条件,通过约束求解生成......
并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程......
