Generation of test data by solution space tree based on intelligent planning

2011 ◽  
Vol 19 (7) ◽  
pp. 1695-1700
Author(s):  
李杨 LI Yang ◽  
宋克非 SONG Ke-fei
2014 ◽  
Vol 687-691 ◽  
pp. 363-366
Author(s):  
Zhi Huan Wu ◽  
Hui Yan ◽  
Yong Ming Gao ◽  
Hang Yin

Aiming at planning and scheduling problems of intelligent robots, the heuristic algorithm is proposed based on the correlation of the target. Robot intelligent planning is a solving process to quickly find the optimal solution or near-optimal solutions in the space of a feasible solution. Due to the complexity and discretion of the problem solving, the past known may not be able to play enough guiding role in the future of solving process, which is likely to cause the search process without converge for a long time. Here using information to search for the solution space for a purpose to guide the search process, searching for 3-layers of information including nodes, variables and variable domain in the solution process are inspired. The guide search process is accelerated to convergence and the optimal solutions solved as soon as possible. Because forward heuristics makes the search process more purposeful, and the quality of solution can be effectively improved.


2015 ◽  
Vol 2015 ◽  
pp. 1-15 ◽  
Author(s):  
Ying Xing ◽  
Yun-Zhan Gong ◽  
Ya-Wen Wang ◽  
Xu-Zhou Zhang

The increasing complexity of large-scale real-world programs necessitates the automation of software testing. As a basic problem in software testing, the automation of path-wise test data generation is especially important, which is in essence a constraint optimization problem solved by search strategies. Therefore, the constraint processing efficiency of the selected search algorithm is a key factor. Aiming at the increase of search efficiency, a hybrid intelligent algorithm is proposed to efficiently search the solution space of potential test data by making full use of both global and local search methods. Branch and bound is adopted for global search, which gives definite results with relatively less cost. In the search procedure for each variable, hill climbing is adopted for local search, which is enhanced with the initial values selected heuristically based on the monotonicity analysis of branching conditions. They are highly integrated by an efficient ordering method and the backtracking operation. In order to facilitate the search methods, the solution space is represented as state space. Experimental results show that the proposed method outperformed some other methods used in test data generation. The heuristic initial value selection strategy improves the search efficiency greatly and makes the search basically backtrack-free. The results also demonstrate that the proposed method is applicable in engineering.


2016 ◽  
Vol 32 (3) ◽  
pp. 204-214 ◽  
Author(s):  
Emilie Lacot ◽  
Mohammad H. Afzali ◽  
Stéphane Vautier

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.


Sign in / Sign up

Export Citation Format

Share Document