IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its surrounding environment To investigate these complexities various modeling approaches have been proposed to raise the level of abstraction facilitating automation and analysis FailureLogic Analysis FLA is a technique that helps predict potential failure scenarios by defining how a components failure logic behaves and spreads throughout the system However manually specifying FLA rules can be arduous and errorprone leading to incomplete or inaccurate specifications In this paper we propose adopting testing methodologies to improve the completeness and correctness of these rules How failures may propagate within an IoT system can be observed by systematically injecting failures while running test cases to collect evidence useful to add complete and refine FLA rules

翻译：物联网系统的复杂性和易失效性对其可靠运行构成了重大挑战。故障可能由系统内部产生，也可能由外部因素引发，不仅影响系统自身的正确性，还会波及周围环境。为研究这些复杂性，已有多种建模方法被提出，旨在提升抽象层次，从而促进自动化和分析。故障逻辑分析（Failure-Logic Analysis, FLA）是一种通过定义组件的故障逻辑行为及其在系统中的传播方式来预测潜在失效场景的技术。然而，手动指定FLA规则既繁琐又易出错，导致规范不完整或不准确。本文提出采用测试方法来提升这些规则的完整性和正确性。通过在执行测试案例时系统性地注入故障，可以观测到故障如何在物联网系统中传播，从而收集有助于补充和完善FLA规则的证据。