正弦信号的matlab代码-SOCRaTEs:SimulinkOracles对于CPS的需求具有不确定性

正弦信号的matlab代码社会：Simulink Oracles对于CPS的需求具有不确定性 蒙吉·克劳迪奥（Menghi Claudio），内贾蒂·希瓦（Nejati Shiva），库洛德·加洛（Khouloud Gaaloul），莱昂内尔·布莱恩（Lionel Briand） 本节概述了描述这项工作的理论基础的出版物。 本节概述了SOCRaTE。 本节介绍如何安装SOCRaTE，以及如何创建第一个SOCRaTE项目。 本节介绍如何使用SOCRaTE。 最后一节提供了一个教程，该教程描述了如何在一组简单示例上使用SOCRaTE。 刊物 为具有连续和不确定行为的Simulink模型生成自动和在线测试Oracle 蒙吉·克劳迪奥（Menghi Claudio），内贾蒂·希瓦（Nejati Shiva），库洛德·加洛（Khouloud Gaaloul），莱昂内尔·布莱恩（Lionel Briand） ESEC / FSE'19软件工程基础联席会议（ACM SIGSOFT杰出论文奖） 概述 图1显示了SOCRaTeS（具有不确定性的CPS需求的Simulink Oracle ），这是我们为C