Fault Model-Based Testing

基于故障模型的测试

基本信息

  • 批准号：
    RGPIN-2017-03900
  • 负责人：
    Petrenko, Alexandre
  • 金额：
    $ 1.68万
  • 依托单位：
    Centre de recherche informatique de Montréal
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    2021
  • 资助国家：
    加拿大
  • 起止时间：
    2021-01-01 至 2022-12-31
  • 项目状态：
    已结题

项目摘要

extended state machines; fault models; finite state machines; formal methods; model based testing; mutation testing; test generation; transition systems
扩展状态机;故障模型;有限状态机;形式方法;基于模型的测试;突变检测;测试生成;变迁系统

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Petrenko, Alexandre其他文献

Can a Model Checker Generate Tests for Non-Deterministic Systems?

Petrenko, Alexandre的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Petrenko, Alexandre', 18)}}的其他基金

Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2022
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Industrial-grade Verification & Validation of Evolving Systems - Canadian cluster
工业级验证
  • 批准号：
    549118-2019
  • 财政年份：
    2021
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Alliance Grants
Industrial-grade Verification & Validation of Evolving Systems - Canadian cluster
工业级验证
  • 批准号：
    549118-2019
  • 财政年份：
    2020
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Alliance Grants
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2020
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2019
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2018
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2017
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Distributed Systems Testing
分布式系统测试
  • 批准号：
    194381-2012
  • 财政年份：
    2016
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Distributed Systems Testing
分布式系统测试
  • 批准号：
    194381-2012
  • 财政年份：
    2015
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Model-based Test Configuration, Deployment, and Execution
基于模型的测试配置、部署和执行
  • 批准号：
    477337-2015
  • 财政年份：
    2015
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Engage Plus Grants Program

相似国自然基金

基于术中实时影像的SAM(Segment anything model)开发AI指导房间隔穿刺位置决策的增强现实模型
  • 批准号：
  • 批准年份：
    2024
  • 资助金额：
    0.0 万元
  • 项目类别：
    省市级项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号：
  • 批准年份：
    2020
  • 资助金额：
    40 万元
  • 项目类别：
应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制
  • 批准号：
    81771933
  • 批准年份：
    2017
  • 资助金额：
    50.0 万元
  • 项目类别：
    面上项目
基于Multilevel Model的雷公藤多苷致育龄女性闭经预测模型研究
  • 批准号：
    81503449
  • 批准年份：
    2015
  • 资助金额：
    18.0 万元
  • 项目类别：
    青年科学基金项目
基于非齐性 Makov model 建立病证结合的绝经后骨质疏松症早期风险评估模型
  • 批准号：
    30873339
  • 批准年份：
    2008
  • 资助金额：
    32.0 万元
  • 项目类别：
    面上项目

相似海外基金

Establishing new fault model along the Sagami trough based on the tectonic geomorphology, including submarine topography and submerged marine terraces
基于构造地貌，包括海底地形和海底阶地，建立沿相模海槽的新断层模型
  • 批准号：
    22H00755
  • 财政年份：
    2022
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2022
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Model Based Fault Detection and Diagnosis for Planetary Exploration Rovers Using Inverse Simulation
使用逆仿真的基于模型的行星探索漫游车故障检测和诊断
  • 批准号：
    2279886
  • 财政年份：
    2020
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Studentship
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2020
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
A new fault-valve model based on a geological approach
基于地质方法的新断层阀模型
  • 批准号：
    19K04046
  • 财政年份：
    2019
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2019
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Model-based fault detection and diagnosis of HVAC systems
基于模型的 HVAC 系统故障检测和诊断
  • 批准号：
    18K13879
  • 财政年份：
    2018
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2018
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号：
    RGPIN-2017-03900
  • 财政年份：
    2017
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Discovery Grants Program - Individual
New fault model based on friction experiments across the deformation mechanism transitions
基于变形机制转变摩擦实验的新断层模型
  • 批准号：
    16H04061
  • 财政年份：
    2016
  • 资助金额：
    $ 1.68万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了