• 基于Petri网的并发程序测试路径生成

    基于Petri网的并发程序测试路径生成

    论文摘要随着并发软件的广泛应用,并发软件的测试成为很多学者的研究对象。然而,并发程序执行测试路径时的不确定性使其测试难度加剧。Petri网在描述并发方面具有其它系统模型无法比拟...
  • 并发程序调试的追踪/重演机制研究

    并发程序调试的追踪/重演机制研究

    论文题目:并发程序调试的追踪/重演机制研究论文类型:硕士论文论文专业:计算机软件与理论作者:曾奕导师:徐宝文关键词:并发程序,进程,消息传递,通信,追踪,重演,检查点,消息记录...
  • 基于重放的并发程序调试技术研究

    基于重放的并发程序调试技术研究

    论文题目:基于重放的并发程序调试技术研究论文类型:硕士论文论文专业:计算机软件与理论作者:左赋斌导师:徐宝文关键词:并发程序,并发调试,进程,消息队列,通信,追踪重放文献来源:...