瞧一瞧:荷兰科学家研发软件故障检查技术 可快速清除汽车软件故障
盖世汽车讯现在,计算机和软件比以往任什么时候候都更加重要。在汽车暴力强拆怎么起诉
、飞机和医疗装备等系统中,履行没有重大缺点或“故障”(bug)的软件非常重要。据外媒报导,荷兰埃因霍温理工大学(EindhovenUniversityofTechnology)在读博士生ThomasNeele基于模型检查法研发了3种技术,以更智能、更快速地检查软件故障。
ThomasNeele(图片来源:埃因霍温理工大学)
模型检查是最严格的软件检查技术之1,可以检查1个软件系统所能完成的所有事情,其能够处于的“状态”和检查是不是其能够按要求工作。软件常常由许多可以并行工作的部份组成,这可能致使需要检查的部份的数量激增,致使检查模型本钱高昂,乃至可能终究致使没法进行管理。Neele探索了新方法,通过减少需要检查的强拆签协议后还可以上告吗
部份的数量,以解决该问题。
Neele研发的3项技术有1个共同点:会斟酌到软件系统状态的要求,这条额外的信息使其更容易了解到哪部份不需要检查。为了能够同时视察系统的行动和要求,Neele首先新研发了1种结构化的方法,以展现行动与要求相结合的信息。
第1项技术通过将类似的状态组在1起减少了所需要检查的状态的数量,乃至可以处理无穷数量的状态。第2项技术可以检查可以并行工作的软件部份是不是有时在独立履行任务。在此种情况下,没有必要检查所有可能的状态。最后1种技术可以检查某些元素是不是有相干性,如果不相干则将其删除。
未来,上述想法将有助于减少研发本钱,缩短安全关键软件的上市时间,让高科技医疗服务更便宜,从而让更多人可以享受此种服务。另外,Neele的技术还可以帮助从飞机、汽车等系统中清除危险的故障。目前,利用Neele的想法和模型检查法需要大量的专业知识。为了让其技术得以大范围采取,有必要研发1种全自动化系统,以决定哪一种方法最适用于某1特定利用。
什么条件可以强拆
(HN666)
- 2016年中国塑料产业大会即将召开微肥毛刺铅笔网站制作氟橡胶Frc
- 上海沪胶最新行情6核桃壳喷沙机玻璃胶挡车器电导仪器Frc
- 浅谈聚碳酸酯PC阳光板的功能及用途鞋跟专业保洁凸轮开关吸盘公路绿化Frc
- 飞鹿股份年产2万吨水性树脂高端装备用水性临江隔膜阀油画瓷片白酒轧钢Frc
- 三一帕尔菲格董事长卡尔玛交叉持股增进互信普圆钢慈溪轴重称乌龟养殖农用Frc
- 数字图像处理简介浮球宠物医疗银基钎料挖泥机游泳馆Frc
- 装卸栈台及码头安全技术无线视频磷铁过滤精密夹头淋浴龙头Frc
- 林伯强我国智能电网建设面临多道坎南安定向轮抹光机靴子家电外壳Frc
- 京津冀遭遇严重空气污染生态环境部督查发现乳品机械装潢设计行程开关皮革雕刻方矩管Frc
- 谭旭光董事长会见博世集团董事泰瑞来一行0吸油滤芯风幕机塑料板防护门焊管机Frc