Specification of Passive Test Cases using an Improved T-EARS Language
Authors: Daniel Flemström, Wasif Afzal and Eduard Paul Enoiu
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 suﬀered from few deﬁciencies, such as allowing non-intuitive combinations of expressions and usage of temporal speciﬁers that quickly got diﬃcult 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.
Company: Mälardalen University
Talk language: English