scholarly journals Code Coverage Aware Test Generation Using Constraint Solver

Author(s):  
Krystof Sykora ◽  
Bestoun S. Ahmed ◽  
Miroslav Bures
2015 ◽  
Vol 66 (4) ◽  
pp. 185-193 ◽  
Author(s):  
Ján Hudec ◽  
Elena Gramatová

Abstract The paper presents a new functional test generation method for processors testing based on genetic algorithms and evolutionary strategies. The tests are generated over an instruction set architecture and a processor description. Such functional tests belong to the software-oriented testing. Quality of the tests is evaluated by code coverage of the processor description using simulation. The presented test generation method uses VHDL models of processors and the professional simulator ModelSim. The rules, parameters and fitness functions were defined for various genetic algorithms used in automatic test generation. Functionality and effectiveness were evaluated using the RISC type processor DP32.


Author(s):  
Dávid Honfi ◽  
Zoltán Micskei

Testing is a significantly time-consuming, yet commonly employed activity to improve the quality of software. Thus, techniques like dynamic symbolic execution were proposed for generating tests only from source code. However, current approaches usually could not create thorough tests for software units with dependencies (e.g. calls to file system or external services). In this paper, we present a novel approach that synthesizes an isolation sandbox, which interacts with the test generator to increase the covered behaviour in the unit under test. The approach automatically transforms the code of the unit under test, and lets the test generator choose values for parameters in the calls to dependencies. The paper presents a prototype implementation that collaborates with the IntelliTest test generator. The automated isolation is evaluated on source code from open-source projects. The results show that the approach can significantly increase the code coverage achieved by the generated tests.


2006 ◽  
Vol 48 (12) ◽  
pp. 1187-1198 ◽  
Author(s):  
J. Jenny Li ◽  
David Weiss ◽  
Howell Yee

Author(s):  
Seryozha Asryan

In this paper, we present a method for grammar-based fuzzing, which improves its penetration power. It is based on input data generation using a fuzzer feedback. Several other methods are prone to create an initial set of acceptable test cases before the actual fuzzing process, and hence are unable to use the runtime information to increase the generated input’s quality. The proposed method uses the coverage information gathered for each input sample and guides grammar-based input generation. This method uses more than 120 BNF (Backus-Naur Form) grammar rules described in ANTLR (Another Tool for Language Recognition) platform. Experimental results show that our method - feedback driven random test generation, has higher code coverage capabilities compared with the existing methods.


2017 ◽  
Vol 7 (1.2) ◽  
pp. 225
Author(s):  
Grandhi Prasuna ◽  
O. Naga Raju ◽  
C. Hari Kishan

Software testing is all too often simply a bug hunt rather than a well-considered exercise in ensuring quality. More methodical models than a simple cycle of system-level test-fail-patch-test will be required to deploy safe autonomous vehicles at scale. There are many types of software testing is used to test software. Efferent systems and procedure are proposed for dealing with these issues. Utilization of transformative calculations for programmed test generation has been a territory of intrigue. This assignment should be possible on a premise of the Ant Colony Optimization method (ACO) of Swarm Intelligence as it isn't profoundly contemplated yet. Intends to locate the most limited way and Resolve the time issue. We are building up extra particular way to deal with testing by concentrating on those parts that are most critical so these ways can be tried first recognizing the most huge ways, the testing productivity can be expanded. Great results are discovered astoundingly expediently when GA is actualized. Producing an improved test suite (TS) is meta-heuristic issue, which can be settled by GA. The only objective of programming is not to determine the algorithm to accomplish a result but relevance and correctness of the result. Also, Furthermore, to be ascertained. Genetic Algorithm is a meta-heuristic algorithm, is employed for optimizing path testing to achieve total code coverage.


Symmetry ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 310
Author(s):  
Husam N. Yasin ◽  
Siti Hafizah Ab Hamid ◽  
Raja Jamilah Raja Yusof

Android applications provide benefits to mobile phone users by offering operative functionalities and interactive user interfaces. However, application crashes give users an unsatisfactory experience, and negatively impact the application’s overall rating. Android application crashes can be avoided through intensive and extensive testing. In the related literature, the graphical user interface (GUI) test generation tools focus on generating tests and exploring application functions using different approaches. Such tools must choose not only which user interface element to interact with, but also which type of action to be performed, in order to increase the percentage of code coverage and to detect faults with a limited time budget. However, a common limitation in the tools is the low code coverage because of their inability to find the right combination of actions that can drive the application into new and important states. A Q-Learning-based test coverage approach developed in DroidbotX was proposed to generate GUI test cases for Android applications to maximize instruction coverage, method coverage, and activity coverage. The overall performance of the proposed solution was compared to five state-of-the-art test generation tools on 30 Android applications. The DroidbotX test coverage approach achieved 51.5% accuracy for instruction coverage, 57% for method coverage, and 86.5% for activity coverage. It triggered 18 crashes within the time limit and shortest event sequence length compared to the other tools. The results demonstrated that the adaptation of Q-Learning with upper confidence bound (UCB) exploration outperforms other existing state-of-the-art solutions.


Sign in / Sign up

Export Citation Format

Share Document