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

摘要	第1-5页
ABSTRACT	第5-8页
1 绪论	第8-14页
·课题背景	第8-10页
·国内外研究现状	第10-13页
·课题主要研究工作	第13-14页
2 可达性测试方法	第14-20页
·并发程序的错误类型	第14-15页
·确定性测试	第15-16页
·非确定性测试	第16-17页
·可达性测试	第17-19页
·小结	第19-20页
3 异步消息传递程序的消息竞争分析	第20-31页
·FIFO 异步消息传递模型	第20-21页
·消息传递的同步序列模型	第21-22页
·事件等价性	第22-23页
·异步消息传递程序的竞争分析	第23-26页
·可达性测试中存在的问题	第26-28页
·改进的可达性测试框架	第28-29页
·小结	第29-31页
4 改进的可达性测试竞争变体生成方法	第31-55页
·序列变体图（S/V GRAPH）	第31-32页
·S/V 图路径约束思想	第32-33页
·路径约束	第33-36页
·基于竞争依赖的路径约束RDBC	第36-43页
·竞争变体的生成方法	第43-53页
·小结	第53-55页
5 实验分析	第55-60页
·软硬件平台	第55页
·测试环境	第55页
·实验设计	第55-57页
·实验结果	第57-60页
6 总结与展望	第60-62页
致谢	第62-63页
参考文献	第63-69页
附录 攻读学位期间发表学术论文目录	第69页