Learn More
The merit of automatic graph layout algorithms is typically judged by their computational efficiency and the extent to which they conform to aesthetic criteria (for example, minimising the number of crossings, maximising orthogonality). Experiments investigating the worth of such algorithms from the point of view of human usability can take different forms,(More)
This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining an operational profile and test output evaluation are two difficult and important problems that must be addressed in such a framework. Determining an operational profile is difficult,(More)
i I declare that the work presented in this thesis is, to the best of my knowledge, original and my own work, except as acknowledged in the text, and that it has not been submitted, either in whole or in part, for a degree at this, or any other, university. ii Acknowledgements I cannot adequately express my gratitude to my supervisor, Dr David Carrington,(More)
Post-deployment maintenance and evolution can account for up to 75% of the cost of developing a software system. Software refactoring can reduce the costs associated with evolution by improving system quality. Although refactoring can yield benefits, the process includes potentially complex, error-prone, tedious and time-consuming tasks. It is these tasks(More)
Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal speciications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal speciication of the class(More)