刘树锟
- 作品数：19 被引量：34H指数：3
- 供职机构：湖南涉外经济学院更多>>
- 发文基金：湖南省自然科学基金湖南省教育厅科研基金湖南省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 非函数依赖程序不变量动态检测技术研究被引量：1
- 2008年
- 讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势:第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性。
- 刘树锟陈继锋阳小华
- 关键词：程序不变量动态检测软件质量条件查询
- 基于契约的程序动态分析技术研究
- 2006年
- 在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法．
- 刘树锟阳小华刘杰罗江琴
- 关键词：契约断言程序不变量
- 程序断言动态检测工具的设计与实现被引量：1
- 2009年
- 重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。
- 刘树锟阳小华陈继锋彭浩
- 关键词：动态检测条件查询
- 一种故障树向BDD的转化方法被引量：8
- 2009年
- 针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的(LNPC)方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数。算法分析与实验结果表明该方法对不同的故障树转化是有效的。
- 段珊张修如刘树锟王金娟
- 关键词：故障树排序
- 基于Java建模语言的不变量检测工具
- 2012年
- 结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用。分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程。阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题。
- 刘树锟莫正杰吴沛林黄小波
- 关键词：程序不变量
- 基于数据库的简单非函数依赖程序不变量动态检测
- 迄今为止，计算机软件系统虽然仅仅只有短短的几十年历史，但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前广泛关注、高度重视的热点问题之一。基于合约的程序设计是提高软件质量的一种重要技术，已经得到了很大的...
- 刘树锟
- 关键词：程序不变量动态检测软件质量条件查询数据库
- 文献传递
- 一种函数依赖程序不变量动态检测方法被引量：2
- 2008年
- 目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.
- 刘树锟阳小华
- 关键词：程序不变量函数依赖
- 智能公交系统电子站牌的研究与设计被引量：10
- 2012年
- 电子站牌用于动态显示公交车辆的相关信息,介绍了电子站牌的基本工作原理,设计了电子站牌内部的主要硬件部份,研究并优化了电子站牌报站的算法,同时提供了数据丢失时的补偿方案.
- 文雄军刘树锟廖曙光
- 关键词：电子站牌
- 计算机学科“动态能力集”工学结合订单式人才培养探讨
- 2012年
- 本文对当前计算机人才培养的状况进行了分析,提出了一种计算机学科"动态能力集"工学结合订单式人才培养的模式。文中对培养目标的制定、培养内容的确定、培养模式的构建以及培养方案的实施等进行了分析和研究,并给出了具体的方法和措施,为计算机学科人才的培养构建了一种新的模式。
- 陈继锋彭浩刘树锟
- 关键词：计算机学科
- 基于合约的程序不变量动态检测模型研究被引量：1
- 2008年
- 讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。
- 刘树锟阳小华
- 关键词：程序不变量合约
