Improving the integrity of complex software systems

提高复杂软件系统的完整性

• 批准号: DP0342703
• 负责人: Prof Peter Stuckey
• 金额: $ 8.87万
• 依托单位: The University of Melbourne
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2003
• 资助国家: 澳大利亚
• 起止时间: 2003-01-01 至 2007-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0342703
• 关键词: Improving; integrity; complex; software; systems

Software systems are among the most complex artifacts created today. The problems of reliability and maintenance of complex software systems are well-known. Improving reliability and lowering production cost continues to be an important challenge. The aim of this project is to create software development tools that allow programmers to express more of their intentions about program behaviour, in a way which can be automatically checked, in order to find discrepancies between intended and actual behaviour. This will facilitate the construction of software that is more secure, reliable, maintainable and reusable, that is, improve the integrity of complex software systems.

软件系统是当今创建的最复杂的工件之一。复杂软件系统的可靠性和维护问题是众所周知的。提高可靠性和降低生产成本仍然是一个重要的挑战。该项目的目的是创建软件开发工具，使程序员能够以一种可以自动检查的方式表达更多关于程序行为的意图，以便找到预期行为和实际行为之间的差异。这将有助于构建更安全、可靠、可维护和可重用的软件，即提高复杂软件系统的完整性。