助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   分枝覆盖 的翻译结果: 查询用时:0.018秒
图标索引 在分类学科中查询
所有学科
无线电电子学
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

分枝覆盖
相关语句
  “分枝覆盖”译为未确定词的双语例句
     This paper describes the methodology and the functions of CSTT, a C software-testing tool system based on a unified methodology. CSTT is composed of static analysis tool, assertion checking tool, symbolic trace tool, branch coveragy analysis tool and break point display tool.
     基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。
短句来源
  相似匹配句对
     Wireless Covering in SOHO
     SOHO的无线覆盖
短句来源
     Construction of covering congruence
     覆盖同余式的构造
短句来源
     MODEL OF PLANT BIFURCATION
     植物分枝模型
短句来源
     Bifurcation of Sunflower Equations
     向日葵方程的分枝
短句来源
     By means of introducing the concept of foreword in digital map, some branches of dynamic programming overlay are discarded.
     通过改变动态规划覆盖和引入“前方”的概念,减少了动态分枝数,从而降低了计算量
短句来源
查询“分枝覆盖”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  branch coverage
Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation, and symbolic evaluation.
      
We demonstrate the applicability of the proposed approach by describing the results of an experiment comparing the three code-based testing criteria, namely, block coverage, branch coverage, and predicate coverage.
      
Overall results suggest that the branch coverage criterion performs consistently with good efficiency and effectiveness, and it appears to be the most viable option for code-based control flow testing.
      
A rule-based framework that will automatically generate test data to achieve maximal branch coverage is presented.
      
Automated tools that perform branch coverage analysis are now accepted practice and researchers are exploring the area that exists between branch and path analysis.
      
更多          


This paper describes the methodology and the functions of CSTT, a C software-testing tool system based on a unified methodology. CSTT is composed of static analysis tool, assertion checking tool, symbolic trace tool, branch coveragy analysis tool and break point display tool.

基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关分枝覆盖的内容
在知识搜索中查有关分枝覆盖的内容
在数字搜索中查有关分枝覆盖的内容
在概念知识元中查有关分枝覆盖的内容
在学术趋势中查有关分枝覆盖的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社