基于STGA的并发程序测试
| 第1章 引言 | 第1-15页 |
| ·测试 | 第9页 |
| ·顺序程序测试 | 第9-12页 |
| ·黑盒测试 | 第9-10页 |
| ·白盒测试 | 第10-11页 |
| ·测试流程 | 第11页 |
| ·测试种类 | 第11-12页 |
| ·并发程序测试 | 第12-14页 |
| ·本文的主要工作 | 第14页 |
| ·本文的组织 | 第14-15页 |
| 第2章 并发程序测试简介 | 第15-19页 |
| ·同步错误 | 第15页 |
| ·并发程序测试方法 | 第15-17页 |
| ·非确定性测试 | 第15-16页 |
| ·确定性测试 | 第16-17页 |
| ·综合性测试 | 第17页 |
| ·同步序列生成 | 第17-19页 |
| 第3章 LTS、CCS和STGA | 第19-31页 |
| ·LTS | 第19页 |
| ·CCS | 第19-25页 |
| ·基本CCS | 第20-21页 |
| ·传值CCS | 第21-25页 |
| ·STGA | 第25-31页 |
| 第4章 同步序列的生成 | 第31-35页 |
| ·从LTS中生成同步序列 | 第31页 |
| ·从STGA图生成同步序列 | 第31-35页 |
| 第5章 符号同步序列的覆盖率标准 | 第35-39页 |
| 第6章 测试实例与分析 | 第39-46页 |
| 第7章 结论 | 第46-47页 |
| 参考文献 | 第47-49页 |
| 附录A MSMIE协议的VP描述 | 第49-52页 |
| 附录B 满足路径覆盖的同步序列组 | 第52-53页 |
| 附录C 满足动作组覆盖的同步序列组 | 第53-54页 |
| 在学期间发表论文 | 第54-55页 |
| 致谢 | 第55页 |
