Distributed Systems Testing

分布式系统测试

基本信息

  • 批准号:
    194381-2012
  • 负责人:
  • 金额:
    $ 1.24万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2015
  • 资助国家:
    加拿大
  • 起止时间:
    2015-01-01 至 2016-12-31
  • 项目状态:
    已结题

项目摘要

The proposed research focuses on a model-based testing framework, called "Assume-Guarantee-Infer". As usual for model-based testing, in the framework, the starting point is a model of the expected behaviour of a system under test (SUT). However, differently from the most of the existing approaches, the goal of this research is to consider models which are not necessarily complete and precise. Incompleteness of a model is implied by partiality of knowledge about the expected behaviour of a system under test; while impreciseness may come from optional behaviours or over-abstraction of the actual behaviour which includes infeasible executions and is usually nondeterministic. The tester assumptions about implementation faults in an SUT at hand are then formalized in the form of some fault model. Test execution results may lead the tester to modify either the initial SUT model or the SUT itself if faults are detected. Once the rectified SUT passes all the executed tests the latter can help refine the model of the SUT, i.e., infer a more complete and precise model. A refined model is needed to better document the tested system and to generate if required additional tests increasing the level of the confidence in the quality of the system. This step completes the Assume-Guarantee-Infer testing framework. The significance of the proposed research lies in an increased level of automation of testing activities which can be achieved based on the Assume-Guarantee-Infer testing framework and in a wider acceptance of formal approaches to testing, since the main hurdle in their application, the availability of a complete and precise SUT model can significantly be reduced by allowing incomplete and imprecise models.
建议的研究重点是基于模型的测试框架,称为“假设-保证-推断”。与基于模型的测试一样,在框架中,起点是被测系统(SUT)的预期行为模型。然而,与大多数现有的方法不同,本研究的目标是考虑不一定完整和精确的模型。一个模型的不完整性是指对被测系统的预期行为缺乏了解;而不精确性可能来自可选行为或对实际行为的过度抽象,其中包括不可行的执行,通常是不确定的。测试人员假设的实现故障在SUT在手,然后正式的形式,一些故障模型。如果检测到故障,测试执行结果可能导致测试人员修改初始SUT模型或SUT本身。一旦修正的SUT通过了所有执行的测试,后者可以帮助改进SUT的模型,即,推断出更完整和精确的模型。需要一个细化的模型来更好地记录测试系统,并在需要时生成额外的测试,以提高对系统质量的信心水平。这一步完成了假设-保证-推断测试框架。 所提出的研究的意义在于提高水平的自动化测试活动,可以实现基于假设-保证-推断测试框架和更广泛的接受正式的方法来测试,因为在他们的应用程序的主要障碍,一个完整的和精确的SUT模型的可用性可以显着减少允许不完整和不精确的模型。

项目成果

期刊论文数量(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.24万
  • 项目类别:
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号:
    RGPIN-2017-03900
  • 财政年份:
    2021
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Industrial-grade Verification & Validation of Evolving Systems - Canadian cluster
工业级验证
  • 批准号:
    549118-2019
  • 财政年份:
    2021
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Alliance Grants
Industrial-grade Verification & Validation of Evolving Systems - Canadian cluster
工业级验证
  • 批准号:
    549118-2019
  • 财政年份:
    2020
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Alliance Grants
Fault Model-Based Testing
基于故障模型的测试
  • 批准号:
    RGPIN-2017-03900
  • 财政年份:
    2020
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号:
    RGPIN-2017-03900
  • 财政年份:
    2019
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号:
    RGPIN-2017-03900
  • 财政年份:
    2018
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
  • 批准号:
    RGPIN-2017-03900
  • 财政年份:
    2017
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Distributed Systems Testing
分布式系统测试
  • 批准号:
    194381-2012
  • 财政年份:
    2016
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Automating change impact analysis in integration and testing of avionics COTS-based system (ACACIA)
基于航空电子 COTS 的系统 (ACACIA) 集成和测试中的自动化变更影响分析
  • 批准号:
    447998-2013
  • 财政年份:
    2015
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Collaborative Research and Development Grants

相似国自然基金

Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
EstimatingLarge Demand Systems with MachineLearning Techniques
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金
Understanding complicated gravitational physics by simple two-shell systems
  • 批准号:
    12005059
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Simulation and certification of the ground state of many-body systems on quantum simulators
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    40 万元
  • 项目类别:
全基因组系统作图(systems mapping)研究三种细菌种间互作遗传机制
  • 批准号:
    31971398
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
The formation and evolution of planetary systems in dense star clusters
  • 批准号:
    11043007
  • 批准年份:
    2010
  • 资助金额:
    10.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

CNS Core: Small: Testing and detecting software upgrade failures in data-intensive distributed systems
CNS 核心:小型:测试和检测数据密集型分布式系统中的软件升级故障
  • 批准号:
    2300562
  • 财政年份:
    2023
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Standard Grant
CNS Core: Small: Automated testing for data- and compute-intensive distributed systems through feedback-based fuzzing
CNS 核心:小型:通过基于反馈的模糊测试对数据和计算密集型分布式系统进行自动测试
  • 批准号:
    2140305
  • 财政年份:
    2022
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Standard Grant
Reliable by Construction Distributed Systems: a Toolchain for Development and Testing
构建可靠的分布式系统:用于开发和测试的工具链
  • 批准号:
    2619407
  • 财政年份:
    2021
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Studentship
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2018
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2017
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2016
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Distributed Systems Testing
分布式系统测试
  • 批准号:
    194381-2012
  • 财政年份:
    2016
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2015
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Distributed Systems Testing
分布式系统测试
  • 批准号:
    194381-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
Model inference and testing of distributed systems
分布式系统的模型推理与测试
  • 批准号:
    RGPIN-2014-04870
  • 财政年份:
    2014
  • 资助金额:
    $ 1.24万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了