منابع مشابه
Subdomain-based test data generation
Considerable effort is required to test software thoroughly. Even with automated test data generation tools, it is still necessary to evaluate the output of each test case and identify unexpected results. Manual effort can be reduced by restricting the range of inputs testers need to consider to regions that are more likely to reveal faults, thus reducing the number of test cases overall, and t...
متن کاملOntology-based Test Data Generation using Metaheuristics
Software testing is an expensive, yet essential stage in all software development models, thus there is a great effort from the research community to facilitate or even automate this step. Although much of the testing process is automated by modern software development environments (e.g., test execution, monitoring), the selection of test data remains generally a manual process. In this paper w...
متن کاملConstraint-Based Automatic Test Data Generation
This paper presents a new technique for automatically generating test data. The technique is based on mutation analysis and creates test data that approximates relative adequacy. The technique is a fault-based technique that uses algebraic constraints to describe test cases designed to find particular types of faults. A set of tools, collectively called Godzilla, has been implemented that autom...
متن کاملConstraint-based Test Generation for Pointer-based Data Structures
In this paper, we propose an approach for automated test case generation based on techniques from Constraint Programming. We show how an imperative language can be extended with constraint variables and its operational semantics with constraints. By running a program in this extended language, we obtain constraints on the initial environment and heap. Solving these constrains, we obtain concret...
متن کاملAutomated Software Test Data Generation
Abstracr-Test data generation in program testing is the process of identifying a set of test data which satisfies given testing criterion. Most of the existing test data generators 161, [It], [lo], [16], [30] use symbolic evaluation to derive test data. However, in practical programs this technique frequently requires complex algebraic manipulations, especially in the presence of arrays. In thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 2015
ISSN: 0164-1212
DOI: 10.1016/j.jss.2014.11.033