基于事件约束的并发程序测试方法研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-17页 |
| ·软件测试的研究现状 | 第8-10页 |
| ·并发程序测试的研究现状 | 第10-12页 |
| ·并发程序测试的研究内容 | 第12-16页 |
| ·本文的研究内容与组织 | 第16-17页 |
| 2 并发程序测试 | 第17-29页 |
| ·并发程序的测试难点 | 第17-20页 |
| ·并发程序的测试方法 | 第20-23页 |
| ·基于事件约束的并发程序测试 | 第23-27页 |
| ·小结 | 第27-29页 |
| 3 EE-CSPE 事件约束 | 第29-38页 |
| ·事件依赖关系 | 第29-31页 |
| ·EE-CSPE 约束 | 第31页 |
| ·EE-CSPE 约束的推导规则 | 第31-34页 |
| ·EE-CSPE 约束的一致性 | 第34-37页 |
| ·小结 | 第37-38页 |
| 4 基于EE-CSPE 约束的并发程序测试 | 第38-43页 |
| ·事件序列的收集 | 第38页 |
| ·基于EE-CSPE 约束的验证规则 | 第38-41页 |
| ·基于EE-CSPE 约束的测试步骤 | 第41页 |
| ·小结 | 第41-43页 |
| 5 实例分析 | 第43-51页 |
| ·哲学家就餐问题 | 第43-46页 |
| ·生产者-消费者问题 | 第46-49页 |
| ·小结 | 第49-51页 |
| 6 结束语 | 第51-53页 |
| ·本文总结 | 第51-52页 |
| ·进一步工作 | 第52-53页 |
| 致谢 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 附录 攻读学位期间发表的学术论文 | 第58页 |
