Results 311 to 320 of about 4,221,254 (369)

Automatic Self-Validation for Code Coverage Profilers

International Conference on Automated Software Engineering, 2019
Code coverage as the primitive dynamic program behavior information, is widely adopted to facilitate a rich spectrum of software engineering tasks, such as testing, fuzzing, debugging, fault detection, reverse engineering, and program understanding ...
Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu   +7 more
semanticscholar   +1 more source

Markov approach for quantifying the software code coverage using genetic algorithm in software testing

International Journal of Bio-Inspired Computation (IJBIC), 2019
Markov chain approach to quantify the coverage of dd-graph representing the software code using genetic algorithm (GA) is presented in this paper. Initially the dd-graph is captured from the control flow graph.
M. Boopathi, Sujatha Ramalingam, S. Chandran, S. Narasimman, A. Rajan   +4 more
semanticscholar   +1 more source

Code coverage and input variability

Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02, 2002
Meaningful application benchmarking is crucial to processor design space exploration and compiler development. Many recent studies in the embedded processor domain have used reference telecommunications C programs which were originally intended to verify product compliance with a standard. In this paper, we demonstrate that telecommunications reference
Hillery C. Hunter, Wen-meiHwu W. Hwu
openaire   +1 more source

Practical code coverage for Verilog

Proceedings. 1995 IEEE International Verilog HDL Conference, 2002
The ability to detect sections of code that have not been executed in a program or design has always been desired by hardware designers, since unexecuted code is clearly untested code. Unfortunately, there have been virtually no practical mechanisms for doing so.
null Tsu-Hua Wang, null Chong Guan Tan
openaire   +1 more source

The Influence of Code Coverage Metrics on Automated Testing Efficiency in Android

Conference on Computer and Communications Security, 2018
Code coverage is an important metric that is used by automated Android testing and security analysis tools to guide the exploration of applications and to assess efficacy.
Stanislav Dashevskyi, O. Gadyatskaya, Aleksandr Pilgun, Yury Zhauniarovich   +3 more
semanticscholar   +1 more source

State Coverage: Software Validation Metrics beyond Code Coverage

2012
Currently, testing is still the most important approach to reduce the amount of software defects. Software quality metrics help to prioritize where additional testing is necessary by measuring the quality of the code. Most approaches to estimate whether some unit of code is sufficiently tested are based on code coverage, which measures what code ...
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens   +3 more
openaire   +1 more source

Test Coverage Optimization for Large Code Problems

2012 26th International Conference on Advanced Information Networking and Applications Workshops, 2012
Because running all previous tests for the regression testing of a system is time-consuming, the size of a test suite of the system must be reduced intelligently with adequate test coverage and without compromising its fault detection capability. Five algorithms were designed for reducing the size of test suites where two metrics, test's function reach
Lin, Ying-Dar, Chou, Chi-Heng, Lai, Yuan-Cheng, Huang, Tse-Yau, Chung, Simon, Hung, Jui-Tsun, Lin, Frank C.   +6 more
openaire   +2 more sources

Superwide-angle coverage code-multiplexed optical scanner

Optics Letters, 2004
A superwide-angle coverage code-multiplexed optical scanner is presented that has the potential to provide 4 pi-sr coverage. As a proof-of-concept experiment, an angular scan range of 288 degrees for six randomly distributed beams is demonstrated.
Riza, Nabeel A., Arain, Muzammil A.
openaire   +3 more sources

Code Coverage of Assertions Using RTL Source Code Analysis

Proceedings of the 51st Annual Design Automation Conference, 2014
Assertions are gaining importance in pre-silicon hardware verification to ensure expected design behavior. Coverage of an assertion in terms of statements of a Register Transfer Level (RTL) source code is a very accessible metric for understanding the scope of assertions and for debug. However, few methods to report it currently exist.
Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan   +3 more
openaire   +1 more source

Instance Generator and Problem Representation to Improve Object Oriented Code Coverage

IEEE Transactions on Software Engineering, 2015
Search-based approaches have been extensively applied to solve the problem of software test-data generation. Yet, test-data generation for object-oriented programming (OOP) is challenging due to the features of OOP, e.g., abstraction, encapsulation, and ...
Abdelilah Sakti, G. Pesant, Yann-Gaël Guéhéneuc   +2 more
semanticscholar   +1 more source