2018年9月19日，由工业和信息化部、国家发展改革委、商务部、科技部、中国科学院、中国工程院、中国国际贸易促进委员会、联合中国工业发展组织和上海市人民政府共同主办，第20届中国国际工业博览会在国家会展中心(上海)隆重举行。本届工博会以“创新、智能、绿色”为主题。

上海工业控制安全创新科技有限公司(以下简称上海控安)此次携手国家可信嵌入式软件工程技术研究中心、上海三零卫士信息安全有限公司、普华基础软件股份有限公司，三家公司，为上海工业制造业提供涵盖开发建模、检测认证、控制器及基础软件一站式安全防护解决方案。上海控安携“智能化单元测试用例设计工具、工业互联网APP安全检测云平台、基于模型的APP自动运行时深度检测工具（STOAT）”三款产品亮相博览会。

据悉，本届工博会展览面积28万平方米，2631家参展商，8大专业展，有来自美国、德国、法国、捷克等27个国家和地区的2631家展商参展。涵盖了制造业从基础材料、关键零部件到先进制造装备、整体解决方案的智能绿色制造全产业链，诠释先进制造业的最新产品与关键技术，凸显智能制造、绿色制造，服务制造强国战略。

上海控安展示的产品在智能、绿色、技术创新等方面吸引了众人目光,三款产品如何匠心独具？让我们一一分解！

工业互联网APP安全检测云平台  提供工业产品全面安全测评

工业互联网APP安全检测云平台可提供工业产品全面安全测评。包括提供主动式工控设备安全检测、工业移动应用软件安全检测、分布式性能测试、工业软件源代码安全检测、兼容性测试、互联互通测试等服务。针对典型的工业互联网应用软件进行安全测评和风险评估，并在测评数据分析的基础上提出有效的整改建议。主要功能包括云端安全检测、风险评估量化、安全漏洞扫描、深度质量测试、功能回放测试。应用领域涵盖各行业的工业互联网领域。

智能化单元测试用例设计工具  测试效率提升5倍  STOAT: 基于模型的APP自动运行时深度检测工具

STOAT是面向安卓应用程序的GUI测试工具，搜索测试套件最大限度提高代码覆盖率和事件序列多样性的“最优”模型。为安卓应用程序构建随机模型表示GUI交互，使用吉布斯采样方式对随机模型进行变异，检测出高于Monkey等现有技术3倍的软件缺陷。目前已自动测试超过6000个移动软件，检测出超过5800个未知软件缺陷。该工具用于微信、Gmail、Google+等知名软件检测出的40多个缺陷已确认并紧急修复。

2018年是中国改革开放40周年, 也是工博会20周年。40年的改革开放促进了中国制造业的跨越式发展，20年的工博会见证了中国制造业的发展历程。工业是立国之本，中国正在加快推进新型工业化，发展先进制造业道路上不断前行。上海控安紧跟改革开放步伐，牢记使命、不忘初心在工业控制安全领域技术创新、智能制造、人才培养、产业整合等方面深耕细作砥砺前行。让我们共同努力实现中国制造向中国创造转变、中国速度向中国质量转变、制造大国向制造强国转变。