• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"作者=邵巳航"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
基于过程间动态符号执行的C语言测试框架
收藏
分享
引用
《计算机工程与设计》2014年 第8期35卷 2746-2751页
作者：邵巳航 苏亭 顾斌 王政 杨孟飞华东师范大学软件学院上海200062 北京控制工程研究所北京100080 
针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modula...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部