车壳厂家
免费服务热线

Free service

hotline

010-00000000
车壳厂家
热门搜索:
成功案例
当前位置:首页 > 成功案例

瞧一瞧:荷兰科学家研发软件故障检查技术 可快速清除汽车软件故障

发布时间:2022-04-07 21:36:33 阅读: 来源:车壳厂家

盖世汽车讯现在,计算机和软件比以往任什么时候候都更加重要。在汽车暴力强拆怎么起诉
、飞机和医疗装备等系统中,履行没有重大缺点或“故障”(bug)的软件非常重要。据外媒报导,荷兰埃因霍温理工大学(EindhovenUniversityofTechnology)在读博士生ThomasNeele基于模型检查法研发了3种技术,以更智能、更快速地检查软件故障。

ThomasNeele(图片来源:埃因霍温理工大学)

模型检查是最严格的软件检查技术之1,可以检查1个软件系统所能完成的所有事情,其能够处于的“状态”和检查是不是其能够按要求工作。软件常常由许多可以并行工作的部份组成,这可能致使需要检查的部份的数量激增,致使检查模型本钱高昂,乃至可能终究致使没法进行管理。Neele探索了新方法,通过减少需要检查的强拆签协议后还可以上告吗
部份的数量,以解决该问题。

Neele研发的3项技术有1个共同点:会斟酌到软件系统状态的要求,这条额外的信息使其更容易了解到哪部份不需要检查。为了能够同时视察系统的行动和要求,Neele首先新研发了1种结构化的方法,以展现行动与要求相结合的信息。

第1项技术通过将类似的状态组在1起减少了所需要检查的状态的数量,乃至可以处理无穷数量的状态。第2项技术可以检查可以并行工作的软件部份是不是有时在独立履行任务。在此种情况下,没有必要检查所有可能的状态。最后1种技术可以检查某些元素是不是有相干性,如果不相干则将其删除。

未来,上述想法将有助于减少研发本钱,缩短安全关键软件的上市时间,让高科技医疗服务更便宜,从而让更多人可以享受此种服务。另外,Neele的技术还可以帮助从飞机、汽车等系统中清除危险的故障。目前,利用Neele的想法和模型检查法需要大量的专业知识。为了让其技术得以大范围采取,有必要研发1种全自动化系统,以决定哪一种方法最适用于某1特定利用。

什么条件可以强拆
(HN666)

THEEND免责声明:本文系转载,版权归原作者所有;旨在传递信息,不代表亚设网的观点和立场。