语句覆盖

将基于FUD链的可观测性评估算法与语句覆盖准则相结合，实现了可观测性语句覆盖准则的评估系统OCMStatistics。

By combining the algorithm above with statement coverage metric , an evaluation system for observability-based statement coverage metric , OCM_Statistics , is realized .

然后分析了语句覆盖、路径覆盖、判定覆盖，接着重点分析了du对覆盖，du对覆盖是语句覆盖和路径覆盖的折衷。

After introducing statement coverage , path coverage , and decision coverage , we pay more attention to du coverage , which is a tractable compromise between the statement coverage metric and the path coverage .

RTL可观测性语句覆盖评估方法

Observability-Enhanced Statement Coverage Evaluation Method at RT-Level

在前两个例子中，无修饰的NamePrinter和多bug的PrintQueue，给出的单元测试显示完整的语句覆盖（除了InterruptedException处理）没有显示出bug。

In our first two examples , the naked name printer and buggy print queue , the given unit tests would show full statement coverage ( except for InterruptedException handling ) without exposing the bugs .

在语句覆盖和判定覆盖测试标准之间的差别分析

A difference analysis between statement coverage and design coverage criteria

在此基础上设计了语句覆盖、路径覆盖、分支覆盖的算法。

Data structure defining and algorithm designing of pre transacting module are finished .

实验结果表明，可观测性语句覆盖准则增强了语句覆盖准则的评估能力，同时与已有的可观测性语句覆盖评估方法相比，文中算法时间开销大大降低。

Experimental results show that observability evaluation enhances the capability of traditional statement coverage metric and the proposed method is efficient .

语句覆盖和判定覆盖测试标准是两个著名的测试标准，这两个标准广泛的应用于软件测试。

The statement coverge and the design coverge criteria are two famous testing criteria , That are widely applied in software testing .

对于一个给定的源程序，它在对该程序进行静态分析的基础上，自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。

Given a program graph , a set of path are selected automatically to satisfy some testing criteria given by the user .

存在不同类型的覆盖度量，但是绝大多数的工具会关注行覆盖，也叫做语句覆盖。

There are different types of coverage measurements , but most tools focus on line coverage , also known as statement coverage .

本文就语句覆盖和判定覆盖测试标准之间的差别进行了分析证明和比较，旨在对不同的测试标准之间的差别分析后拟提出一个定量的度量算法。

This paper infers a compare analysis between the statement coverge and the design coverge criteria , On analysis is then presented an algorithm for this metric .

采用该平台对一个九级流水线的超长指令字结构数字信号处理器进行验证，可以在4000条指令内达到99%以上的代码语句覆盖率。

A 9-stage pipelined DSP with VLIW architecture is verified by this verification system , and the statement coverage can attain up to 99.9 % within 4000 vectors .

单元测试阶段结构覆盖测试往往要求语句覆盖率和分支覆盖率均达到100%。

In the unit test stage , it is often required that sentence coverage rate and branch coverage rate all up to 100 % in the structure coverage test .

实验结果表明，符合这些覆盖准则的测试用例集能够达到90%语句覆盖率，且使故障发现率达到79%。

Experimental results show that the test suites satisfying the proposed criteria can reach a statement coverage rate as high as 90 % , and a GUI fault detection rate as high as 79 % .

在白箱条件下，软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖等方法进行度量。

In the condition of white-box , the adequacy of software testing can be measured by sentence coverage , distinguish coverage , condition coverage , distinguish / condition coverage , route coverage and so on .

实验数据表明，可观测性语句覆盖准则增强了语句覆盖准则的评估能力&使用语句覆盖准则很容易就达到了很高的覆盖率，甚至100%；

The experiment results show that OCM_Statistics enhances capability of traditional statement coverage metric : it is easy to achieve high coverage for statement coverage metric , even 100 % , while data evaluated with observability-based statement coverage metric is not so excessively optimistic as the former .

set语句可覆盖所有以前的设置，可用于在应用程序运行时动态地打开或关闭选项。

The set statement overrides all previous settings and can be used to turn options on and off dynamically as the application runs .

对于这种情况，httpRequest.overrideMimeType（'text/xml'）；语句将覆盖发送给服务器的头部，强制text/xml作为mime-type。

For that case , the statement httpRequest . overrideMimeType ( 'text / xml ' ); will override the header sent to the server to force text / xml as the mime-type .

原型系统实现了基本的黑盒和白盒测试，其中白盒测试实现了语句和分支覆盖；

Basic black-box testing and white-box testing are successfully carried out . In white-box testing , the statement coverage and branch coverage are achieved ;

编译器自动地检查这些switch语句，如果没有覆盖某个实例，会产生错误。

The compiler automatically checks these switch statements and generates an error if an instance is not covered .