Integration of Metamorphic Testing and Model Checking

变形测试和模型检查的集成

• 批准号: LX0776490
• 负责人: Prof Tsong Chen
• 金额: $ 1.45万
• 依托单位: Swinburne University of Technology
• 依托单位国家: 澳大利亚
• 项目类别: Linkage - International
• 财政年份: 2007
• 资助国家: 澳大利亚
• 起止时间: 2007-07-01 至 2010-06-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LX0776490
• 关键词: Integration; Metamorphic; Testing; Model; Checking

This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.

本计画提出一种整合变形测试与模型检测的创新方法。其主要成果将是提供一个全面的测试方法，这将有助于减少软件开发中的错误和成本，从而提高软件系统的质量。 由于软件无处不在，我们的研究结果将提高国家的软件生产力和质量。因此，我们的研究结果将有助于提高我国的竞争优势，朝着成为亚太国家软件产业领先国家的目标迈进。此外，这项合作将帮助澳大利亚年轻的研究人员与中国科学院这一领先的国际研究机构建立联系。