Collaborative Research: CSR--AES--Debugging Dynamic Code Modifications

合作研究：CSR--AES--调试动态代码修改

• 批准号: 0509237
• 负责人: Mary Lou Soffa
• 金额: $ 11.01万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-08-01 至 2007-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0509237&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; AES; Debugging

As software continues to grow in complexity, an important requirement that is emerging is software must be able to change at run-time. Unfortunately, software engineering techniques that are useful in building robust dynamically modified software are woefully lacking. In general, extensive testing and debugging are the raditional ways of ensuring the robustness of sofware. The problem of debugging a program wherethe underlying code is changing at run-time makes the problem all the more difficult. The aim of this proposed research is to address this situation and develop new techniques for debugging dynamically modified software. The key idea is that debugging for such software must extend through the code modification and allow debugging on code that has been changed and to see how past and future adaptations has/can affect execution. The proposed work considers several types of dynamic code modifications, including dynamically optimized code, dynamically applied code patches, components and dynamically linked libraries. New debug directives and queries will be developed specifically to address the challenges of debugging such code. Novel techniques based on code analysis, reverse execution, checkpointing, and instrumentation optimization will be used to enable these new directives and queries.This research has both fundamental and software contributions, including: (1) a better understanding of the constraints and trade-offs that exist for developing robust dynamically modified software, (2) a framework that supports the construction of debugging techniques and tools that are useful when developing dynamically software, (3) the development of debug strategies, directives and queries that are designed to handle the special challenges of dynamically modified code, and (4) the development of a set of debugging tools for dynamic software that will be widely distributed. The techniques, tools and algorithms that will be developed through the course of this research will contribute significantly to understanding how modern software development techniques can be incorporated with dynamic code modifications.

随着软件的复杂性持续增长，新兴的重要要求是软件必须在运行时更改。不幸的是，缺乏可用于构建强大动态修改软件的软件工程技术。通常，广泛的测试和调试是确保SOFWARE稳健性的辐射方式。在运行时间内调试基础代码的程序的问题的问题使问题变得更加困难。这项拟议的研究的目的是解决这种情况并开发用于调试动态修改软件的新技术。关键的想法是，对此类软件的调试必须通过代码修改扩展，并允许对已更改的代码进行调试，以查看过去和将来的适应性如何/可能会影响执行。提出的工作考虑了几种类型的动态代码修改，包括动态优化的代码，动态应用的代码补丁，组件和动态链接的库。将专门开发新的调试指令和查询，以解决调试此类代码的挑战。 Novel techniques based on code analysis, reverse execution, checkpointing, and instrumentation optimization will be used to enable these new directives and queries.This research has both fundamental and software contributions, including: (1) a better understanding of the constraints and trade-offs that exist for developing robust dynamically modified software, (2) a framework that supports the construction of debugging techniques and tools that are useful when developing dynamically software, (3) the development of debug旨在应对动态修改代码的特殊挑战的策略，指令和查询，以及（4）开发将广泛分布的动态软件的一组调试工具。通过这项研究的过程将开发的技术，工具和算法将极大地理解如何通过动态代码修改将现代软件开发技术纳入。