Affordable Access

Capturing Behavioral Requirements and Testing Against Them by Means of Live Sequence Charts

Authors
Publisher
Department of Computer Science, Aalborg University
Publication Date
Disciplines
  • Mathematics

Abstract

Aalborg University Department of Computer Science Capturing Behavioral Requirements and Testing Against Them by Means of Live Sequence Charts Saulius Pusinskas PhD dissertation Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v Contribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii Related work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi 1 Requirements 1 1.1 Definition of the requirement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Requirement formalization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Requirements analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.4 RFC requirements: case study . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4.1 Requirement groups by priority . . . . . . . . . . . . . . . . . . . . . . . 5 1.4.2 Types of requirements in RFC . . . . . . . . . . . . . . . . . . . . . . . . 7 2 Testing 11 2.1 Model based testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.1.1 Difficulties of informal system description . . . . . . . . . . . . . . . . . . 12 2.1.2 Formal languages for capturing the specifications . . . . . . . . . . . . . 13 2.1.3 Testing against specifications . . . . . . . . . . . . . . . . . . . . . . . . 14 2.2 IOCO and TIOCO conformance relations . . . . . . . . . . . . . . . . . . . . . . 15 2.2.1 IOCO conformance relation . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.2.2 Test case derivation to check IOCO . . . . . . . . . . . . . . . . . . . . . 17 2.2.3 TIOCO conformance relation . . . . . . . . . . . . . . . . . . . . . . . . 17 2.2.4 Test case derivation to check TIOCO . . . . . . . . . . . . . . . . . . . . 20 2.2.5 TIOCO: example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.3 Test framework . . . . . . . . . . . . . . . . . . . . .

There are no comments yet on this publication. Be the first to share your thoughts.