提高嵌入式软件质量

来源 :世界电子元器件 | 被引量 : 0次 | 上传用户：zhenlijinping

【摘要】

：

操作应用于安全苛刻的航空和军事领域的嵌入式软件时必须高度关注安全问题.为达到可靠性目标,软件开发团队精益求精,力争使这些软件应用符合严格的验证流程并实现零缺陷目标.

【机构】

：

MathWorks Polyspace公司

【出处】

：

世界电子元器件

【发表日期】

：

2010年12期

【关键词】

：

嵌入式软件软件质量 Software Quality 软件开发团队数学证明验证流程软件应用目标军事领域解决方案代码验证测试操作应用安全问题

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

操作应用于安全苛刻的航空和军事领域的嵌入式软件时必须高度关注安全问题.为达到可靠性目标,软件开发团队精益求精,力争使这些软件应用符合严格的验证流程并实现零缺陷目标.Edsger Dijkstra有句名言:测试只能发现错误,但不能证明错误不存在.如果测试无法证明不存在严重的运行错误,那么嵌入式软件开发团队如何才能确定其软件没有这些错误呢?基于数学证明的代码验证是值得一试的解决方案.

其他文献

TE和TM模式光折变表面波

首次研究了TM模的光折变表面波,理论上分别推导了扩散机制下的TE和TM模式的光折变表面波的非线性波方程.通过数值计算分别得到不同传播常数下两种模式光折变表面波振幅空间分

期刊

非线性光学光折变表面波TE波TM波

小型化和低成本主导串行接口的选择

降低任何嵌入式设计的体积和成本的常用方法是使用具有较少I/O引脚的通信总线.虽然从并行总线发展到串行总线可明显减小体积和降低成本,但是从一种串行总线发展为另一种具有

期刊

小型化降低成本串行总线串行接口并行总线引脚小体积嵌入式设计通信总线关键参数传输速度优缺点单片机优势讨论集成方法I/O

朱利安·赫胥黎

朱利安·赫胥黎(Julian Huxley),1887年6月生于英国伦敦市,1975年2月去世,是英国著名的动物学家、哲学家、教育家和作家。他曾担任联合国教育科学文化组织第一届总干事,也是

期刊

朱利安世界自然基金会综合进化论自然选择英国伦敦文化组织生物学家领军人物教育科学哲学家联合国教育家赫胥黎动物学作家

市场大多预测浆价中长期呈上升趋势

近期国际浆价呈现小幅波动，除亚洲市场需求增加促使浆价略有反弹外，欧美市场则出现走弱情形。中国业内人士分析，就长期来看，未来浆价仍呈上涨趋势机率较大。　　国际浆价于2010年

期刊

市场大预测亚洲市场市场需求中国市场预期欧美市场价格反弹微变化投产美元短纤波动标杆

A comparative study of the therapeutic effect between long and short intramedullary nails in the tre

Purpose: To compare the clinical effects of long vs.short intramedullary nails in the treatment of intertrochanteric fractures in old patients more than 65 year

期刊

Intertrochanteric fractureIntramedullary long nailIntramedullary short nailPe

Anti-tumor effect of thalidomide and paclitaxel on hepatocellular carcinoma in nude mice

期刊

neovascularizationpathologiccarcinomahepatocellularthalidomidepaclitaxel

关于按照中华儿科杂志双盲审稿要求处理稿件的通知

为了在审稿过程中更好地体现公平、公正的原则,中华儿科杂志(以下简称我刊)实行双盲审稿制度多年,但在我刊远程稿件管理系统中,仍屡屡收到未按照双肓审稿要求处理的稿件。为提高投稿效率,请作者在网上投稿前及投稿后对稿件进行如下处理。

期刊

中华儿科杂志双盲审稿稿件管理系统审稿过程投稿审稿要求

关注自由和开源软件

为什么关注“自由和开源软件”?使用自由和开源软件(FOSS)群体的迅速扩增,从1980年以来,体现了嵌入式行业最重要的全面长期发展趋势.第一,获得FOSS软件许可,就可以使用源代码

期刊