Automatic Parameterized Generation of Test

被引:0
|
作者
Gangur, Mikulas [1 ]
机构
[1] Univ W Bohemia, Fac Econ, Plzen, Czech Republic
关键词
Automatic test generation; Object-Oriented Programming; Backtracking; Depth-first search of tree; XSL transformation;
D O I
暂无
中图分类号
G40 [教育学];
学科分类号
040101 ; 120403 ;
摘要
The contribution deals with a proposal and implementation of a test generator from the prepared tasks of varied topics. The structure of questions in the individual tests can be controlled by input parameters which are described in the proposal. Then a simple format of an introductory bank of tasks containing, among others, also basic elements of the mathematical typesetting is proposed and described. Control information is also part of the input data which is complemented by parameters for each question influencing its listing in the generated tests. Together with the proposed modular architecture of the generator basic objects of its construction are described on the basis of the principles of the object-oriented programming and of the application of polymorphism by which flexible functionality of the generator is ensured. In the following part the process of solving a combination of the test questions according to the set parameters by means of the methods called depth-first search of tree and backtracking is illustrated. In the end the possibilities of choice of various output formats of the generated tests and the functionality of comparing the congruence of tests and the choice of the best test combinations are shown. The generator outputs are represented by an example of tasks generated in the required format, by a final matrix of the comparison of the congruence of the generated tests and by a proposal of a suitable combination of tests with regard to the requirement of minimizing the congruence between different test groups.
引用
收藏
页码:55 / 64
页数:10
相关论文
共 50 条
  • [1] Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
    Calame, Jens R.
    Ioustinova, Natalia
    van de Pol, Jaco
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 191 (25-48) : 25 - 48
  • [2] Automatic generation of symbolic model for parameterized synchronous systems
    Xu, WW
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (06) : 812 - 819
  • [3] Automatic generation of symbolic model for parameterized synchronous systems
    Wei-Wen Xu
    [J]. Journal of Computer Science and Technology, 2004, 19 : 812 - 819
  • [4] AUTOMATIC GENERATION OF TEST CASES
    HANFORD, KV
    [J]. IBM SYSTEMS JOURNAL, 1970, 9 (04) : 242 - &
  • [5] A system for automatic test generation
    Bondar, YS
    Katkov, VL
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1995, 21 (06) : 288 - 292
  • [6] Automatic test generation with AGATHA
    Bigot, C
    Faivre, A
    Gallois, JP
    Lapitre, A
    Lugato, D
    Pierron, JY
    Rapin, N
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 591 - 596
  • [7] Automatic Test Packet Generation
    Zeng, Hongyi
    Kazemian, Peyman
    Varghese, George
    McKeown, Nick
    [J]. IEEE-ACM TRANSACTIONS ON NETWORKING, 2014, 22 (02) : 554 - 566
  • [8] AUTOMATIC TEST SEQUENCE GENERATION
    SALZMANN, CH
    [J]. IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1977, 13 (02) : 223 - 223
  • [9] Automatic test pattern generation
    Drechsler, Rolf
    Fey, Gorschwin
    [J]. FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 30 - 55
  • [10] AUTOMATIC TEST PATTERN GENERATION
    DERBYSHIRE, K
    [J]. ELECTRONIC ENGINEERING, 1993, 65 (802): : S57 - &