Software requirements validation via task analysis

  • Authors:

  • Hong Zhu;Lingzi Jin;Dan Diaper;Ganghong Bai

  • Affiliations:

  • School of Computing and MAthematical Sciences, Oxford Brookes University, Wheatley Campus, Oxford OX33 1HX, UK;AIT Ltd., The Malthouse, 45 New Street, Henley-on-Thames, Oxfordshire RG9 2BP, UK;School of Design, Engineering and Computing, Bournemouth University, Poole, Dorset, BH12 5BB, UK;Bell Labs, Lucent Technologies, 9th Floor, Hao Ran High Tech. Bldg, 1954 SJTU, Hua Shan Rd., Shanghai 200030, China

  • Venue:
  • Journal of Systems and Software
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.