TY - GEN
T1 - APSL
T2 - 13th International Haifa Verification Conference, HVC 2017
AU - Tervoort, Tom
AU - Prasetya, I. S.W.B.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
KW - Model based testing of protocols
UR - http://www.scopus.com/inward/record.url?scp=85034575911&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-70389-3_20
DO - 10.1007/978-3-319-70389-3_20
M3 - Conference contribution
AN - SCOPUS:85034575911
SN - 9783319703886
VL - 10629 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 241
EP - 244
BT - Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings
PB - Springer
Y2 - 13 November 2017 through 15 November 2017
ER -