Skip to main content
Top

2018 | OriginalPaper | Chapter

Research on the Formal Representation of ATML Documents

Authors : Shuyi Fan, Huixia Jiang, Baohua Wei, Wanming Liu

Published in: Communications, Signal Processing, and Systems

Publisher: Springer Singapore

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference D. Ordonez Camacho, K. Mens, APPAREIL: a tool for building automated program translators using annotated grammars, in 23rd IEEE/ACM International Conference on Automated Software Engineering, May 2008, pp. 489–490 D. Ordonez Camacho, K. Mens, APPAREIL: a tool for building automated program translators using annotated grammars, in 23rd IEEE/ACM International Conference on Automated Software Engineering, May 2008, pp. 489–490
2.
go back to reference Y. Wang, M. Wu, Case studies on translation of RTPA specifications into Java programs, in IEEE CCECE 2002, August 2002, pp. 675–680 Y. Wang, M. Wu, Case studies on translation of RTPA specifications into Java programs, in IEEE CCECE 2002, August 2002, pp. 675–680
3.
go back to reference R.C. Waters, Program translation via abstraction and reimplementation. IEEE Trans. Softw. Eng. 14(8), 1207–1228 (1988)CrossRef R.C. Waters, Program translation via abstraction and reimplementation. IEEE Trans. Softw. Eng. 14(8), 1207–1228 (1988)CrossRef
4.
go back to reference K. Yasumatsu, N. Doi, SPiCE: a system for translating smalltalk programs into a C environment. IEEE Trans. Softw. Eng. 21(11), 902–912 (1995)CrossRef K. Yasumatsu, N. Doi, SPiCE: a system for translating smalltalk programs into a C environment. IEEE Trans. Softw. Eng. 21(11), 902–912 (1995)CrossRef
5.
go back to reference Z. Li, K. Liu, Y. Zhao et al., MaPIT: an enhanced pending interest table for NDN with mapping bloom filter. IEEE Commun. Lett. 18(11), 1915–1918 (2011) Z. Li, K. Liu, Y. Zhao et al., MaPIT: an enhanced pending interest table for NDN with mapping bloom filter. IEEE Commun. Lett. 18(11), 1915–1918 (2011)
6.
go back to reference Z. Li, Y. Chen, H. Shi et al., NDN-GSM-R: a novel high-speed railway communication system vis named data networking. EURASIP J. Wirel. Commun. Netw. 48, 1–5 (2016) Z. Li, Y. Chen, H. Shi et al., NDN-GSM-R: a novel high-speed railway communication system vis named data networking. EURASIP J. Wirel. Commun. Netw. 48, 1–5 (2016)
Metadata
Title
Research on the Formal Representation of ATML Documents
Authors
Shuyi Fan
Huixia Jiang
Baohua Wei
Wanming Liu
Copyright Year
2018
Publisher
Springer Singapore
DOI
https://doi.org/10.1007/978-981-10-3229-5_104