Modeling, verifying and testing mobility protocol from SDL language

Authors:
Francine Ngani Noudem;César Viho
Affiliations:
IRISA, Université de Rennes I, Rennes Cedex, France;IRISA, Université de Rennes I, Rennes Cedex, France
Venue:
SDL'05 Proceedings of the 12th international conference on Model Driven
Year:
2005

Citing 2
Cited 1

Autolink: A Tool for Automatic Test Generation from SDL Specifications

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Rapid generation of functional tests using MSCs, SDL and TTCN

Computer Communications

TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks

TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with mobility protocols specification, validation and testing using a formal approach. A well suited SDL model is proposed to handle the component-based nature of Mobile systems. Two solutions are proposed to derive automatically TTCN-3 test cases from the SDL model.