CAREER: Virtual Machine-Based Dynamic Analysis

9875783 John ChapinThis是一个项目，以建立并行服务器的动态分析工具，并开发教育技术，以提高动态分析技能的教学。并行服务器包括操作系统、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.