湖南省教育厅重点项目(07A034)

作品数：6被引量：10H指数：1
导出分析报告
相关作者：陈继锋刘树锟阳小华刘旭郭艾寅更多>>
相关机构：湖南涉外经济学院南华大学西安交通大学更多>>
相关期刊：《计算机应用研究》《湖南涉外经济学院学报》《计算机工程与应用》更多>>
相关主题：动态检测条件查询测试数据自动生成蚁群算法移动代理更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于迭代松弛的测试数据自动生成框架的分析与设计
《湖南涉外经济学院学报》2010年第4期61-65,共5页陈继锋 刘旭 张丹 张忠 黄敏 
湖南省教育厅重点科研项目(07A034);湖南省大学生研究性学习和创新性实验计划项目
迭代松弛法是测试数据自动生成的一种重要方法,文章根据改进后的迭代松弛法设计了一个通用的结构测试数据自动生成的框架。框架根据结构测试中控制流和数据流所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的...
关键词：迭代松弛法 测试数据自动生成 分析与设计 
面向路径的测试数据自动生成工具的设计被引量：1
《计算机工程与应用》2010年第15期53-56,共4页陈继锋 刘树锟 王志海 
湖南省教育厅重点科研项目资助(No.07A034)
设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径...
关键词：路径 测试数据自动生成 覆盖率 
基于APIT的三维移动代理路由算法研究被引量：6
《计算机应用研究》2010年第6期2246-2248,2253,共4页徐云剑 郭艾寅 
湖南省教育厅科学研究项目(09C600,09C591);湖南省教育厅重点科研课题资助项目(07A034)
针对现有的移动代理路由算法都是基于二维环境的不足,提出了一种能应用于三维环境中的移动代理路由算法。首先,使用APIT定位法来获取三维空间中的传感器坐标;在获取传感器节点坐标后,引入蚁群算法对移动代理访问传感器节点的路径进行优...
关键词：无线传感器网络 移动代理 APIT节点定位法 蚁群算法 
程序断言动态检测工具的设计与实现被引量：1
《计算机应用研究》2009年第11期4140-4142,共3页刘树锟 阳小华 陈继锋 彭浩 
湖南省教育厅基金资助项目(08C516);湖南省自然科学基金资助项目(05JJ30117);湖南省教育厅重点基金资助项目(07A034)
重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设...
关键词：程序断言 动态检测 软件可靠性 条件查询 
软件结构测试中基线路径生成方法的改进被引量：1
《湖南涉外经济学院学报》2009年第3期81-85,共5页陈继锋 谢星星 刘旭 
湖南省大学生研究性学习和创新性实验计划项目;湖南省教育厅重点科研项目(07A034)
提出了一种基于基线路径生成的算法。该方法采用随机法生成初始基线路径,实现了初始基线路径生成的自动化;在基路径组遍历方面,引入深度搜索算法,避免了存储过多的分支结点信息,减少了线性遍历所要付出的时间浪费;利用没有入度的S节点...
关键词：软件测试 基线路径 算法 
非函数依赖程序不变量动态检测技术研究被引量：1
《计算机工程与应用》2008年第35期158-162,共5页刘树锟 陈继锋 阳小华 
湖南省自然科学基金No.05JJ30117;湖南省教育厅基金资助课题(No.08C516);湖南省教育厅重点基金资助课题(No.07A034)~~
讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见...
关键词：程序不变量 非函数依赖 动态检测 软件质量 条件查询 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部