一种并发程序可测试性分析框架

• 作者: 张斌 徐宝文 许蕾 陈振强
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件可测试性 并发 同步 复杂度
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1685-1689
• 页数: 5页
• 分类号: TP311
• 字数: 4360字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.12.010

摘要

软件可测试性是对测试软件难易程度的预测,在测试、度量等许多领域中得到了广泛应用.由于并发程序执行的不确定性,其可测试性分析尚有很多难点有待解决.该文提出了一种并发程序可测试性分析框架.在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上,从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析,为综合度量并发程序的可测试性提供了依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	东南大学计算机科学与工程系	118	3034	31.0	51.0
10	许蕾	东南大学计算机科学与工程系	18	685	11.0	18.0
16	陈振强	东南大学计算机科学与工程系	3	199	3.0	3.0