发布于: Feb 23, 2021
今日,AWS 推出了一个新功能,用于对 AWS IoT Events 中的事件“检测器模型”(将 IoT 设备表示为 AWS 云上的状态机)进行静态分析。该功能将自动为潜在语法错误(如不良的表达式或负载)、结构性错误(如缺少的状态或输入触发器)和运行时错误(如数据类型不匹配、缺少数据、可能达到服务限制等)执行模型的 7 种不同的分析(可参阅开发人员指南中的列表)。这套调试工具对于拥有大量的状态更改、每个更改都带有多个输入数据流触发的唯一条件逻辑的复杂的检测器模型特别有用。该分析将根据严重性级别 ('info', 'warning', 'error') 摘录 7 种分析中每个分析的诊断信息,并识别其模型(状态、转换、操作等)中的位置,有助于您在发布之前修复模型中的一些问题。
例如,在以下的截图中,属性 $input.AlarmInput.value 将用作布尔和同一模型中的整数。当您单击“运行分析”时,AWS IoT Events 将分析模型中的表达式以验证所有输入的数据类型,并在此类表达式可能导致生产中的意外行为时向您发出警告。您还可以使用此功能识别任何验证问题,从而阻止您发布检测器模型。
图:具有多个状态、输入、变量和转换的模型的 AWS IoT Events 检测器模型分析结果