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 条
  • [31] Assessing the testing skills transfer of model-based testing on testing skill acquisition
    Cammaerts, Felix
    Snoeck, Monique
    [J]. SOFTWARE AND SYSTEMS MODELING, 2024, 23 (04): : 953 - 971
  • [32] Investigating The Effectiveness of Model-Based Testing on Testing Skill Acquisition
    Cammaerts, Felix
    Verbruggen, Charlotte
    Snoeck, Monique
    [J]. PRACTICE OF ENTERPRISE MODELING, POEM 2022, 2022, 456 : 3 - 17
  • [33] Model-Based Testing for Asynchronous Systems
    Graf-Brill, Alexander
    Hermanns, Holger
    [J]. CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 66 - 82
  • [34] Testing concept for model-based development
    Fey, Ines
    [J]. WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 7, 2005, : 48 - 52
  • [35] Model-based regression testing by OCL
    Philipp Zech
    Philipp Kalb
    Michael Felderer
    Colin Atkinson
    Ruth Breu
    [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 115 - 131
  • [36] Model-based testing of optimizing compilers
    Zelenov, Sergey
    Zelenova, Sophia
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 365 - +
  • [37] Model-Based Testing of Networked Applications
    Li, Yishuai
    Pierce, Benjamin C.
    Zdancewic, Steve
    [J]. ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 529 - 539
  • [38] Model-based testing of automotive electronics
    Lamberg, Klaus
    [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 89 - 89
  • [39] Incremental Model-based Mutation Testing
    Tiran, Stefan
    [J]. 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [40] A model-based approach for robustness testing
    Fernandez, JC
    Mounier, L
    Pachon, C
    [J]. TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 333 - 348