New Visualization and Debugging Technology for One-Way, Dataflow Constraints

针对单向数据流约束的新可视化和调试技术

• 批准号: 9970958
• 负责人: Bradley Vander Zanden
• 金额: $ 9万
• 依托单位: University of Tennessee Knoxville
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-09-15 至 2002-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9970958&HistoricalAwards=false
• 关键词: New; Visualization; Debugging; Technology; Way

9970958 Vander Zanden, Brad T. University of Tennessee KnoxvilleTitle: New Debugging Techniques for One-Way, Dataflow ConstraintsOne-way, dataflow constraints are spreadsheet-like constraints that have found uses in a variety of applications, including graphical interfaces, programming environments, and circuit simulation. However, there is considerable evidence that one-way constraints are difficult to debug. The research focuses on developing a number of techniques to alleviate this problem, including: 1) Visualization techniques that allow programmers to examine the flow of information through the constraint system, 2) Incremental debugging techniques that will allow programmers to single-step through the constraint solving process, and 3) Explanation-based techniques that will allow the debugger to record significant events during the solving process and then analyze these events to help the programmer pinpoint the source of a bug. Better debugging and visualization techniques will have a number of significant benefits, including greater productivity among constraint users, greater reliability for applications, and greater acceptance for constraints outside the research and spreadsheet communities.

9970958 作者：Vander Zanden，布拉德T. 田纳西大学诺克斯维尔分校题目：单向、数据流约束的新约束技术单向、数据流约束是一种类似电子表格的约束，已在各种应用中得到应用，包括图形界面、编程环境和电路仿真。然而，有相当多的证据表明，单向约束很难调试。该研究的重点是开发一些技术来缓解这一问题，包括：1）可视化技术，允许程序员检查通过约束系统的信息流，2）增量调试技术，允许程序员单步通过约束求解过程，（3）解释--一种基于的技术，允许调试器在解决过程中记录重要事件，然后分析这些事件，以帮助程序员查明错误的来源。bug.更好的调试和可视化技术将有许多显著的好处，包括约束用户的生产力更高，应用程序的可靠性更高，以及研究和电子表格社区以外的约束的接受程度更高。