A system for automatic test generation

被引:0
|
作者
Bondar, YS [1 ]
Katkov, VL [1 ]
机构
[1] BYELARUSSIAN ACAD SCI, INST TECH CYBERNET, MINSK 220012, BELARUS
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper presents an algorithm for automatic test generation that takes into account the contextual conditions of a programming language. A system for test generation developed on its basis is described. An example of use of this system is given.
引用
收藏
页码:288 / 292
页数:5
相关论文
共 50 条
  • [1] An Integrated Automatic Test Generation and Executing System
    Chen, Huxun
    Chen, DeQing
    Ye, Jinlin
    Cao, Weizhou
    Gao, Lei
    [J]. IEEE AUTOTESTCON 2011: SYSTEMS READINESS TECHNOLOGY CONFERENCE, 2011, : 383 - 390
  • [2] Automatic test generation for safety-critical system
    Xu, ZW
    Wu, FM
    [J]. ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 70 - 73
  • [3] Next generation automatic test system (NGATS) update
    Curry, Patrick A.
    Burden, Judy
    Lundy, Glenn A.
    [J]. 2006 IEEE AUTOTESTCON, VOLS 1 AND 2, 2006, : 303 - 307
  • [4] Introduction to the Next Generation Automatic Test System (NGATS)
    Burden, Judy
    Curry, Patrick A.
    Roby, Derec
    Love, Frances
    [J]. AUTOTESTCON 2005, 2005, : 16 - 19
  • [5] AN AUTOMATIC TEST-GENERATION SYSTEM FOR LARGE DIGITAL CIRCUITS
    FUNATSU, S
    KAWAI, M
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (05): : 54 - 60
  • [6] Automatic Test Generation System for EFSM-Based Protocols
    Shu, Ting
    Cai, Qiangxin
    Liu, Lianggui
    Jia, Yubo
    [J]. 2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 2182 - 2186
  • [7] Automatic generation of test specifications for coverage of system state transitions
    Sarma, M.
    Mall, R.
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (02) : 418 - 432
  • [8] SOCRATES - A HIGHLY EFFICIENT AUTOMATIC TEST PATTERN GENERATION SYSTEM
    SCHULZ, MH
    TRISCHLER, E
    SARFERT, TM
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1988, 7 (01) : 126 - 137
  • [9] Automatic generation of SCTP test cases in multiservice switching system
    Lee, HJ
    Uhm, NK
    Choi, YI
    Lee, BS
    Jun, KP
    [J]. INTEGRATED COMPUTER-AIDED ENGINEERING, 2002, 9 (02) : 175 - 183
  • [10] An automatic functional test vector generation system for interacting FSMs
    Li, T
    Guo, Y
    Li, SK
    [J]. CAD/ GRAPHICS TECHNOLOGY AND ITS APPLICATIONS, PROCEEDINGS, 2003, : 139 - 144