[Simulink] PolySpace学习笔记

本文学习自《嵌入式软件动态运行时错误的检测》，主要是了解一下polyspace，工做过程当中目前没有涉及到。web 背景 和桌面系统不一样，对于嵌入式软件系统，软件测试主要是发现如下类型的错误：编程 功能错误 —— 主要借助项目需求文档，编写对应的测试用力进行测试与验证工做 性能错误 —— 通常要借助硬件级别的工做，衡量软件的性能是否达到要求 运行时错误 —— 软件在动态运行时出现的错误，是全部的

>>阅读原文<<