Achieving SCA Conformance Testing with Model-Based Testing
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.
KeywordsSoftware communications architecture (SCA) Conformance testing Model-based testing (MBT) Dynamic testing
This work has been supported by the ANR ASTRID project OSeP (On-line and Off-line Model-Based Testing of Security Properties, ANR 11 ASTR 002). See http://osep.univ-fcomte.fr (last access June 2015).
- 1.Bernabeu, G., Jaffuel, E., Legeard, B., & Peureux, F. (2014). MBT for GlobalPlatform compliance testing: Experience report and lessons learned. In Proceedings of the 25 th International Symposium on Software Reliability Engineering (ISSRE’14) (pp. 66–70). Naples: IEEE Computer Society Press.Google Scholar
- 2.Bernabeu, G., & Lavabre, N. (2013). Model-based testing for a world-wide compliance program. In 1 st User Conference on Advanced Automated Testing (UCAAT’13). Paris France. http://ucaat.etsi.org/2013/presentations/Keynote_MBT%20for%20a%20Compliance%20Program-GlobalPlatform-GilBernabeu.pdf. (last accessed January 2015).
- 3.Bernard, E., Bouquet, F., Charbonnier, A., Legeard, B., Peureux, F., Utting, M., & Torreborre, E. (2006). Model-based testing from UML models. In Proceedings of the International Workshop on Model-Based Testing (MBT’06), LNI, vol. 94 (pp. 223–230). Dresden: GI.Google Scholar
- 8.ETSI: Conformance Testing. http://www.etsi.org/technologies-clusters/technologies/testing . (last accessed January 2015).
- 9.Ezick, J., & Springer, J. (2011). The benefits of static compliance testing for sca next. In Wireless innovation forum conference on communication technologies and software defined radio (SDR-WInnComm’11).Google Scholar
- 10.GlobalPlatform (2001). GlobalPlatform Card Specification Version 2.2.1. http://www.globalplatform.org/specificationscard.asp. (last accessed January 2015).
- 11.JTNC Standards, Joint Tactical Networking Center, Final/15 V.2.2.2: JTRS/JPEO Software Communications Architecture Specification (2006). http://jtnc.mil/sca/Pages/default.aspx. (last access January 2015).
- 12.JTRS Test and Evaluation Laboratory (2010). SCA 2.2.2 Application Requirements List version 2.2 Release Notes. https://jtel.spawar.navy.mil/docs/sca_2_2_2_application_requirements_list_v2.2.pdf. (last access January 2015).
- 13.Li, S., Bourdellès, M., Acebedo, A., Botella, J., & Peureux, F. (2012). Experiment on using model-based testing for automatic tests generation on a software radio protocol. In Proceedings of the 9 th Int. Workshop on Systems Testing and Validation (STV’12), pp. 79–84. Paris, France.Google Scholar
- 14.Nguyen, H., Hackett, M., & Whitlock, B. (2006). Global Software Test Automation: A Discussion of Software Testing for Executives. Happy About books. ISBN 1-6000-5011-5.Google Scholar
- 16.Rumbaugh, J., Jacobson, I., & Booch, G. (2005). The Unified Modeling Language Reference Manual, 2 nd: Addison-Wesley. ISBN 0-3212-4562-8.Google Scholar
- 17.Seignole, V., Hachet, O., Counil, B., & Balp, H. (2010). Method and system for encapsulating a plurality of software components compatible with the CCM standard into a software standard compatible with the SCA standard. WO Patent App. PCT/EP2009/065,831. Google Patents.Google Scholar
- 18.Utting, M., & Legeard, B. (2006). Practical Model-Based Testing - A tools approach. Morgan Kaufmann, San Francisco, CA, USA. ISBN 0-1237-2501-1.Google Scholar
- 19.Warmer, J., & Kleppe, A. (1999). The Object Constraint Language: Precise Modeling with UML, 2nd: Addison-Wesley. ISBN 0-2013-7940-6.Google Scholar