Abstract
Many real world communication protocols exchange complex messages, consisting of multiple nested fields, some could have values that depend on other fields. To properly test an implementation, it is not sufficient to only explore different orders of message exchanges. We also need to test if the implementation produces correctly formatted messages, and responds correctly when it receives different variations of every message type. This paper presents a light weight model based testing tool called APSL. Models are described as labelled transitions systems, from which abstract test sequences can be generated. APSL’s main contribution is in its language for describing complex message formats, text-based or binary, allowing APSL to automatically concretize abstract test sequences, and check incoming messages for their type and format conformance. Testing works out thus of the box: developers do not need to first write a dedicated concretization layer, which would otherwise require substantial investment.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Belinfante, A., Frantzen, L., Schallhart, C.: 14 tools for test case generation. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 391–438. Springer, Heidelberg (2005). https://doi.org/10.1007/11498490_18
Elyasov, A., Prasetya, I.S.W.B., Hage, J., Nikas, A.: Reduce first, debug later. In: 9th Int. Workshop on Automation of Software Test, pp. 57–63. ACM (2014)
Fernandez, J.-C., Jard, C., Jéron, T., Viho, C.: Using on-the-fly verification techniques for the generation of test suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 348–359. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61474-5_82
ITU: ASN.1 Project. http://www.itu.int/en/ITU-T/asn1
Tervoort, T.: APSL. https://git.science.uu.nl/prase101/apsl
Tretmans, J., Brinksma, E.: TorX: automated model-based testing. In: 1ST European Conf. on Model-Driven Software Engineering (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Tervoort, T., Prasetya, I.S.W.B. (2017). APSL: A Light Weight Testing Tool for Protocols with Complex Messages. In: Strichman, O., Tzoref-Brill, R. (eds) Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer Science(), vol 10629. Springer, Cham. https://doi.org/10.1007/978-3-319-70389-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-70389-3_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-70388-6
Online ISBN: 978-3-319-70389-3
eBook Packages: Computer ScienceComputer Science (R0)