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

作     者：周志远 张大方 缪力 ZHOU Zhi-yuan;ZHANG Da-fang;MIAO Li

作者机构：湖南大学软件学院湖南长沙410082 

基　　金：国家自然科学基金项目(60673155 90718008) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2009年第30卷第2期

页      码：370-373页

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

主 题 词：模型检测 程序分析 并发程序 程序验证 软件测试 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2009.02.023

馆 藏 号：203311069...