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

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

Overview of Tools for Detecting Invariants Based on Java Modeling Language

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
  • 维普
结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用.分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程.阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题.

刘树锟、莫正杰、吴沛林、黄小波

展开 >

湖南涉外经济学院计算机科学与技术学院,长沙410205

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

湖南省自然科学基金湖南省教育厅资助项目湖南涉外经济学院2010年度校级重点科研项目2011年湖南涉外经济学院大学生研究性学习和创新性实验计划

10JJ609211B073417

2012

电脑开发与应用
中国北方自动控制技术研究所

电脑开发与应用

影响因子：0.265
ISSN：1003-5850
年,卷(期)：2012.25(5)
  • 2