System Test Synthesis from UML Models of Distributed Software

Abstract

Abstract. The object-oriented software development process is increasingly used for the construction of both centralised and distributed systems. As yet, however, formal V&V techniques have not found much use in the objectoriented context, in spite of the fact that some are now mature enough to be exercised in real world applications. In this paper, we investigate the use of formal validation in a UML-based development process. We present a method and a tool for automated synthesis of test cases from generic test scenarios and a design model of the application, remaining entirely within the UML framework. The underlying "on the fly" test synthesis algorithms are based on the input/output labelled transition formalism, which is particularly appropriate for modelling applications which may involve asynchronous communication. We illustrate the system test synthesis process using an Air Traffic Control software case study.

Action synchronization in P2P system testing

“…The purpose of conformance testing is to determine to what extent the implementation of a system conforms to its specification. The tester specifies the system using Finite State Machines [6,10,5], Labeled Transition Systems [11,15,12] and uses this specification to generate a test suite that is able to verify (total or partially) whether each specified transition is correctly implemented. The tester then observes the events sent among the different nodes of the system and verifies that the sequence of events corresponds to the state machine (or the transition system).…”

Adapting Gene Expression Programming to Quality Assurance Standards

“…Written methods include Natural Language Specifications and/or Formal Language Specifications while graphic methods are represented using diagrams. The latest and broadest of the graphical methods which are commonly being used at the present time is the Unified Modeling Language (UML) [8] [9]. The UML has a number of diagrams that represent information about the software system in a graphical way that includes a presentation of each of the software development life cycles.…”

Conformance Relations for Distributed Testing Based on CSP

“…Here, we address these issues for testing based on CSP, in the line of works by Jard et al [12,13,11], Ural and Williams [16], and Hierons and Nunez [7,8].…”