Multi-SincronizaÃÃo em menssage sequence charts

AUTOR(ES)
DATA DE PUBLICAÇÃO

2008

RESUMO

Message Sequence Charts (MSC) is a visual trace language, extensively used in academy and industry, to describe the communication behavior of system components and their environment. The MSC syntax and semantics are now a standard defined by the International Telecommunication Union (ITU). The motivation for this work has originated from an eort to model scenarios of mobile device applications for the purpose of automatic test generation, in the context of a collaboration project between Centro de InformÃtica of the Universidade Federal de Pernambuco (CIn-UFPE) and Motorola Inc. Modeling some applications which involved multi-synchronization with the standard MSC has resulted in diagrams dicult to understand or with a behavior dierent from the intended one. We propose an extension to MSC in order to allow messages to be synchronous. The proposed synchronous messages denote events that are instantaneous (we abstract the real time duration for a communication to be established) and may involve multiple instances. Our extension is conservative in the sense that it allows diagrams to contain both synchronous and asynchronous messages. We developed a transformation algorithm which takes an extended MSC diagram and generates a diagram in the standard MSC. This transformation algorithm implements synchronous messages as a sequence of asynchronous messages following a particular handshake protocol. A second contribution of this work is the definition of a semantics for MSC (both the standard and our extension) using the process algebra CSP. The semantics is defined in an algebraic way: instances and messages of an MSC diagram are CSP processes running in parallel. The formalisation of MSC in CSP allows us to show the equivalence between an extended MSC diagram and its corresponding standard diagram (generated by the transformation algorithm). Moreover, modelling MSC as a CSP process allows us to reason about MSC diagrams by using the rich set of algebraic laws of CSP, as well as its tools, like FDR and CSP-prover. Finally, for validating this proposed strategy, an example has been development to illustrate the synchronous notation and the transformation from the extended notation to the standard one. Furthermore, we show the PTK Tool, and its use for in test case generation from MSC models

ASSUNTO(S)

comunicaÃÃo sÃncrona geraÃÃo de testes engenharia de software message sequence charts power tool kit (ptk) synchronous communication test case generation communicating sequential processes(csp) power tool kit(ptk) communicating sequential processes (csp) message sequence charts (msc)

ACESSO AO ARTIGO

Documentos Relacionados