湖南省自然科学基金(05JJ30117)

作品数：12被引量：12H指数：2
导出分析报告
相关作者：阳小华刘杰刘树锟罗扬吴取劲更多>>
相关机构：南华大学湖南涉外经济学院更多>>
相关期刊：《计算技术与自动化》《微电子学与计算机》《计算机应用与软件》《计算机应用研究》更多>>
相关主题：程序不变量函数依赖断言动态检测免疫更多>>
相关领域：自动化与计算机技术金属学及工艺更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序不变量检测技术被引量：3
《计算机工程与科学》2011年第3期108-112,共5页刘树锟 阳小华 
湖南省教育厅基金资助项目(08C516);湖南省自然科学基金资助项目(05JJ30117)
基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程...
关键词：程序不变量 检测技术 程序编配 运行追踪 
程序断言动态检测工具的设计与实现被引量：1
《计算机应用研究》2009年第11期4140-4142,共3页刘树锟 阳小华 陈继锋 彭浩 
湖南省教育厅基金资助项目(08C516);湖南省自然科学基金资助项目(05JJ30117);湖南省教育厅重点基金资助项目(07A034)
重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设...
关键词：程序断言 动态检测 软件可靠性 条件查询 
C程序不变量动态发现编配工具的设计被引量：1
《微计算机信息》2008年第12期233-234,237,共3页刘杰 阳小华 余童兰 
湖南省自然科学基金资助课题(项目名称:程序断言动态生成技术(05JJ30117)
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的...
关键词：程序不变量 不变量动态发现 编配工具 
基于合约的程序不变量动态检测模型研究被引量：1
《计算机工程与设计》2008年第23期6177-6180,共4页刘树锟 阳小华 
湖南省教育厅基金项目(08C516);湖南省自然科学基金项目(05JJ30117)。
讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方...
关键词：程序不变量 合约 关联属性 动态发现 模型 
一种交互式的不变量动态发现编配工具被引量：1
《计算机应用与软件》2008年第10期85-86,106,共3页刘杰 阳小华 罗扬 吴取劲 
湖南省自然科学基金项目(05JJ30117)
发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键。重点研究了不变量的动态发现方法与程序编配原理,并在传统的编配方法基础上实现了交互式的石鼓编配工具。该工具具有预设观测点和观测变量等功能,并通过将运行轨迹...
关键词：程序不变量 动态发现 编配工具 
一种函数依赖程序不变量动态检测方法被引量：2
《微电子学与计算机》2008年第7期205-209,213,共6页刘树锟 阳小华 
湖南省自然科学基金项目(05JJ30117)
目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分...
关键词：程序不变量 函数依赖 关联属性 动态发现 模型 
基于演进思想的程序断言动态发现模型研究
《信息技术》2008年第5期10-12,107,共4页吴取劲 阳小华 罗扬 刘杰 
湖南省自然科学基金资助课题(05JJ30117)
程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机...
关键词：程序断言 动态侦测 违例 免疫 
基于免疫原理的期刊工作流模糊预警模型被引量：1
《电脑开发与应用》2008年第4期10-12,15,共4页吴取劲 阳小华 罗扬 刘杰 伍大清 
湖南省自然科学基金资助项目(05JJ30117)
在期刊工作流程的领域中,应用生命体免疫原理的方法对应用系统不变性质和相应异常的问题进行了探索,并构造出相应的预警模型。该模型中最突出的特点是利用免疫机理获取得信息进行正常机体的演进,不仅能够对故障进行预警而且能够帮助应...
关键词：工作流 抗原 抗体 免疫 
函数依赖似然不变量发现方法研究被引量：1
《现代计算机》2008年第5期33-36,共4页刘杰 
湖南省自然科学基金项目(No.05JJ30117)
不变量是用于描述程序运行时不变性质的一些重要的逻辑断言。大型程序似然不变量发现的方法是通过对程序运行时的轨迹进行分析来获取的。以数据库理论为基础,将不变量形式分为函数依赖不变量和非函数依赖不变量,提出了函数依赖不变量动...
关键词：程序不变量 函数依赖 不变量动态发现 
Java建模语言在程序不变量动态发现过程中的应用
《计算机工程与设计》2007年第18期4536-4538,4545,共4页刘树锟 阳小华 刘杰 
湖南省自然科学基金项目(05JJ30117)。
通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产...
关键词：程序不变量 Java建模语言 重载 行为接口规范语言 契约 程序断言 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部