Advertisement

Journal of Signal Processing Systems

, Volume 83, Issue 1, pp 113–128 | Cite as

Achieving SCA Conformance Testing with Model-Based Testing

  • Julien Botella
  • Jean-Philippe Delahaye
  • Eddie Jaffuel
  • Bruno Legeard
  • Fabien Peureux
Article

Abstract

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.

Keywords

Software communications architecture (SCA) Conformance testing Model-based testing (MBT) Dynamic testing 

Notes

Acknowledgments

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).

References

  1. 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. 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. 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
  4. 4.
    Bernard, E., Legeard, B., Luck, X., & Peureux, F. (2004). Generation of test sequences from formal specifications: GSM 11-11 standard case study. International Journal of Software Practice and Experience, 34(10), 915–948.CrossRefGoogle Scholar
  5. 5.
    Bouquet, F., Grandpierre, C., Legeard, B., & Peureux, F. (2008). A test generation solution to automate software testing. In Proceedings of the 3 rd Int. Workshop on Automation of Software Test (AST’08) (pp. 45–48). Leipzig: ACM Press.CrossRefGoogle Scholar
  6. 6.
    Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., & Utting, M. (2007). A subset of precise UML for model-based testing. In Proceedings of the 3 rd International Workshop on Advances in Model-Based Testing (AMOST’07) (pp. 95–104). London: ACM Press.CrossRefGoogle Scholar
  7. 7.
    Dias-Neto, A., & Travassos, G. (2010). A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges. Advances in Computers, 80, 45–120. ISSN 0065-2458.CrossRefGoogle Scholar
  8. 8.
    ETSI: Conformance Testing. http://www.etsi.org/technologies-clusters/technologies/testing . (last accessed January 2015).
  9. 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. 10.
    GlobalPlatform (2001). GlobalPlatform Card Specification Version 2.2.1. http://www.globalplatform.org/specificationscard.asp. (last accessed January 2015).
  11. 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. 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. 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. 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
  15. 15.
    Riccobene, E., & Scandurra, P. (2014). A formal framework for service modeling and prototyping. Formal Aspects of Computing, 26(6), 1077–1113.MathSciNetCrossRefGoogle Scholar
  16. 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. 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. 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. 19.
    Warmer, J., & Kleppe, A. (1999). The Object Constraint Language: Precise Modeling with UML, 2nd: Addison-Wesley. ISBN 0-2013-7940-6.Google Scholar
  20. 20.
    Zhu, H., & Belli, F. (2009). Advancing test automation technology to meet the challenges of model-based software testing. Information and Software Technology, 51, 1485–1486. ISSN 0950- 5849.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2015

Authors and Affiliations

  • Julien Botella
    • 1
  • Jean-Philippe Delahaye
    • 2
  • Eddie Jaffuel
    • 3
  • Bruno Legeard
    • 1
    • 4
  • Fabien Peureux
    • 1
    • 4
  1. 1.Smartesting R&D CenterBesançonFrance
  2. 2.DGA/CELARFrench MoDBruzFrance
  3. 3.eConsultCussey-sur-l’OgnonFrance
  4. 4.Institut FEMTO-ST, UMR CNRS 6174BesançonFrance

Personalised recommendations