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

本项目正在为实时嵌入式系统开发覆盖率驱动的定向自动测试生成的新方法。研究地址，自动测试生成的理论基础，以及实时嵌入式系统的实际测试和覆盖工具。影响系统行为的许多信号可能是不可观察的，或者可能难以在线测量而不影响系统行为，并且系统本身可能不容易重置为初始状态以驱动不同的测试。在本研究中，系统中的任务被建模为事件自动机，而联合事件自动机代表了系统中所有任务的事件自动机的组成。 这项研究是探索游戏和控制理论的技术来合成，从一个自动构建的抽象交互图的实现，测试导演。测试指导者在系统的执行中引入可变的延迟，使得满足最大数量的覆盖目标。 一个测试工具，直接，实现了直接的实时测试的嵌入式系统，结合静态分析（交互图建设），控制理论（测试导演建设）和动态分析（在线系统监控测试导演的存在），以实现高交互覆盖率。特别是，这些问题将在资源受限的环境中进行研究，其中在线测量和测试导向器的实现必须针对时间和空间进行优化。这些工具和技术将在我们可用的两个测试平台上进行评估：一个是由加州大学圣克鲁斯的一个PI开发的乐高Mindstorm机器人上的嵌入式开发平台，另一个是加州大学圣克鲁斯开发的海洋跟踪传感器板。

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.