Fault-based Testing of Evolving Real-time Systems

不断发展的实时系统的基于故障的测试

• 批准号: RGPIN-2020-07248
• 负责人: NGUENATIMO, Omer
• 金额: $ 1.75万
• 依托单位: Québec en Outaouais
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=764486
• 关键词: Fault; based; Testing; Evolving; Real

Failures of evolving real-time systems are not seldom. These systems include but are not limited to control and security systems, communication protocols in domains such as the aerospace, the automotive, finance and the popular web and mobile applications. A real-time system maintains a current state that it uses to react to the stimuli from the environment and it is organized in communicating components. Components can evolve following the end-user needs or change in the environment. Failures of the systems can be caused by logical and timing faults, or vulnerabilities introduced at the different phases of the system design. Failures result in damages yielding to the loss of confidence in the systems and their rejection by the end-users. The long-term objective of this research program is to propose and develop a fault-based testing theory that can be applied to detect logical, timing and security faults in evolving real-time systems. We will consider faults introduced at the unit and integration phases of the system development. I plan to use formal representations (specifications) of logical, timing and security properties of systems such as state transition machines. This work will provide testing tool developers with efficient methods for the fault detection in evolving real-time systems. The Novelty of the proposed research includes proposing an approach to build specifications of evolving real-time systems and a fault model to represent specific faults to be detected, and methods of test analysis, test generation and test selection for the detection of the specific unit and integration faults. A fault model is defined as a tuple of a specification, a fault domain and a conformance relation. The fault domain represents a set of faulty implementations obtained by seeding faults in the specification. Specific faults can be made available in databases or by an expert; a limited number of tests allows detecting them with reduced testing efforts, which is in line with the objectives and practices of the industry. We also generate optimal tests having reduced execution times. We will use deterministic or nondeterministic models with timing and probabilistic constraints to capture logical, timing and evolution properties of the systems. The methods will benefit from the recent advances in fields such as constraint solving, symbolic execution, abstract interpretation and model learning. We will implement the proposed methods in proof-of-concept tools. The expected results will have a significant impact on the scientific knowledge and industrial practices in testing. Numerous industrial projects executed by CRIM create a proper opportunity to increase awareness of industrial partners about systematic approaches in testing. Ten HQPs (2 PhD, 3 MSc, 5 BSc) will participate in this research. The skills gained by the HQPs in formal modeling and fault-based testing will be beneficial to all of them and to the development evolving real-time systems.

不断发展的实时系统的故障并不罕见，这些系统包括但不限于航空航天、汽车、金融等领域的控制和安全系统、通信协议以及流行的网络和移动应用程序。维护用于对环境刺激做出反应的当前状态，并且组件可以根据最终用户的需求或环境的变化进行组织。系统的故障可能是由逻辑和时序错误引起的。 ，或引入的漏洞系统设计的不同阶段的失败会导致对系统失去信心并遭到最终用户的拒绝。该研究计划的长期目标是提出和开发基于故障的测试理论。可用于检测不断发展的实时系统中的逻辑、​​时序和安全故障。我们将考虑在系统开发的单元和集成阶段引入的故障。我计划使用逻辑、时序和安全的正式表示（规范）。状态转换机等系统的属性。这项工作将为测试工具开发人员提供在不断发展的实时系统中进行故障检测的方法，该研究的新颖之处包括提出一种构建不断发展的实时系统规范的方法和一个表示要检测的有效特定故障的故障模型。以及用于检测特定单元和集成故障的测试分析、测试生成和测试选择的方法。故障模型被定义为规范、故障域和一致性关系的元组。故障域表示一组。通过播种获得的错误实现规范中的缺陷可以在数据库中提供或由专家提供；有限数量的测试可以通过减少测试工作来检测它们，这符合行业的目标和实践。我们将使用具有时序和概率约束的确定性或非确定性模型来捕获系统的逻辑、时序和演化属性，这些方法将受益于约束求解、符号执行、抽象解释和模型等领域的最新进展。我们会学习。在概念验证工具中实施所提出的方法，预期结果将对测试中的科学知识和工业实践产生重大影响。 CRIM 执行的许多工业项目为提高工业合作伙伴对系统方法的认识创造了适当的机会。十名 HQP（2 名博士、3 名硕士、5 名理学士）将参与这项研究。 HQP 在形式建模和基于故障的测试方面获得的技能将有利于他们所有人以及开发实时系统。