您的位置： 专家智库 > >

陈蕊

作品数：4 被引量：11H指数：2
供职机构：中国科学院计算技术研究所更多>>
发文基金：国家自然科学基金总装备部“十一五”国防预研项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇会议论文
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 4篇数据流
  • 3篇数据流分析
  • 2篇软件故障
  • 2篇故障检测
  • 2篇不可达路径
  • 1篇应用程序
  • 1篇软件测试

机构

  • 4篇中国科学院
  • 1篇山东农业大学
  • 1篇中国科学院研...

作者

  • 4篇陈蕊
  • 3篇李晓维
  • 3篇张广梅

传媒

  • 1篇计算机工程
  • 1篇全国第13届...
  • 1篇全国第13届...

年份

  • 2篇2006
  • 2篇2004
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
程序中不可达路径的检测方法被引量：8
2006年
对于大型软件来说,程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达路径的影响,有利于结构测试中各阶段的实现。提出了一种利用数据流分析信息检测不可达路径的方法。通过对条件分支相关性的探测进而确定了程序中的不可达路径,并通过适当地选取条件谓词,提高了检测分支的覆盖率。
陈蕊张广梅李晓维
关键词：数据流不可达路径
面向软件故障检测的数据流分析
程序中某一点的数据流状态与软件的执行路径有关.程序中的部分故障与数据流相关.文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点.根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流...
张广梅陈蕊李晓维
关键词：软件故障故障检测数据流分析应用程序
文献传递
程序中不可达路径的识别及其在结构测试中的应用
结构测试有利于评价软件测试的充分性。然而，测试的不充分是很常见的，必须选择更多的测试用例去改善测试。每个新选择的测试用例需要执行特定的路径。首先面临的问题就是如何确定一条可达的路径，即：在某一输入下路径是可执行的。在结构...
陈蕊
关键词：不可达路径数据流分析软件测试
文献传递
面向软件故障检测的数据流分析
程序中某一点的数据流状态与软件的执行路径有关。程序中的部分故障与数据流相关。文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点。根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流...
张广梅陈蕊李晓维
关键词：软件故障故障检测数据流分析
文献传递
全选 清除 导出
共1页<1>
聚类工具0