湖南省教育厅重点项目(07A034)
- 作品数：6 被引量：10H指数：1
- 相关作者：陈继锋刘树锟阳小华刘旭郭艾寅更多>>
- 相关机构：湖南涉外经济学院南华大学西安交通大学更多>>
- 发文基金：湖南省教育厅重点项目湖南省教育厅科研基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 非函数依赖程序不变量动态检测技术研究被引量：1
- 2008年
- 讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势:第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性。
- 刘树锟陈继锋阳小华
- 关键词：程序不变量动态检测软件质量条件查询
- 程序断言动态检测工具的设计与实现被引量：1
- 2009年
- 重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。
- 刘树锟阳小华陈继锋彭浩
- 关键词：动态检测条件查询
- 基于迭代松弛的测试数据自动生成框架的分析与设计
- 2010年
- 迭代松弛法是测试数据自动生成的一种重要方法,文章根据改进后的迭代松弛法设计了一个通用的结构测试数据自动生成的框架。框架根据结构测试中控制流和数据流所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时框架采用Fibonacci法优化选取路径,对不可达路径进行处理,并实现了对测试数据的分支覆盖率、DCP覆盖率的统计。
- 陈继锋刘旭张丹张忠黄敏
- 关键词：测试数据自动生成
- 面向路径的测试数据自动生成工具的设计被引量：1
- 2010年
- 设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。
- 陈继锋刘树锟王志海
- 关键词：测试数据自动生成
- 软件结构测试中基线路径生成方法的改进被引量：1
- 2009年
- 提出了一种基于基线路径生成的算法。该方法采用随机法生成初始基线路径,实现了初始基线路径生成的自动化;在基路径组遍历方面,引入深度搜索算法,避免了存储过多的分支结点信息,减少了线性遍历所要付出的时间浪费;利用没有入度的S节点所在列、没有出度的E节点所在的行,存储节点的取值情况、取值方案数,减少了存储空间的浪费;在生成路径时优先选择后面的节点,有效的减少了循环的判断。理论分析和实验结果表明:新的方法在测试路径生成的效率、空间复杂度等方面,均优于原基线路径的生成方法。
- 陈继锋谢星星刘旭
- 关键词：软件测试
- 基于APIT的三维移动代理路由算法研究被引量：6
- 2010年
- 针对现有的移动代理路由算法都是基于二维环境的不足,提出了一种能应用于三维环境中的移动代理路由算法。首先,使用APIT定位法来获取三维空间中的传感器坐标;在获取传感器节点坐标后,引入蚁群算法对移动代理访问传感器节点的路径进行优化,由此,得到了一种全新的基于APIT的三维移动代理路由算法。仿真实验表明,新移动代理路由算法能较好地适应无线传感器网络的实际应用环境,且路径优化效果明显。
- 徐云剑郭艾寅
- 关键词：无线传感器网络移动代理蚁群算法
