基于线程调度顺序控制的多线程程序测试

• 作者: 李婧
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 多线程程序 测试 软件可靠性 线程调度 数据竞争
• 年，卷（期）: 2017,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 50-55
• 页数: 6页
• 分类号: TP302.8
• 字数: 6586字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2017.06.010

摘要

随着多核技术越来越普及,多线程程序的编程也越来越流行.但是多线程程序的正确性问题已经严重影响软件可靠性,且现有的测试技术不能很好地满足多线程程序的需求.本文重点研究多线程程序中最常见的一种bug,即数据竞争,提出一种基于线程调度顺序控制的测试方法.该方法混合静态方法和动态方法,能够有效地找到多线程程序中存在的数据竞争,且能够区分出哪些数据竞争是有害的,需要程序员优先修复.实验结果显示,对于数据竞争的触发概率,本文的方法使其平均从0.53％提高到79.2％,且本文所引入的运行时开销平均只有80％,与相关方法所引入370％的开销相比更优.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李婧		3	1	1.0	1.0