网站上传在空间哪里去了,电子购物网站开发,手机网站用什么软件做的好,阿里云网站空间传统的系统开发过程#xff0c;都是由工程师根据项目需求书来编写代码完成系统的开发#xff0c;但随着功能的扩充和版本的迭代#xff0c;系统中庞大的代码量很难确保正确无误#xff0c;给后期测试和仿真带来了很大的压力和成本#xff0c;在航空航天、卫星系统、核电等…
传统的系统开发过程都是由工程师根据项目需求书来编写代码完成系统的开发但随着功能的扩充和版本的迭代系统中庞大的代码量很难确保正确无误给后期测试和仿真带来了很大的压力和成本在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在代码自动生成技术的发展给行业发展带来新的可能性在需求设计阶段就由模型来完成借助形式化验证技术和代码自动生成技术来完成项目开发在保证安全性的同时也能极大降低开发成本。国产自主可控的代码自动生成工具SkyEye已经在众多安全关键领域中应用SkyEye可替代国外Matlab/Sumlink等同类软件。
国产自主可控的代码自动生成工具SkyEye
全数字仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。
作为基于嵌入式应用的特点嵌入式软件全数字仿真测试支撑平台SkyEye要为嵌入式系统提供全数字仿真测试环境或测试平台实现对嵌入式系统进行实时、闭环的系统测试。在该平台上完成被测软件的分析、运行和测试最重要的是要实现嵌入式系统外部事件的全数字仿真平台使得嵌入式软件就像在真实硬件环境下连续不中断地运行。
SkyEye的优势
作为一种全数字实时仿真的安全关键领域解决方案SkyEye可与第三方语言或者模型集成目前已实现SkyEye与SystemC集成进行时序仿真以及SkyEye与工业软件MATLAB或者Simulink集成进行多领域协同仿真。
SkyEye的十大优势
更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建。仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同仿真过程可以通过运行、暂停控制、可以随时重复执行每次运行结果是确定的可以使用软件复现问题。提供GDB源码调试和汇编级调试工具使开发者更高效的分析和定位问题。提供代码覆盖率和生成报告功能进行源码和目标码的覆盖率分析。提供故障注入功能可以进行内存和IO的故障注入进行测试。提供协同仿真工具支持与其他异构模型协同仿真。提供外设建模工具和二次开发API接口方便用户进行二次开发。提供Python API接口可以进行自动化测试脚本构建所需测试环境。Docker容器化支持。界面提供自动化测试功能可以选择所需测试用例自动运行并给出测试结果与其他异构模型协同仿真。
转载于http://www.digiproto.com/archives/2700
