An Integrated Approach to the Analysis of Concurrent Software Systems

并发软件系统分析的综合方法

• 批准号: 8702905
• 负责人: Laura Dillon
• 金额: $ 14.63万
• 依托单位: University of California-Santa Barbara
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-08-01 至 1991-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8702905&HistoricalAwards=false
• 关键词: Integrated; Approach; Analysis; Concurrent; Software

This project will investigate the feasibility of integrating two different, but related approaches to validation of concurrent software systems. Specifically, the integration of the analysis techniques that are associated with a particular concurrent system modeling scheme, called constrained expressions, and certain static analysis techniques for studying synchronization properties of concurrent systems will be studied. The complementary nature of the strengths and weaknesses of these two approaches suggests that their integration will produce techniques that surpass existing analysis techniques in both power and practical utility. While the theoretical limitation of general approaches to validation of concurrent software systems are known to be quite severe, little is known about how limiting these considerations actually are in practice. Experience with existing concurrent system analysis techniques is limited to "toy" systems, due to the computational complexity of the techniques and a lack of automated support. The demand for reliable concurrent software requires experimenting more fully with these techniques to determine how they "scale-up" to useful, realistically- sized systems.

该项目将研究集成两种不同但相关的方法来验证并发软件系统的可行性。具体地说，将研究与称为约束表达式的特定并发系统建模方案相关联的分析技术与用于研究并发系统的同步特性的某些静态分析技术的集成。这两种方法的优势和劣势的互补性表明，它们的结合将产生在能力和实用方面都超过现有分析技术的技术。虽然已知并发软件系统验证的一般方法的理论限制是相当严重的，但很少有人知道这些考虑因素在实践中实际上是如何限制的。现有并发系统分析技术的经验仅限于“玩具”系统，这是因为这些技术的计算复杂性和缺乏自动化支持。对可靠并发软件的需求要求更充分地试验这些技术，以确定它们如何“向上扩展”到有用的、实际大小的系统。