Software Specification, Testing and Verification

软件规格、测试和验证

• 批准号: 1000230760-2015
• 负责人: Hallé, Sylvain
• 金额: $ 8.74万
• 依托单位: Université du Québec à Chicoutimi
• 依托单位国家: 加拿大
• 项目类别: Canada Research Chairs
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=695493
• 关键词: Software; Specification; Testing; Verification

Recent news are rife with headlines on incidents involving software malfunctions, with consequences ranging from the merely annoying to the dramatic. This has created a context of increased pressure for more correct software, and a growing demand for tools and techniques that may help software developers reach this goal. This research chair shall contribute to the development of reliable software systems by concentrating on their specification, testing and verification. This goal will be reached by the study and development of expressive specification languages and the production of useful and testing and verification theories and automated software tools.

最近的新闻充斥着涉及软件故障的事件的头条新闻，后果从仅仅令人讨厌的到戏剧性的。这造成了对更正确软件的压力增加的背景，以及对可能帮助软件开发人员实现这一目标的工具和技术的日益增长的需求。该研究会通过专注于软件系统的规范、测试和验证，为开发可靠的软件系统做出贡献。这一目标将通过研究和开发具有表现力的规范语言以及生产有用的测试和验证理论以及自动化软件工具来实现。