Software requirements validation via task analysis

Journal of Systems and Software

Volumn 61, Issue 2, 2002, Pages 145-169

  Zhu, Hong ^a   Jin, Lingzi ^b   Diaper, Dan ^c   Bai, Ganghong ^d  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

^b AIT Ltd   (United Kingdom)

^c BOURNEMOUTH UNIVERSITY   (United Kingdom)

^d LUCENT TECHNOLOGIES   (United States)

Author keywords

Activity list; Automatic test case generation; Combination of test criteria; Data flow diagram; Entity relation diagram; Requirements definition; Software requirements; Software testing; State transition diagram; Subsume relation; Task analysis; Test adequacy criteria

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; MATHEMATICAL MODELS;

STATE TRANSITION DIAGRAMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0037086161     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(01)00109-1     Document Type: Article

References (76)

1. Using UML collaboration diagrams for static checking and test generation
2. Testing for linear errors in non-linear computer programs
3. Using Z specifications in category partition testing
4. Using formal methods to derive test frames in category-partition testing
5. Using scenarios in deficiency-driven requirements engineering
6. Task analysis and training design
7. Special issue: Task analysis
8. Comparing the effectiveness of software testing
9. Software testing based on formal specifications: A theory and a tool
10. Deriving test plans from architectural descriptions
11. Software engineering economics
12. Test set generation from algebraic specifications using logic programming
13. Mutation analysis: Ideas, examples, problems and prospects
14. TACCLE: A methodology for object-oriented software testing at the class and cluster levels
15. ROCS: An object-oriented class-level testing system based on the relevant observable contexts technique
16. A close look at domain testing
17. Hints on test data selection: Help for the practising programmer
18. Human-computer interaction and software engineering: Integrating task and data flow analyses using the pentanalysis technique
19. An applicable family of data flow testing criteria
20. A formal analysis of the fault-detecting ability of testing methods
21. Test selection based on finite state models
22. Toward a theory of test data selection
23. Requirements elicitation and validation with real world scenes
24. Reliability of the path analysis testing strategy
25. Weak mutation testing and completeness of test sets
26. Formal approach to scenario analysis
27. Automatic generation of formal specification from requirements definition
28. Description and analysis of use scenarios in requirements engineering
29. Adequate testing of hypertext applications
30. Tasks, skills and knowledge: Task analysis for knowledge based descriptions
31. Requirements engineering in small and medium enterprises
32. A data flow oriented program testing strategy
33. Cognitive ergonomics and human-computer interaction: An introduction
34. Research and the design of human-computer interactions or What happened to validation?
35. Specifications in software prototyping
36. A review of tool support for software inspection
37. Automating the software inspection process
38. Using high-level Petri nets for testing concurrent and real-time systems
39. On required element testing
40. A framework for expressing the relationships between multiple views in requirements specification
41. Representations and user-developer interaction in cooperative analysis and design
42. Generating tests from UML specifications
43. An analytical approach to software testing
44. Clarifying some fundamental concepts in software testing
45. Generation of multiformalism state-space analysis tools
46. The implications of program dependences for software testing, debugging and maintenance
47. A formal model of program dependences and its implications for software testing, debugging and maintenance
48. Selecting software test data using data flow information
49. Software testing at the architectural level
50. Partition analysis: A method combining testing and verification
51. An analysis of test data selection criteria using the RELAY model of fault detection
52. Test templates: A specification-based testing framework
53. Requirements analysis
54. Axiomatizing software test data adequacy
55. From requirements definition to formal functional specification - A transformational approach
56. Testing for perturbations of program statements
57. Perturbation techniques for detecting domain errors
58. A formal analysis of the subsume relation between software test adequacy criteria
59. Test data adequacy measurement
60. Scenario analysis in an automated tool for requirements engineering
61. Software unit test coverage and adequacy
62. Application of task analysis to the validation of software requirements