RASL:嵌入式自动化测试语言
详细信息    查看全文 | 推荐本文 |
  • 英文篇名:RASL:Embedded automatic test language
  • 作者:刘继华 ; 白凤凤 ; 强彦
  • 英文作者:LIU Ji-hua;BAI Feng-feng;QIANG Yan;Department of Computer Science and Technology,Luliang University;School of Computer Science and Engineering,Beihang University;College of Computer Science and Technology,Taiyuan University of Technology;
  • 关键词:嵌入式系统 ; 自动化测试 ; 测试语言 ; 协议描述 ; 实时仿真
  • 英文关键词:embedded testing;;automated testing;;testing language;;protocol description;;real-time simulation
  • 中文刊名:SJSJ
  • 英文刊名:Computer Engineering and Design
  • 机构:吕梁学院计算机科学与技术系;北京航空航天大学计算机学院;太原理工大学计算机科学与技术学院;
  • 出版日期:2019-06-16
  • 出版单位:计算机工程与设计
  • 年:2019
  • 期:v.40;No.390
  • 基金:国家自然科学基金项目(61572344);; 国家重点实验室开放基金项目(VRLAB2018A08、BUAA-VR-16KF-13);; 山西省教育厅教学改革基金项目(J2018193);; 吕梁学院校级自然基金项目(zrxn201507)
  • 语种:中文;
  • 页:SJSJ201906025
  • 页数:6
  • CN:06
  • ISSN:11-1775/TP
  • 分类号:149-154
摘要
针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷,设计一种可应用于嵌入式系统软件测试的测试描述语言RASL。详细阐述RASL语言的运行模式、设计思想、模型和程序结构,通过实例验证了该语言在支持嵌入式系统的自动化测试的有效性。
        Targeting the defects of the signal oriented test language ATLAS2000 and the protocol oriented testing language TNCC-3,a test description language was described,RASL,which could be used for embedded system software testing.The operation mode,design idea,model and program structure of RASL language were expatiated in detail,and the validity of this language in supporting embedded system was verified through an example.
引文
[1]LIANG Xiao,ZHANG Bo,HUANG Dawei.Construction of ATLAS program structure analysis[J].Aviation Maintenance and Engineering,2016,61(2):62-65(in Chinese).[梁潇,张博,黄大伟.ATLAS程序语言结构分析[J].航空维修与工程,2016,61(2):62-65.]
    [2]YUAN Tao,CHENG Chunhua,YAO Linghong,et al.Designing auto-test system of a indicator based on language AT-LAS[J].Electronic Measurement Technology,2017,40(5):129-133(in Chinese).[袁涛,程春华,姚凌虹,等.基于ATLAS语言的某指示器自动测试程序设计[J].电子测量技术,2017,40(5):129-133.]
    [3]LI Ming.Implementation of ARINC429bus communication in the ATLAS[J].Measurement and Control Technology,2013,32(4):90-91(in Chinese).[李明.一种用ATLAS语言实现ARINC429总线测试的方法[J].测控技术,2013,32(4):90-91.]
    [4]PU Jiankai.General automation test platform design of avionics system based on ATLAS[J].Measurement and Control Technology,2014,33(4):178-190(in Chinese).[浦建开.基于ATLAS的航电系统通用自动化测试平台设计[J].测控技术,2014,33(4):178-190.]
    [5]Stewart G A,Baines J,Bold T,et al.Multi-threaded software framework development for the ATLAS experiment[J].Journal of Physics Conference Series,2016,762(1):012024.
    [6]Thierry Lavoie,Mathieu Mérineau,Ettore Merlo,et al.Acase study of TTCN-3test scripts clone analysis in an industrial telecommunication setting[J].Information and Software Technology,2017,87(7):32-45.
    [7]Stepien B,Eze B,Peyton L.Testing policy-based e-Health monitoring processes using TTCN-3[C]//International Conference on E-Technologies,2015:197-211.
    [8]Yushev A,Schappacher M,Sikora A.Titan TTCN-3based test framework for resource constrained systems[C]//MATEC Web of Conferences.EDP Sciences,2016.
    [9]Stepien B,Mallur K,Peyton L.Testing business processes using TTCN-3[C]//International SDL Forum.Cham:Springer,2015:252-267.
    [10]Hwang T,Lee I.Design of an energy interoperation conformance test system using TTCN-3[C]//International Conference on Information Communication and Management.IEEE,2016:245-248.
    [11]Szabados K,Kovács A,Jenei G,et al.Titanium:Visualization of TTCN-3system architecture[C]//IEEE International Conference on Automation,Quality and Testing,Robotics.IEEE,2016:1-5.
    [12]Rennoch A,Wendland M F,Hoffmann A,et al.Advanced test modelling and execution based on the international standardized techniques TTCN-3and UTP[C]//International Conference on Trustworthy Computing and Services.Berlin:Springer,2014:245-252.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700