一句话：提出用故障-攻击注入与网络通信派生模型来自动测试网络化系统可靠性的博士研究方案。
网络化系统（如 IoT、客户端-服务器和云系统）对可靠性有很高要求，但真实网络往往存在硬件故障、性能问题和恶意攻击等隐患，因此测试必须覆盖不同网络条件下的容错能力。本文介绍一项博士研究项目，目标是对网络化系统进行自动化验证与测试，其核心手段是基于派生出的网络通信模型进行故障与攻击注入。摘要主要阐述研究动机与总体方案，尚未报告具体实验结果或结论，属于研究计划/进行中工作的概述。
The reliability of a network is a crucial requirement for systems such as IoT, client-server, or cloud-based solutions. Unfortunately, real networks cannot be assumed to be fault-free, especially when considering various hardware problems, performance issues, or malicious attacks. Testing networked systems should therefore include evaluating fault tolerance under various network conditions. The paper presents a doctoral research project on automated verification of networked systems using fault-attack injection using a derived model of network communication.