基于Java建模语言的不变量检测工具  

Overview of Tools for Detecting Invariants Based on Java Modeling Language

作　　者：刘树锟[1] 莫正杰[1] 吴沛林[1] 黄小波[1] 

机构地区：[1]湖南涉外经济学院计算机科学与技术学院,长沙410205

出　　处：《电脑开发与应用》2012年第5期1-3,共3页Computer Development & Applications

基　　金：湖南省自然科学基金项目(10JJ6092);湖南省教育厅资助科研项目(11B073);湖南涉外经济学院2010年度校级重点科研项目(No.4);2011年湖南涉外经济学院大学生研究性学习和创新性实验计划(No.17)

摘　　要：结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用。分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程。阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题。The concept of program invariant is described combined with java modeling language in this paper. The important role of program invariant in the software quality is showed with the technology of static analyzing and dynamical analyzing. In this paper two kinds of tools of detecting program invariant with the name Daikon and Diduce are introduced separately. The main functions of Daikon and Diduce are explicated and the invariants detecting processes are showed. The common characters of the invariants detecting tools are summarized. Based on the common features,the theory model of invariants detecting is expressed in detail. At last, the main 1oroblems of Daikon and Diduce are analvzed.

关 键 词：Java建模语言 程序不变量 diduce daikon 运行轨迹 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]