湖南省教育厅科研基金(08C516)

作品数：5被引量：9H指数：2
导出分析报告
相关作者：刘树锟阳小华陈继锋蒋桂莲彭浩更多>>
相关机构：湖南涉外经济学院南华大学西安交通大学更多>>
相关期刊：《计算机工程与设计》《计算机与现代化》《计算机工程与应用》《计算机应用研究》更多>>
相关主题：程序不变量动态检测条件查询粗糙集V-支持向量机更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序不变量检测技术被引量：3
《计算机工程与科学》2011年第3期108-112,共5页刘树锟 阳小华 
湖南省教育厅基金资助项目(08C516);湖南省自然科学基金资助项目(05JJ30117)
基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程...
关键词：程序不变量 检测技术 程序编配 运行追踪 
基于粗糙集边界的v-支持向量机混合分类算法被引量：3
《计算机与现代化》2010年第8期15-17,21,共4页蒋桂莲 刘树锟 
湖南省教育厅基金资助项目(08C516)
针对v-支持向量机在样本集规模较大的情况下,需要占用大量训练时间的问题,提出基于粗糙集边界的v-支持向量机混合分类算法。该算法根据粗糙集理论边界区域的优点,生成分类数据的边界集,使其包括全部的支持向量,用此边界向量集替代原始...
关键词：V-支持向量机 粗糙集 边界样本集 支持向量 
程序断言动态检测工具的设计与实现被引量：1
《计算机应用研究》2009年第11期4140-4142,共3页刘树锟 阳小华 陈继锋 彭浩 
湖南省教育厅基金资助项目(08C516);湖南省自然科学基金资助项目(05JJ30117);湖南省教育厅重点基金资助项目(07A034)
重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设...
关键词：程序断言 动态检测 软件可靠性 条件查询 
基于合约的程序不变量动态检测模型研究被引量：1
《计算机工程与设计》2008年第23期6177-6180,共4页刘树锟 阳小华 
湖南省教育厅基金项目(08C516);湖南省自然科学基金项目(05JJ30117)。
讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方...
关键词：程序不变量 合约 关联属性 动态发现 模型 
非函数依赖程序不变量动态检测技术研究被引量：1
《计算机工程与应用》2008年第35期158-162,共5页刘树锟 陈继锋 阳小华 
湖南省自然科学基金No.05JJ30117;湖南省教育厅基金资助课题(No.08C516);湖南省教育厅重点基金资助课题(No.07A034)~~
讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见...
关键词：程序不变量 非函数依赖 动态检测 软件质量 条件查询 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部