CSR---EHS: Collaborative: Directed Real-Time Testing

点击翻译按钮获取中文摘要

This project is developing new methods for coverage-driven directed automatic test generation for real-time embedded systems. The research addresses both, the theoretical foundations of automatic test generation, and practical test and coverage tools for real-time embedded systems. Many signals affecting system behavior may not be observable, or may be difficult to measure online without affecting system behavior, and the system itself may not be easily reset to an initial state to drive different tests. In this research, tasks in the system are modeled as event automata, and the joint event automaton represents the composition of event automata for all tasks in the system. The research is exploring game and control-theoretic techniques to synthesize, from an automatically constructed abstract interaction graph of the implementation, a test director. The test director introduces variable delays in the execution of the system such that a maximal number of coverage goals are met. A testing tool, DIRECT, implements directed real-time testing for embedded systems, combining static analysis (interaction graph construction), control theory (test director construction) and dynamic analysis (online system monitoring in the presence of the test director) to achieve high interaction coverage. In particular, these problems would be studied in a resource-constrained setting, where both online measurements and test director implementation must be optimized for time and space. The tools and techniques would be evaluated on two testbeds available to us: an embedded development platform on top of Lego Mindstorm robots developed by one of the PIs at UC Santa Cruz and a sensor board for marine tracking developed at UC Santa Cruz.