KIRILL-RESEARCH.COM

In traditional software development, specification and testing do not play an important role. In particular, changes to software code do not normally get reflected in a specificaton. At the same time, specification-based testing methods are very important for maintaing software quality, for identification of missing or incorrectly-implemented behaviour. The project aims to develop a method and a tool to take an incomplete state-based specification, hints for developers as to how it relates to code and both extract a complete (up-to-date) specification and generate tests from it... A number of existing specificaton-based testing methods rely on a program under test being built with testing in mind, and loose a lot in power if this is not true. In this project, observation of program behaviour under test will be used to make up for the missing information about a system, making it more amenable to testing using these methods... Previously a research associate (RA) from 1 Oct 99 until..

Primary location: Sheffield United Kingdom