您的位置： 专家智库 > >

黄小波

作品数：1 被引量：0H指数：0
供职机构：湖南涉外经济学院更多>>
发文基金：湖南省教育厅科研基金湖南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇基于JAVA
  • 1篇建模语言
  • 1篇不变量
  • 1篇程序不变量

机构

  • 1篇湖南涉外经济...

作者

  • 1篇刘树锟
  • 1篇吴沛林
  • 1篇莫正杰
  • 1篇黄小波

传媒

  • 1篇电脑开发与应...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Java建模语言的不变量检测工具
2012年
结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用。分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程。阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题。
刘树锟莫正杰吴沛林黄小波
关键词：程序不变量
全选 清除 导出
共1页<1>
聚类工具0