Automated Testing of Software Systems

软件系统的自动化测试

• 批准号: 1000232329-2018
• 负责人: Briand, Lionel
• 金额: $ 14.57万
• 依托单位: University of Ottawa
• 依托单位国家: 加拿大
• 项目类别: Canada Research Chairs
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=695155
• 关键词: Automated; Testing; Software; Systems

Software-intensive systems pervade modern society and industry. These systems often play critical roles from an economic, safety or security standpoint, thus making their dependability a requirement. Automated Software Verification and Validation (V&V) is core to ensuring software dependability. The most prevalent V&V technique is testing. Increasingly, we are faced with systems that are untestable, meaning that traditional testing methods are highly expensive, time consuming or infeasible. This research program will address the multitude of research challenges that need to be overcome to test such systems in an automated and effective way.

软件密集型系统遍布现代社会和工业。从经济、安全或安保的角度来看，这些系统通常发挥着关键作用，因此要求它们具有可靠性。自动化软件验证与确认（V&V）是确保软件可靠性的核心。最常见的V&V技术是测试。我们越来越多地面临不可测试的系统，这意味着传统的测试方法非常昂贵，耗时或不可行。该研究计划将解决需要克服的众多研究挑战，以自动化和有效的方式测试此类系统。