2011 Working Papers
Permanent URI for this collection
Recent Submissions
Item Improving our fitnesse: From concrete executions to partial specification(Working Paper, University of Waikato, Department of Computer Science, 2011-04-07) Streader, David; Utting, Mark; Mugridge, RickFitnesse and FIT [5] allow systems tests to be written by non-programmers using a Wiki or HTML style of input. However, there is little support for syntactic and semantic checks as the tests are being designed. This paper describes a support tool for designing table-based test cases that gives deep semantic analysis about a set of test cases. It uses a variety of strategies such as pairwise analysis, boundary value analysis and test case subsumption to suggest missing test cases and to generalise concrete tests into more abstract tests. The goal is to interactively improve the quality of test suites during the test design phase.Item An implementation of a compositional approach for verifying generalised nonblocking(Working Paper, University of Waikato, Department of Computer Science, 2011-04-27) Francis, RachelGeneralised nonblocking is a property of discrete-event systems which verifies liveness. It was introduced to overcome the weaknesses of standard nonblocking. Verifying generalised nonblocking of real-world models often involves exploring state-spaces which will exceed available memory. A compositional verification approach has been developed to achieve verification for models of a much larger size. For this project, we have developed the first implementation for compositionally verifying generalised nonblocking. In addition, we have experimented with the techniques used in compositional verification, and analysed their performance. Our algorithm has successfully verified a large set of industrial-size models, including at least one large model which had not been verified before.Item A review of user interface adaption in current semantic web browsers(Working Paper, University of Waikato, Department of Computer Science, 2011-02-08) Turner, Emmanuel King; Hinze, Annika; Jones, SteveThe semantic web is an example of an innumerable corpus because it contains innumerable subjects expressed using innumerable ontologies. This paper reviews current semantic web browsers to see if they can adaptively show meaningful data presentations to users. The paper also seeks to discover if current semantic web browsers provide a rich enough set of capabilities for future user interface work to be built upon.Item Three variations of observation equivalence preserving synthesis abstraction(Working Paper, University of Waikato, Department of Computer Science, 2011-01-26) Mohajerani, Sahar; Malik, Robi; Ware, Simon; Fabian, MartinIn a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata. In the current paper, observation equivalence is studied in relation to synthesis abstraction. It is shown that general observation equivalence is not useful for synthesis abstraction. Instead, we introduce additional conditions strengthening observation equivalence, so that it can be used with the compositional synthesis method. The paper concludes with an example showing the suitability of these relations to achieve substantial state reduction while computing a modular supervisor.