Cost-effective use of assertions in the verification and validation of distributed and real-time systems

在分布式实时系统的验证和确认中经济高效地使用断言

• 批准号: DP0773438
• 负责人: Em/Prof Paul Strooper
• 金额: $ 15.05万
• 依托单位: The University of Queensland
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2007
• 资助国家: 澳大利亚
• 起止时间: 2007-01-01 至 2010-06-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0773438
• 关键词: Cost; effective; use; assertions; verification

The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.

该项目将加强澳大利亚在经验软件工程和软件验证和确认研究方面的世界领先地位，从而加强澳大利亚在信通技术研究和创新方面的优势。通过当地一家软件验证和确认公司的参与以及通过工业案例研究，该项目还将提高当地工业的软件验证和确认能力，使他们能够节省软件开发成本，并提高所生产软件的质量。