Fault Model-Based Testing

基于故障模型的测试

基本信息

  • 批准号:
    RGPIN-2017-03900
  • 负责人:
  • 金额:
    $ 1.68万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    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.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.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
Automating change impact analysis in integration and testing of avionics COTS-based system (ACACIA)
基于航空电子 COTS 的系统 (ACACIA) 集成和测试中的自动化变更影响分析
  • 批准号:
    447998-2013
  • 财政年份:
    2015
  • 资助金额:
    $ 1.68万
  • 项目类别:
    Collaborative Research and Development Grants

相似国自然基金

基于术中实时影像的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 }}

知道了