Achieving SCA Conformance Testing with Model-Based Testing

被引:0
|
作者
Julien Botella
Jean-Philippe Delahaye
Eddie Jaffuel
Bruno Legeard
Fabien Peureux
机构
[1] Smartesting R&D Center,DGA/CELAR
[2] French MoD,undefined
[3] eConsult,undefined
[4] Institut FEMTO-ST,undefined
[5] UMR CNRS 6174,undefined
来源
关键词
Software communications architecture (SCA); Conformance testing; Model-based testing (MBT); Dynamic testing;
D O I
暂无
中图分类号
学科分类号
摘要
The Software Communications Architecture (SCA) is a software architecture provided and published by the Joint Tactical Networking Center (JTNC). Facing the multiplicity of the waveforms and the diversity of the platform architectures and form factors, the original aims of the SCA are to facilitate the waveform development in terms of portability and waveform deployments onto heterogeneous Software Defined Radio (SDR) platforms. In this paper, we present an approach using Model-Based Testing (MBT) to ensure the conformance of a software radio platform with SCA requirements. In this approach, an MBT model is developed on the basis of SCA specifications, and conformance tests and scripts are generated and then run on the targeted software radio platform. This approach has been developed within a French research project, called OSeP, with results regarding modeling for automated test generation for SCA conformance testing. The techniques involved in this project focus on functional requirements and automatically generate Java executable test scripts, which aim to evaluate the functional conformance of the software implementation with respect to their associated requirements.
引用
收藏
页码:113 / 128
页数:15
相关论文
共 50 条
  • [1] Achieving SCA Conformance Testing with Model-Based Testing
    Botella, Julien
    Delahaye, Jean-Philippe
    Jaffuel, Eddie
    Legeard, Bruno
    Peureux, Fabien
    [J]. JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2016, 83 (01): : 113 - 128
  • [2] Model-based firewall conformance testing
    Brucker, Achim D.
    Bruegger, Lukas
    Wolff, Burkhart
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2008, 5047 : 103 - +
  • [3] Model-based testing of environmental conformance of components
    Frantzen, Lars
    Tretmans, Jan
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2007, 4709 : 1 - +
  • [4] Model-Based Testing of PLC Programs With Appropriate Conformance Relations
    Guignard, Anais
    Faure, Jean-Marc
    Faraut, Gregory
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2018, 14 (01) : 350 - 359
  • [5] Using model-based testing to assess smart card interoperability conformance
    Blackburn, M
    Chandramouli, R
    [J]. INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 2, PROCEEDINGS, 2004, : 23 - 28
  • [6] Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
    Lima, Bruno
    Faria, Joao Pascoal
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 356 - 365
  • [7] Architecture conformance analysis using model-based testing: A case study approach
    Uzun, Burak
    Tekinerdogan, Bedir
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (03): : 423 - 448
  • [8] Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
    Aichernig, Bernhard K.
    Tappler, Martin
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 320 : 3 - 19
  • [9] Combinatorial testing and model-based testing
    Hierons, Robert M.
    Xie, Tao
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2022, 32 (02):
  • [10] Model-Based Testing
    Schieferdecker, Ina
    [J]. IEEE SOFTWARE, 2012, 29 (01) : 14 - 18