Results 211 to 220 of about 378,895 (264)
Some of the next articles are maybe not open access.

Test coverage metrics for the network

Proceedings of the 2021 ACM SIGCOMM 2021 Conference, 2021
Testing and verification have emerged as key tools in the battle to improve the reliability of networks and the services they provide. However, the success of even the best technology of this sort is limited by how effectively it is applied, and in today's enormously complex industrial networks, it is surprisingly easy to overlook particular interfaces,
Xieyang Xu   +4 more
openaire   +1 more source

FPGA test and coverage

Proceedings. International Test Conference, 2003
This paper presents an FPGA test and coverage methodology. BIST and "shift register" styles of test are discussed. Gate level fault grading results are then presented. Use of an "iterative logic unit" and its impact on test and fault grading is discussed.
Shahin Toutounchi, Andrew Lai
openaire   +1 more source

Data coverage testing

Ninth Asia-Pacific Software Engineering Conference, 2002., 2003
Generating test data sets which are sufficiently large to effectively cover all the tests required before a software component can be certified as reliable is a time consuming and error-prone task if carried out manually. A key parameter when testing collections is the size of the collection to be tested: an automatic test generator builds a set of ...
Ponrudee Netisopakul   +2 more
openaire   +1 more source

Coverage Based Testing with Test Purposes

2008 The Eighth International Conference on Quality Software, 2008
Test purposes have been presented as a solution to avoid the state space explosion when selecting test cases from formal models. Although such techniques work very well with regard to the speed of the test derivation, they leave the tester with one important task that influences the quality of the overall testing process: Test purposes have to be ...
Gordon Fraser 0001   +2 more
openaire   +1 more source

On the influence of Test Smells on Test Coverage

Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019
Software testing is a key practice in the software quality assurance process. Usually, the quality of a test is not analyzed before its execution, i.e., there are no tests to check the tests. When the quality of tests is not guaranteed, it may impair the quality of the software.
Tássio Virgínio   +5 more
openaire   +1 more source

Mythical Unit Test Coverage

IEEE Software, 2018
It is a continuous struggle to understand how much a product should be tested before its delivery to the market. Ericsson, as a global software development company, decided to evaluate the adequacy of the unit-test-coverage criterion that it had employed for years as a guide for sufficiency of testing.
Vard Antinyan   +3 more
openaire   +1 more source

Declarative paradigm of test coverage

Software Testing, Verification and Reliability, 1998
Two facts about declarative programming prevent the application of conventional testing methods. First, the classical test coverage measures such as statement, branch or path coverage, cannot be used, since in declarative programs no control flow notion exists.
Fevzi Belli, Oliver Jack
openaire   +1 more source

Static Estimation of Test Coverage

2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009
Test coverage is an important indicator for unit test quality. Tools such as Clover compute coverage by first instrumenting the code with logging functionality, and then logging which parts are executed during unit test runs. Since computation of test coverage is a dynamic analysis, it presupposes a working installation of the software.
Tiago L. Alves, Joost Visser 0001
openaire   +1 more source

Coverage metrics for functional tests

Proceedings of IEEE VLSI Test Symposium, 2002
Describes test quality measures that quantify the completeness of a functional test. The measures are based on exercising a functional model of the unit with the given set of test sequences. Two metrics are proposed: the control-flow coverage (FC1) indicates how completely the logical flow of the functional model is traversed, and the data path ...
John R. Wallack, Ramaswami Dandapani
openaire   +1 more source

Achieving communication coverage in testing

ACM SIGSOFT Software Engineering Notes, 2006
This paper considers the problem of testing the communication between components of a timed distributed software system. We assume that communication is specified using timed interface automata and use computational tree logic (CTL) to define coverage criteria that refer to send- and receive-statements and communication paths.
Christopher Robinson-Mallett   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy