发布于: Mar 17, 2021
今天，由光环新网运营的亚马逊云科技（北京）区域在 Amazon IoT Events 中推出了一项针对事件“检测器模型”（将物联网设备表示为亚马逊云科技云上的状态机）的静态分析的新功能。该功能可以自动执行 7 种不同的模型分析（参见开发人员指南），以发现潜在的语法错误（如错误的表达式或有效负载）、结构问题（如缺少状态或输入触发器）和运行时错误（如数据类型不匹配、缺少数据、可能达到服务限制等）。对于拥有大量状态变化（每个变化都带有由多个输入数据流触发的唯一条件逻辑）的负载检测器模型来说，此调试工具尤其有用。分析将会按严重级别（“信息”、“警告”、“错误”）汇总 7 种分析的诊断信息，并在模型中标识其位置（状态、转换、操作等），以帮助您在发布之前修复模型中的问题。
例如，假设将属性 $input.AlarmInput.value 用作布尔值和同一模型不同部分的整数。单击“运行分析”时，Amazon IoT Events 将会分析模型中的表达式，以验证所有输入的数据类型并在表达式可能会导致生产中出现意外行为时发出警告。此外，您还可以使用此功能来标识任何可能会阻止您发布检测器模型的验证问题。