课题基金 / 基金详情

Software Specification, Testing and Verification

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

项目摘要

项目成果

Hallé, Sylvain的其他基金

相似基金

相关文献

中文摘要
翻译
最近的新闻充斥着涉及软件故障的事件的头条新闻，其后果从仅仅令人烦恼的到戏剧性的。这就造成了对更正确软件的压力越来越大，以及对可以帮助软件开发人员实现这一目标的工具和技术的需求不断增长。该研究主席应通过专注于软件系统的规范、测试和验证，为可靠软件系统的开发做出贡献。这一目标将通过研究和开发表达性规范语言以及生产有用的测试和验证理论以及自动化软件工具来实现。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Enriching system models and verdicts for testing and verification of software systems
  • 批准号：
    RGPIN-2016-05626
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2022
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
Software Specification, Testing and Verification
  • 批准号：
    CRC-2020-00308
  • 项目类别：
    Canada Research Chairs
  • 资助金额：
    $7.29万
  • 财政年份：
    2022
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
Software Specification, Testing And Verification
  • 批准号：
    CRC-2020-00308
  • 项目类别：
    Canada Research Chairs
  • 资助金额：
    $7.29万
  • 财政年份：
    2021
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
Enriching system models and verdicts for testing and verification of software systems
  • 批准号：
    RGPIN-2016-05626
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2021
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
海外基金