湖南省教育厅科研基金(08C516)
- 作品数：5 被引量：9H指数：2
- 相关作者：刘树锟阳小华陈继锋蒋桂莲彭浩更多>>
- 相关机构：湖南涉外经济学院南华大学西安交通大学更多>>
- 发文基金：湖南省教育厅科研基金湖南省自然科学基金湖南省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 程序断言动态检测工具的设计与实现被引量：1
- 2009年
- 重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。
- 刘树锟阳小华陈继锋彭浩
- 关键词：动态检测条件查询
- 基于合约的程序不变量动态检测模型研究被引量：1
- 2008年
- 讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。
- 刘树锟阳小华
- 关键词：程序不变量合约
- 非函数依赖程序不变量动态检测技术研究被引量：1
- 2008年
- 讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势:第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性。
- 刘树锟陈继锋阳小华
- 关键词：程序不变量动态检测软件质量条件查询
- 基于粗糙集边界的v-支持向量机混合分类算法被引量：3
- 2010年
- 针对v-支持向量机在样本集规模较大的情况下,需要占用大量训练时间的问题,提出基于粗糙集边界的v-支持向量机混合分类算法。该算法根据粗糙集理论边界区域的优点,生成分类数据的边界集,使其包括全部的支持向量,用此边界向量集替代原始样本作为训练集,减少训练集的数量,则可以在不影响分类精度和泛化性能的前提下显著缩短v-支持向量机的训练时间。仿真结果表明该算法的有效性。
- 蒋桂莲刘树锟
- 关键词：V-支持向量机粗糙集支持向量
- 程序不变量检测技术被引量：3
- 2011年
- 基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。
- 刘树锟阳小华
- 关键词：程序不变量
