scholarly journals Practical Constraint Solving for Generating System Test Data

2020 ◽  
Vol 29 (2) ◽  
pp. 1-48 ◽  
Author(s):  
Ghanem Soltana ◽  
Mehrdad Sabetzadeh ◽  
Lionel C. Briand
Keyword(s):  
Test Data ◽  
Constraint Solving ◽  
Practical Constraint ◽  
Generating System

Constraint-Based Techniques for Software Testing

2010 ◽  
pp. 218-232 ◽  
Author(s):  
Nikolai Kosmatov
Keyword(s):  
Software Testing ◽  
Test Data ◽  
Test Generation ◽  
Automatic Testing ◽  
Constraint Solving ◽  
Future Research ◽  
C Programs ◽  
Black Box Testing ◽  
White Box Testing ◽  
Generate Test Data

In this chapter, the authors discuss some innovative applications of artificial intelligence techniques to software engineering, in particular, to automatic test generation. Automatic testing tools translate the program under test, or its model, and the test criterion, or the test objective, into constraints. Constraint solving allows then to find a solution of the constraint solving problem and to obtain test data. The authors focus on two particular applications: model-based testing as an example of black-box testing, and all-paths test generation for C programs as a white-box testing strategy. Each application is illustrated by a running example showing how constraint-based methods allow to automatically generate test data for each strategy. They also give an overview of the main difficulties of constraint-based software testing and outline some directions for future research.

Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques

2013 ◽  
Vol 42 (2) ◽  
Author(s):  
Sarunas Packevicius ◽  
Greta Krivickaite ◽  
Dominykas Barisas ◽  
Robertas Jasaitis ◽  
Tomas Blazauskas ◽  
...  
Keyword(s):  
Test Data ◽  
Constraint Solving ◽  
Complex Data ◽  
Test Data Generation ◽  
Data Generation ◽  
Data Types

Automatic test data generation using constraint solving techniques

1998 ◽  
Vol 23 (2) ◽  
pp. 53-62 ◽  
Author(s):  
Arnaud Gotlieb ◽  
Bernard Botella ◽  
Michel Rueher
Keyword(s):  
Test Data ◽  
Constraint Solving ◽  
Test Data Generation ◽  
Data Generation ◽  
Automatic Test ◽  
Automatic Test Data Generation

Test Validation Without Measurement

2016 ◽  
Vol 32 (3) ◽  
pp. 204-214 ◽  
Author(s):  
Emilie Lacot ◽  
Mohammad H. Afzali ◽  
Stéphane Vautier
Keyword(s):  
Test Data ◽  
Test Scores ◽  
Scientific Explanation ◽  
Test Validation ◽  
Clinical Tests ◽  
Ethical Perspective ◽  
Power Of Test ◽  
Memory Accuracy ◽  
Social Uses ◽  
Special Case

Abstract. Test validation based on usual statistical analyses is paradoxical, as, from a falsificationist perspective, they do not test that test data are ordinal measurements, and, from the ethical perspective, they do not justify the use of test scores. This paper (i) proposes some basic definitions, where measurement is a special case of scientific explanation; starting from the examples of memory accuracy and suicidality as scored by two widely used clinical tests/questionnaires. Moreover, it shows (ii) how to elicit the logic of the observable test events underlying the test scores, and (iii) how the measurability of the target theoretical quantities – memory accuracy and suicidality – can and should be tested at the respondent scale as opposed to the scale of aggregates of respondents. (iv) Criterion-related validity is revisited to stress that invoking the explanative power of test data should draw attention on counterexamples instead of statistical summarization. (v) Finally, it is argued that the justification of the use of test scores in specific settings should be part of the test validation task, because, as tests specialists, psychologists are responsible for proposing their tests for social uses.

Review of Psychological Portraits of Adolescents: An Integrated Developmental Approach to Psychological Test Data.

1995 ◽  
Vol 40 (3) ◽  
pp. 282-282
Author(s):  
Terri Gullickson
Keyword(s):  
Test Data ◽  
Psychological Test ◽  
Developmental Approach

Release of test data and APA's new Ethics Code

2003 ◽  
Author(s):  
Stephen Behnke
Keyword(s):  
Test Data ◽  
Ethics Code

Release of Test Data and the New APA Ethics Code

2003 ◽  
Author(s):  
Celia Fisher
Keyword(s):  
Test Data ◽  
Ethics Code ◽  
Apa Ethics Code
Sign in / Sign up

Export Citation Format

Share Document