湖南省自然科学基金(05JJ30117)
- 作品数：12 被引量：12H指数：2
- 相关作者：阳小华刘杰刘树锟罗扬吴取劲更多>>
- 相关机构：南华大学湖南涉外经济学院更多>>
- 发文基金：湖南省自然科学基金湖南省教育厅科研基金湖南省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术金属学及工艺更多>>
- 基于演进思想的程序断言动态发现模型研究
- 2008年
- 程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机免疫技术的启发,为基于这一演进思想的程序断言侦测建立起一个演进模型。
- 吴取劲阳小华罗扬刘杰
- 关键词：违例免疫
- 一种函数依赖程序不变量动态检测方法被引量：2
- 2008年
- 目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.
- 刘树锟阳小华
- 关键词：程序不变量函数依赖
- 一种交互式的不变量动态发现编配工具被引量：1
- 2008年
- 发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键。重点研究了不变量的动态发现方法与程序编配原理,并在传统的编配方法基础上实现了交互式的石鼓编配工具。该工具具有预设观测点和观测变量等功能,并通过将运行轨迹收集到数据库中来实现不变量分析。并详细说明了采用内嵌法的编配工具的总体结构及实现过程。实验证明石鼓编配工具能更方便有效地发现不变量。
- 刘杰阳小华罗扬吴取劲
- 关键词：程序不变量
- C程序不变量动态发现编配工具的设计被引量：1
- 2008年
- 程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。
- 刘杰阳小华余童兰
- 关键词：程序不变量
- 基于免疫原理的期刊工作流模糊预警模型被引量：1
- 2008年
- 在期刊工作流程的领域中,应用生命体免疫原理的方法对应用系统不变性质和相应异常的问题进行了探索,并构造出相应的预警模型。该模型中最突出的特点是利用免疫机理获取得信息进行正常机体的演进,不仅能够对故障进行预警而且能够帮助应用系统自我学习,提升适应环境变化的能力。
- 吴取劲阳小华罗扬刘杰伍大清
- 关键词：工作流抗原抗体免疫
- 基于契约的程序动态分析技术研究
- 2006年
- 在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法．
- 刘树锟阳小华刘杰罗江琴
- 关键词：契约断言程序不变量
- 基于断言的程序正确性检测工具被引量：3
- 2007年
- 文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性。该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用。
- 刘杰余童兰
- 关键词：断言
- 基于合约的程序不变量动态检测模型研究被引量：1
- 2008年
- 讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。
- 刘树锟阳小华
- 关键词：程序不变量合约
- 函数依赖似然不变量发现方法研究被引量：1
- 2008年
- 不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析来获取的。以数据库理论为基础,将不变量形式分为函数依赖不变量和非函数依赖不变量,提出了函数依赖不变量动态发现方法,解决了目前试探法具有盲目性和效率不高的问题。
- 刘杰
- 关键词：程序不变量函数依赖
- 程序断言动态检测工具的设计与实现被引量：1
- 2009年
- 重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。
- 刘树锟阳小华陈继锋彭浩
- 关键词：动态检测条件查询
