您的位置： 专家智库 > >

莫正杰

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

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇基于JAVA
  • 1篇建模语言
  • 1篇合约
  • 1篇C#
  • 1篇C#语言
  • 1篇不变量
  • 1篇程序不变量

机构

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

作者

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

传媒

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

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Java建模语言的不变量检测工具
2012年
结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用。分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程。阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题。
刘树锟莫正杰吴沛林黄小波
关键词：程序不变量
基于C#语言的程序合约动态抽取工具
2013年
文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程，包括变量轨迹的提取和动态检测思想。针对二元关系和三元关系的检测原理和实现过程进行了详细的描述。实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能。
刘树锟莫正杰吴沛林
全选 清除 导出
共1页<1>
聚类工具0