对Java并发程序进行模型检测

• 作者: 周志远 张大方 缪力
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 模型检测 程序分析 并发程序 程序验证 软件测试
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 计算机软件与算法
• 页码范围: 370-373
• 页数: 4页
• 分类号: TP311.5
• 字数: 4390字
• 语种: 中文

摘要

随着多核处理器的发展,多线程并发程序成为现代程序设计的趋势.但并发线程的执行存在不确定性,传统的测试方法很难发现这类错误.针时这个问题,提出了一种直接分析Java源代码,从中提取并发程序模型的方法;并以此方法为基础开发了工具JTS(Java to SPIN),实现了对Java并发程序的自动化分析和模型检测.实验表明JTS能够成功地检测出Java并发程序中存在的错误并给出相应的错误路径.这项工作给Java并发程序的测试与验证提供了新的途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张大方	湖南大学软件学院	295	2498	22.0	33.0
2	缪力	湖南大学软件学院	35	167	8.0	10.0
3	周志远	湖南大学软件学院	3	16	2.0	3.0