| 一种并发程序可测试性分析框架 |
| |
| 引用本文： | 陈振强,徐宝文,许蕾,张斌.一种并发程序可测试性分析框架[J].计算机学报,2003,26(12):1685-1689. |
| |
| 作者姓名： | 陈振强 徐宝文 许蕾 张斌 |
| |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072;江苏省软件质量研究所,南京,210096 |
| |
| 基金项目： | 国家自然科学基金 (60 0 730 1 2 )，国家“九七三”重点基础研究发展规划项目 (G1 9990 32 70 1 )，江苏省自然科学基金 (BK2 0 0 1 0 0 4 )，高等学校重点实验室访问学者基金，武汉大学软件工程国家重点实验室开放基金，江苏省计算机信息处理技术重点实验室开放基 |
| |
| 摘 要： | 软件可测试性是对测试软件难易程度的预测，在测试、度量等许多领域中得到了广泛应用．由于并发程序执行的不确定性，其可测试性分析尚有很多难点有待解决．该文提出了一种并发程序可测试性分析框架．在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上，从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析，为综合度量并发程序的可测试性提供了依据．
|
| 关 键 词： | 并发程序 可测试性分析 软件测试 软件分析 软件开发 |
| 修稿时间： | 2002年6月3日 |
A Framework to Analyze Testability of Concurrent Programs |
| |
| CHEN Zhen-Qiang XU Bao-Wen XU Lei ZHANG Bin.A Framework to Analyze Testability of Concurrent Programs[J].Chinese Journal of Computers,2003,26(12):1685-1689. |
| |
| Authors: | CHEN Zhen-Qiang XU Bao-Wen XU Lei ZHANG Bin |
| |
| Abstract: | Software testability is the degree to which a system facilitates the establishment of test criteria and the performance of tests to determine whether those criteria have been met. It has been widely used in testing, measurement, etc. Since the execution of concurrent programs is non-deterministic, there are many issues to be solved in analyzing testability of concurrent programs. The paper proposes a framework to analyze testability for concurrent programs. In this framework, we analyze the data flow and control flow of the programs and the influence of concurrency and synchronization. Based on such information, we propose the testability measure from four facets: independent concurrent units, concurrency, shared variables and communication factors. This gives a guideline to measure the testability of concurrent programs. |
| |
| Keywords: | software testability concurrency synchronization complexity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
