Supporting Repeatable Requirements Defect Detection with Behavior Trees

Speaker: Dan Powell (Griffith University)

When: 4:00, Friday, 24 September 2004

Venue: 78-420

Useful processes, that are independently repeatable, are utilised in all branches of science and traditional engineering disciplines but seldom in software systems engineering. This is particularly so with processes for analysing and detecting defects in requirements. A formal representation for individual and integrated functional requirements, called behavior trees, makes it possible to systematically detect certain types of defects. We demonstrate how the systematic transformation of requirements to behavior trees and the subsequent integration of these behavior trees supports the identification of requirements defects relating to ambiguity, incompleteness and inconsistency. Due to the formal nature of behavior trees, some of these problems may be detected mechanically.

Hospitality: Kirsten Winter

Contact: Phil Cook (SSE seminar co-ordinator) (philc@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html