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 条
  • [31] THE AUTOMATIC-GENERATION OF TEST DATA
    INCE, DC
    COMPUTER JOURNAL, 1987, 30 (01): : 63 - 69
  • [32] Automatic Test Value Generation for Ada
    Creuse L.
    Eyraud M.
    Garèse V.
    Ada User Journal, 2023, 44 (02): : 152 - 156
  • [33] Automatic test-generation for predicates
    Paradkar, A
    Tai, KC
    Vouk, MA
    IEEE TRANSACTIONS ON RELIABILITY, 1996, 45 (04) : 515 - 530
  • [34] Automatic Generation of Test Inputs for Mercury
    Degrave, Francois
    Schrijvers, Tom
    Vanhoof, Wim
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2009, 5438 : 71 - +
  • [35] AUTOMATIC SOFTWARE TEST-GENERATION
    CAMUFFO, M
    MAIOCCHI, M
    MORSELLI, M
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 337 - 346
  • [36] Automatic Test Generation for Coverage Improvement
    Wilson, Chris
    HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 141 - 142
  • [37] Automatic Test-Case Generation
    Machado, Patricia
    Sampaio, Augusto
    TESTING TECHNIQUES IN SOFTWARE ENGINEERING, 2010, 6153 : 59 - +
  • [38] Automatic generation of test system instances for configurable cyber-physical systems
    Aitor Arrieta
    Goiuria Sagardui
    Leire Etxeberria
    Justyna Zander
    Software Quality Journal, 2017, 25 : 1041 - 1083
  • [39] Automatic Test Cases Generation with Selection of Training Data for Various System Specifications
    Ueda, Kiyoshi
    Shikama, Riku
    Shimizu, Yuki
    2024 6TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND THE INTERNET, ICCCI 2024, 2024, : 1 - 5
  • [40] Automatic generation of test data in IMX system based on GA-ACO
    Feng X.
    Hao H.-M.
    1600, Beijing University of Posts and Telecommunications (39): : 99 - 103
12345