| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一种并发程序可测试性分析框架 |
| 作者 | 陈振强 徐宝文 许蕾 张斌 |
| 作者单位 | （东南大学计算机科学与工程系 南京 210096） （武汉大学软件工程国家重点实验室 武汉 430072） (江苏省软件质量研究所 南京 210096) |
| 发表年份 | 2003 |
| 发表月份 | 12期(页码：1685-1689) |
| 文章摘要 | 摘要 软件可测试性是对测试软件难易程度的预测，在测试、度量等许多领域中得到了广泛应用.由于并发程序执行的不确定性，其可测试性分析尚有很多难点有待解决.该文提出了一种并发程序可测试性分析框架.在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上，从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析，为综合度量并发程序的可测试性提供了依据. 关键词 软件可测试性；并发；同步；复杂度 中图法分类号 TP311 |