A system for automatic test generation

被引：0
|
作者：
Bondar, YS [1 ]
Katkov, VL [1 ]
机构：
[1] BYELARUSSIAN ACAD SCI, INST TECH CYBERNET, MINSK 220012, BELARUS
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1995年 / 21卷 / 06期
关键词：
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
    IEEE AUTOTESTCON 2011: SYSTEMS READINESS TECHNOLOGY CONFERENCE, 2011, : 383 - 390
  • [2] Automatic test generation for safety-critical system
    Xu, ZW
    Wu, FM
    ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 70 - 73
  • [3] Introduction to the Next Generation Automatic Test System (NGATS)
    Burden, Judy
    Curry, Patrick A.
    Roby, Derec
    Love, Frances
    AUTOTESTCON 2005, 2005, : 16 - 19
  • [4] Next generation automatic test system (NGATS) update
    Curry, Patrick A.
    Burden, Judy
    Lundy, Glenn A.
    2006 IEEE AUTOTESTCON, VOLS 1 AND 2, 2006, : 303 - 307
  • [5] Automatic generation of test specifications for coverage of system state transitions
    Sarma, M.
    Mall, R.
    INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (02) : 418 - 432
  • [6] AN AUTOMATIC TEST-GENERATION SYSTEM FOR LARGE DIGITAL CIRCUITS
    FUNATSU, S
    KAWAI, M
    IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (05): : 54 - 60
  • [7] Automatic Test Generation System for EFSM-Based Protocols
    Shu, Ting
    Cai, Qiangxin
    Liu, Lianggui
    Jia, Yubo
    2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 2182 - 2186
  • [8] SOCRATES - A HIGHLY EFFICIENT AUTOMATIC TEST PATTERN GENERATION SYSTEM
    SCHULZ, MH
    TRISCHLER, E
    SARFERT, TM
    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
    INTEGRATED COMPUTER-AIDED ENGINEERING, 2002, 9 (02) : 175 - 183
  • [10] Automatic test suite generation based on labelled transition system
    Jiang, Fan
    Ning, Hua-Zhong
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2001, 38 (12):
12345