Research on the Formal Representation of ATML Documents

被引：0
|
作者：
Fan, Shuyi [1 ]
Jiang, Huixia [1 ]
Wei, Baohua [1 ]
Liu, Wanming [2 ]
机构：
[1] Shijiazhuang Mech Engn Coll, Shijiazhuang, Hebei, Peoples R China
[2] Hebei Normal Univ, Shijiazhuang, Hebei, Peoples R China
来源：
COMMUNICATIONS, SIGNAL PROCESSING, AND SYSTEMS | 2018年 / 423卷
关键词：
ATML; Formal representation; Test program automatic generation;
D O I：
10.1007/978-981-10-3229-5_104
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
In the process of constructing the ATS, developing of test program is an important and time consuming job. The traditional development approach of test program is in manual way. It makes the development cost very high, development cycle very long and portability very poor. Next, the automatic generation of test program will be a trend. Based on the study of ATML document characteristics, an approach to convert ATML documents into formal representation is proposed. First, the way of data type conversion is studied. Then based on the characteristics of entity documents, the formal way of entity conversion is studied. Finally, the method of converting the test description document into the formal representation of process control is studied. The effectiveness of the proposed approach is demonstrated by an example.
引用
收藏
页码：959 / 967
页数：9
相关论文
共 50 条
  • [1] FORMAL REPRESENTATION OF CONTENTS OF DOCUMENTS
    DIMOV, SN
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1974, (09): : 9 - 11
  • [2] Parsing of Research Documents into XML Using Formal Grammars
    Iwashokun, Opeoluwa
    Ade-Ibijola, Abejide
    APPLIED COMPUTATIONAL INTELLIGENCE AND SOFT COMPUTING, 2024, 2024
  • [3] RESEARCH AND IMPLEMENTATION ON TEST AND DIAGNOSE PROGRAM BY ATML
    Zhou Jinling
    Hu JianWang
    Zhang Kai
    Zhao Cheng
    3RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE (ITCS 2011), PROCEEDINGS, 2011, : 578 - 581
  • [4] Formal Modeling of Multistructured Documents
    Djemal, Karim
    Soule-Dupuy, Chantal
    Valles-Parlangeau, Nathalie
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE: RCIS 2008, 2007, : 227 - +
  • [5] Formal design of SMIL documents
    Belkhir, Abdelkader
    Bouyakoub-Smail, Sarnia
    WEBIST 2007: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL WIA: WEB INTERFACES AND APPLICATIONS, 2007, : 396 - +
  • [6] The Pseudo-code representation of Test Resources and Test Requirements in ATML
    Fan Shuyi
    Wei Baohua
    Jiang Huixia
    2019 6TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE 2019), 2019, : 615 - 619
  • [7] The research on ATML-based test description modeling
    Wu, B. (wubo_01@126.com), 2013, Science Press (34):
  • [8] ON SEMANTICS OF FORMAL REPRESENTATION
    DREHER, JH
    PHILOSOPHIA, 1978, 8 (01) : 71 - 78
  • [9] FORMAL REPRESENTATION OF DESCRIPTOR
    SIDORCHE.VD
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1973, (07): : 8 - 9
  • [10] The formal concept analysis of the documents clusters
    Shi, Hui-Feng
    Hua, Qiang
    Zhang, Po
    PROCEEDINGS OF 2007 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2007, : 3381 - +
12345