Computer Science Colloquium: Li Tan, WSU
Tuesday, March 27 2012 at 3:30 PM
Location: EP 122
The Computer Science Colloquium, with presenter Li Tan, from Washington State University, titled "Formal Specification-Based Testing with Buchi-Automata," will occur March 27 at 3:30 p.m. in EP 122.
Abstract: Buchi automata have been widely used for specifying linear temporal properties of reactive systems, and they are also instrumental for designing efficient model-checking algorithms. In this talk, Tan will present work that extends specification-based testing to Buchi automata. A key question in specification-based testing is how to measure the quality (relevancy) of test cases with respect to system specification. He will discuss two state coverage metrics for measuring how well a test suite covers a Buchi-automaton-based requirement. Compared with previous work on specification-based testing with temporal logics which are based on the syntactical structure of a temporal logic specification, the new approach emphasizes on testing the semantics relevancy of the specification with respect to the system under test. The new approach improves the effectiveness of specification-based testing with temporal logics, as demonstrated by our experimental results. He will also discuss a model-checking-assisted test generation algorithm that improves the efficiency of test generation.