CAREER: Virtual Machine-Based Dynamic Analysis

9875783 John Chain这是一个项目，旨在构建用于并行服务器动态分析的工具，并开发教育技术以改进动态分析技能的教学。并行服务器包括操作系统、Web服务器和其他必须永久运行并并行响应多个请求的应用程序。由于并行服务器固有的不确定性，使用当前的方法很难对其进行测试和调试。更好的动态分析工具是提高这类重要程序可靠性的关键一步。该项目开发的核心技术是专门设计的Java虚拟机，以便工具可以轻松地监视和控制Java程序的执行。该项目的一个假设是，使用这样的工具平台将大大简化分析工具的构建。该项目正在构建三个主要工具。除了正向执行命令之外，双向调试器还提供反向。穷举搜索测试器支持对时间相关行为的彻底分析。探索性建模工具自动记录和检查开发人员对程序行为的不断发展的理解。这些工具将被部署在本科课堂上，并整合到为帮助教授动态分析技术而开发的课程材料中。

9875783 John ChapinThis is a project to build tools for the dynamic analysis of parallel servers, and to develop educational techniques for improving the teaching of dynamic analysis skills. Parallel servers include operating systems, web servers, and other applications which must run forever and respond to multiple requests in parallel. Parallel servers are difficult to test and debug using current approaches due to their inherent nondeterminism. Better dynamic analysis tools are a critical step towards improving the reliability of this important class of programs. The core technology developed in this project is a Java virtual machine specifically designed so that tools can easily monitor and control the execution of Java programs. A hypothesis of the project is that the use of such a tool platform will significantly simplify the construction of analysis tools. The project is building three major tools. A bidirectional debugger provides reverse in addition to forward execution commands. An exhaustive-search tester supports thorough analysis of timing-dependent behaviors. An exploratory modeling tool automates the documentation and checking of the developer's evolving understanding of program behavior. These tools will be deployed in undergraduate classes and integrated into curricular materials developed to help teach dynamic analysis techniques.