Wei Zhao MSc Dissertation 2014/15

Visual Editor for State-based Specifications

Supervised by A.Simons

Abstract

Broker@Cloud project aims to develop methods for continuous quality assurance for Cloud service brokers.The testing module of Broker@Cloud project accepts service specification, which is written in a particular XML format and generates test suits for identifying faults.

The aim of this project is to make it easy for everyone to create a correct specification, including people who are not familiar with computers. This paper reports the implementation of an Eclipse-based visual editor, which allows user to draw specification in a visual environment, expressed visually as a extended finite-state machine and outputs the result in XML format. This editor is developed using Eclipse and graphical modeling framework.

The result shows that the editor could be used to draw graphical specification easily by simple operations, such as clicking and dragging. And it can generate correct result, which can be used in Broker@Cloud's testing tools.