Sciweavers

JSS
2002

Software requirements validation via task analysis

13 years 11 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of software requirements was proposed in which requirements definitions are tested on a set of task scenarios by examining software behaviour in each scenario described by an activity list. Such descriptions of software behaviour can be generated automatically from requirements models. This paper investigates various testing methods for selecting test scenarios. Data flow, state transition and entity testing methods are studied. A variety of test adequacy criteria and their combinations are formally defined and the subsume relations between the criteria are proved. Empirical studies of the testing methods and the construction of a prototype testing tool are reported.
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JSS
Authors Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
Comments (0)