课题基金 / 基金详情

Enriching system models and verdicts for testing and verification of software systems

Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决，用于软件系统的测试和验证
批准号：
RGPIN-2016-05626
负责人：
Hallé, Sylvain
金额：
$2.77万
依托单位：
Université du Québec à Chicoutimi
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2022
资助国家：
加拿大
项目状态：
已结题
起止时间：
2022-01-01 至 2023-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=757359
关键词：
Enrichingsystemmodelsverdictstesting

项目摘要

项目成果

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 program 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)
会议论文
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
Enriching system models and verdicts for testing and verification of software systems
  • 批准号：
    RGPIN-2016-05626
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.77万
  • 财政年份：
    2020
  • 负责人：
    Hallé, Sylvain
  • 依托单位：
    Université du Québec à Chicoutimi
国内基金
海外基金
基于铁死亡探讨黄芪甲苷调控System/Xc-/GSH/GPX4信号通路在神经损伤性勃起功能障碍治疗中的作用及机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    马轲
  • 依托单位：
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
TBX1/LKB1轴阻断system Xc活性调控AML细胞铁死亡的机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    15.0万元
  • 批准年份：
    2024
  • 负责人：
  • 依托单位：
TET2通过调控BAP1-System Xc-轴促进紫拉非尼诱导的肝细胞癌铁死亡的机制研究
  • 批准号：
    --
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    --
  • 依托单位：
    江南大学附属医院