朱丹丹

作品数：2被引量：2H指数：1
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：抽象语法树软件静态测试管理对策研究管理对策家校沟通更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《计算机技术与发展》《计算机工程》更多>>
所获基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于MPPSO的软件结构测试数据生成方法
《计算机工程》2013年第10期53-56,共4页陈柯 刘久富 朱丹丹 梁娟娟 
国家自然科学基金资助项目(60674100);南京航空航天大学基本科研业务费专项基金资助项目(NS2010069)
软件测试中到达待覆盖的目标分支为多条独立路径时,应用基本粒子群优化算法生成测试数据的效率较低。为此,提出多种群粒子群优化算法的软件结构测试数据自动生成方法,包括改进个体迁移策略、重新定义谓词约束函数与采用并行性的搜索方...
关键词：软件结构测试 多种群粒子群优化 迁移 谓词 约束函数 多路径 
基于符号执行的软件静态测试研究被引量：2
《计算机技术与发展》2013年第6期42-45,178,共5页梁娟娟 刘久富 朱丹丹 陈柯 
国家自然科学基金资助项目(60674100);南京航空航天大学青年科学创新基金(NS2010069)
文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一...
关键词：静态分析 符号执行 抽象语法树 可执行路径 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部