APSL: A light weight testing tool for protocols with complex messages

Tom Tervoort, I. S.W.B. Prasetya

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationHardware and Software
Subtitle of host publicationVerification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings
EditorsRachel Tzoref-Brill, Ofer Strichman
PublisherSpringer Verlag
Pages241-244
Number of pages4
ISBN (Print)9783319703886
DOIs
Publication statusPublished - 2017
Event13th International Haifa Verification Conference, HVC 2017 - Haifa, Israel
Duration: 13 Nov 201715 Nov 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10629 LNCS

Conference

Conference13th International Haifa Verification Conference, HVC 2017
Country/TerritoryIsrael
CityHaifa
Period13/11/201715/11/2017

Keywords

  • Model based testing of protocols

Cite this