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] Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard
    Lechler, Armin
    Macias, Tomas
    Atmosudiro, Agus
    [J]. 8TH INTERNATIONAL CONFERENCE ON DIGITAL ENTERPRISE TECHNOLOGY - DET 2014 DISRUPTIVE INNOVATION IN MANUFACTURING ENGINEERING TOWARDS THE 4TH INDUSTRIAL REVOLUTION, 2014, 25 : 305 - 312
  • [42] A Genetic Algorithm-based System for Automatic Control of Test Data Generation
    Pocatilu, Paul
    Ivan, Ion
    [J]. STUDIES IN INFORMATICS AND CONTROL, 2013, 22 (02): : 219 - 226
  • [43] 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]. J. Comput. Inf. Syst., 16 (5841-5851):
  • [44] 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
    [J]. INFORMATION SCIENCE AND APPLICATIONS 2017, ICISA 2017, 2017, 424 : 609 - 614
  • [45] Automatic generation of test system instances for configurable cyber-physical systems
    Arrieta, Aitor
    Sagardui, Goiuria
    Etxeberria, Leire
    Zander, Justyna
    [J]. SOFTWARE QUALITY JOURNAL, 2017, 25 (03) : 1041 - 1083
  • [46] Automatic test generation of large boolean expressions in Computer Based Interlocking System
    Li, Zhiwei
    Liu, Jing
    Sun, Haiying
    Zhou, Tingliang
    Sun, Junfeng
    [J]. 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 513 - 520
  • [47] SABATPG - A STRUCTURAL-ANALYSIS BASED AUTOMATIC TEST-GENERATION SYSTEM
    LI, ZC
    PAN, YQ
    MIN, YH
    [J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1994, 37 (09): : 1104 - 1114
  • [48] Using CP in Automatic Test Generation for ABB Robotics' Paint Control System
    Mossige, Morten
    Gotlieb, Arnaud
    Meling, Hein
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 25 - 41
  • [49] Automatic test generation for the analysis of a real-time system: Case study
    Clarke, D
    Lee, I
    [J]. THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 112 - 124
  • [50] Test of distributed, cooperative Systems - Test Generation and automatic Test Execution
    Krause, Jan
    Holzmueller, Bernd
    [J]. AUTOMATION 2011, 2011, 213 : 73 - 77
12345