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?
- DOI:
10.1016/j.entcs.2007.08.002 - 发表时间:
2007-08-31 - 期刊:
- 影响因子:0
- 作者:
Boroday, Sergiy;Petrenko, Alexandre;Groz, Roland - 通讯作者:
Groz, Roland
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)