Validating the Behavioral Equivalence of TTCN-3 Test Cases

Makedonski, Philip; Grabowski, Jens; Neukirchen, Helmut

doi:10.1109/valid.2009.13

Cited by 3 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Makedonski et al [7] studied the equivalence of observable behavior of two TTCN-3 test suites, the latter being the result of refactoring the former. They define observable behavior by the interactions of the test system running the test case and the SUT and the test verdicts and they came to the conclusion that the test system interface is the best location to observe behavior.…”

Section: Test Certification Using the Ttcn-3 Matching Mechanismmentioning

confidence: 99%

Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3

Stepien

Peyton

2013

Testing Software and Systems

View full text Add to dashboard Cite

Abstract. The TTCN-3 language was conceived initially for testing telecommunications protocols that consist of sequences of discrete messages between communicating entities. TTCN-3 has a clear model of separation of concerns between an abstract layer, where test behavior is specified, and a concrete layer, where messages are encoded / decoded and sent and received to/from the system under test. This model, however, is cumbersome for testing protocols with periodic messages as used in avionics systems. This paper presents an innovative approach to addressing issues involving periodic messages in TTCN-3, based on our experiences working with avionics systems. Extensions to the TTCN-3 standard are proposed, based on our approach. We also demonstrate how the approach can be used for test system certification and requirements verification for avionics systems.

show abstract

Section: Test Certification Using the Ttcn-3 Matching Mechanismmentioning

confidence: 99%