César Andrés, Mercedes G. Merayo and Manuel Núñez Formal passive testing of timed systems: theory and tools Software Testing, Verification and Reliability 22
This paper presents a methodology to perform passive testing of timed systems. Execution traces are obtained without interfering with the behavior of the system. Invariants are used to represent the most relevant expected properties of the implementation. The paper gives algorithms to decide the correctness of proposed invariants with respect to a given specification and algorithms to check the correctness of the traces with respect to an invariant. A tool called PASTE automates the passive testing approach.
Complete the form below and we will send an e-mail message containing a link to the selected article on your behalf