微波EDA网,见证研发工程师的成长!
首页 > 硬件设计 > 嵌入式设计 > 提高嵌入式软件质量

提高嵌入式软件质量

时间:03-15 来源: 点击:

结论

静态分析融合抽象解释后,可提高高集成系统中嵌入式软件的质量和可靠性。此方法能帮助工程师实现证明软件中不存在某些运行时错误的目标。具有抽象解释的代码验证解决方案有助于实现良好的质量流程。这是强有力的验证流程,可帮助实现嵌入式设备的高集成性。

Copyright © 2017-2020 微波EDA网 版权所有

网站地图

Top