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 条
  • [41] Model-Based Testing of Electronic Passports
    Mostowski, Wojciech
    Poll, Erik
    Schmaltz, Julien
    Tretmans, Jan
    Schreur, Ronny Wichers
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 207 - 209
  • [42] Model-based Testing of Scratch Programs
    Goetz, Katharina
    Feldmeier, Patric
    Fraser, Gordon
    2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, : 411 - 421
  • [43] A symbolic framework for model-based testing
    Frantzen, L.
    Tretmans, J.
    Willemse, T. A. C.
    FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 40 - +
  • [44] Efficient model-based bioequivalence testing
    Moellenhoff, Kathrin
    Loingeville, Florence
    Bertrand, Julie
    Nguyen, Thu Thuy
    Sharan, Satish
    Zhao, Liang
    Fang, Lanyan
    Sun, Guoying
    Grosser, Stella
    Mentre, France
    Dette, Holger
    BIOSTATISTICS, 2022, 23 (01) : 314 - 327
  • [45] Model-based testing: Challenges ahead
    Heimdahl, MPE
    Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005, : 330 - 330
  • [46] Model-based testing through a GUI
    Kervinen, Antti
    Maunumaa, Mika
    Paakkonen, Tuula
    Katara, Mika
    FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 : 16 - 31
  • [47] Fast model-based penetration testing
    Singh, S
    Lyons, J
    Nicol, DM
    PROCEEDINGS OF THE 2004 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2004, : 309 - 317
  • [48] Model-based testing with Spec#
    Jacky, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 5 - 6
  • [49] Model-Based Testing for Avionics Systems
    Brauer, Joerg
    Schulze, Uwe
    FORMAL METHODS, 2018, 10951 : 657 - 661
  • [50] Model-Based Automated Accessibility Testing
    Brajnik, Giorgio
    Pighin, Chiara
    Fabbro, Sara
    ASSETS'15: PROCEEDINGS OF THE 17TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS & ACCESSIBILITY, 2015, : 319 - 320