Specification of Passive Test Cases Using an Improved T-EARS Language

• Test cases that only observe the system under test can improve parallelism and detection of faults occurring due to unanticipated feature interactions. Traditionally, such passive test cases have been challenging to express, partly due to the use of complex mathematical notations. The T-EARS (Timed Easy Approach to Requirements Syntax) language prototype was introduced to respond to this and has received positive feedback from practitioners. However, the prototype suffered from few deficiencies, such as allowing non-intuitive combinations of expressions and usage of temporal specifiers that quickly got difficult to understand. This paper builds on the T-EARS prototype and input from experienced testers on a previous iteration of the language. The collected experience was applied to a new prototype using a structured update process, including a set of system-level requirements from a vehicular software system. The results include a new, improved grammar for the T-EARS language and a description of the evaluation semantics.

Ämnesord

MEDICIN OCH HÄLSOVETENSKAP  -- Annan medicin och hälsovetenskap (hsv//swe)

MEDICAL AND HEALTH SCIENCES  -- Other Medical and Health Sciences (hsv//eng)

Nyckelord

Feature interactions

Mathematical notations

Software-systems

System-level requirements

Systems under tests

Test case

Semantics

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)