Abstract

This thesis addresses the problem of formal modelling and test generation, from system requirements represented in the form of Use Case Maps. In the first part of our thesis, we present an existent development methodology based on Use Case Maps for the design of the requirements and on LOTOS and SDL for the formal modeling of telecommunication systems. We follow this methodology for the formal specification and validation of a telephony system using LOTOS. In the second part of the thesis, we develop a method for the automatic generation of LOTOS scenarios from Use Case Maps called Ucm2LotosTests. The obtained scenarios can be used for the verification of the LOTOS specification built from the same Use Case Maps and for conformance testing purposes at the implementation stage. Finally, we propose a development methodology based on Use Case Maps for the design of the requirements and on LOTOS for the formal modeling of the system. In addition, this methodology offers a fast test generation process; it proposes the use of Ucm2LotosTests for the automatic generation of LOTOS scenarios from requirements in UCM and of TGV for the automatic generation of TTCN test suites from LOTOS. The methodology is illustrated with a case study which is a telephony system providing the basic call feature.

-- JasonKealey - 12 Oct 2005

Discussion

  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Formal Modeling and Test Generation Automation with Use Case Maps and LOTOS
Authors L. Charfi
Type Thesis
Conference/Journal Title
Volume/Number
Editors
Publisher SITE, University of Ottawa
Month February
Year 2001
Pages 116
DOI
Keywords formal modelling, test generation, use case maps, lotos, sdl, TTCN test suites, conformance testing
Topic attachments
I Attachment Action Size Date Who Comment
lc_msc.pdfpdf lc_msc.pdf manage 506 K 12 Oct 2005 - 16:36 JasonKealey Charfi MSc Thesis
Topic revision: r3 - 08 Mar 2010, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback