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 条
  • [41] DYNAMITE - AN EFFICIENT AUTOMATIC TEST PATTERN GENERATION SYSTEM FOR PATH DELAY FAULTS
    FUCHS, K
    SCHULZ, MH
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1991, 10 (10) : 1323 - 1335
  • [42] Automatic Test Case Generation with State Diagram for Validating the Solar Integrated System
    Park, Bo Kyung
    Jang, Woo Sung
    Son, Hyun Seung
    Yi, Keunsang
    Kim, R. Young Chul
    INFORMATION SCIENCE AND APPLICATIONS 2017, ICISA 2017, 2017, 424 : 609 - 614
  • [43] Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard
    Lechler, Armin
    Macias, Tomas
    Atmosudiro, Agus
    8TH INTERNATIONAL CONFERENCE ON DIGITAL ENTERPRISE TECHNOLOGY - DET 2014 DISRUPTIVE INNOVATION IN MANUFACTURING ENGINEERING TOWARDS THE 4TH INDUSTRIAL REVOLUTION, 2014, 25 : 305 - 312
  • [44] A Genetic Algorithm-based System for Automatic Control of Test Data Generation
    Pocatilu, Paul
    Ivan, Ion
    STUDIES IN INFORMATICS AND CONTROL, 2013, 22 (02): : 219 - 226
  • [45] Automatic test case generation strategy for system level based on components with constraints
    State Key Laboratory of Software Development Environment, Beihang University, Beijing, China
    J. Comput. Inf. Syst., 16 (5841-5851):
  • [46] Automatic generation of test system instances for configurable cyber-physical systems
    Arrieta, Aitor
    Sagardui, Goiuria
    Etxeberria, Leire
    Zander, Justyna
    SOFTWARE QUALITY JOURNAL, 2017, 25 (03) : 1041 - 1083
  • [47] Automatic test generation of large boolean expressions in Computer Based Interlocking System
    Li, Zhiwei
    Liu, Jing
    Sun, Haiying
    Zhou, Tingliang
    Sun, Junfeng
    2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 513 - 520
  • [48] SABATPG - A STRUCTURAL-ANALYSIS BASED AUTOMATIC TEST-GENERATION SYSTEM
    LI, ZC
    PAN, YQ
    MIN, YH
    SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1994, 37 (09): : 1104 - 1114
  • [49] Automatic test generation for the analysis of a real-time system: Case study
    Clarke, D
    Lee, I
    THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 112 - 124
  • [50] Using CP in Automatic Test Generation for ABB Robotics' Paint Control System
    Mossige, Morten
    Gotlieb, Arnaud
    Meling, Hein
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 25 - 41
12345