Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Achieving SCA Conformance Testing with Model-Based Testing

  • Published:
Journal of Signal Processing Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Figure 1
Figure 2
Figure 3
Figure 4
Figure 5
Figure 6
Figure 7
Figure 8
Figure 9
Figure 10
Figure 11
Figure 12
Figure 13
Figure 14
Figure 15

Similar content being viewed by others

Notes

  1. http://osep.univ-fcomte.fr (last access June 2015).

  2. http://www.smartesting.com (last access June 2015).

References

  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 

  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.

    Article  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

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

  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.

  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.

  15. Riccobene, E., & Scandurra, P. (2014). A formal framework for service modeling and prototyping. Formal Aspects of Computing, 26(6), 1077–1113.

    Article  MathSciNet  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.

  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.

  18. Utting, M., & Legeard, B. (2006). Practical Model-Based Testing - A tools approach. Morgan Kaufmann, San Francisco, CA, USA. ISBN 0-1237-2501-1.

  19. Warmer, J., & Kleppe, A. (1999). The Object Constraint Language: Precise Modeling with UML, 2nd: Addison-Wesley. ISBN 0-2013-7940-6.

  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.

    Article  Google Scholar 

Download references

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

Author information

Authors and Affiliations

  1. Smartesting R&D Center, 25000, Besançon, France

    Julien Botella, Bruno Legeard & Fabien Peureux

  2. DGA/CELAR, French MoD, 35170, Bruz, France

    Jean-Philippe Delahaye

  3. eConsult, 25870, Cussey-sur-l’Ognon, France

    Eddie Jaffuel

  4. Institut FEMTO-ST, UMR CNRS 6174, 25030, Besançon, France

    Bruno Legeard & Fabien Peureux

Authors
  1. Julien Botella
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean-Philippe Delahaye
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eddie Jaffuel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Bruno Legeard
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Fabien Peureux
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fabien Peureux.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Botella, J., Delahaye, JP., Jaffuel, E. et al. Achieving SCA Conformance Testing with Model-Based Testing. J Sign Process Syst 83, 113–128 (2016). https://doi.org/10.1007/s11265-015-1089-y

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11265-015-1089-y

Keywords

Search

Navigation