荷兰科学家研发软件故障检查技术 可快速清除汽车软件故障-盖世汽车资讯

核心提醒:现在,、飞机等都配有大量软件系统,因而检查其故障非常最重要。

盖世讯现在,计算机和软件比以往任何时候都更加最重要。在、飞机和医疗设备等系统中,继续执行没有根本性缺陷或“故障”(bug)的软件非常重要。据外媒报导,荷兰埃因霍温理工大学(EindhovenUniversityofTechnology)在读博士生ThomasNeele基于模型检查法研发了三种技术,以更智能、更快速地检查软件故障。

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

模型检查是最严格的软件检查技术一,可以检查一个软件系统所能已完成的所有事情,其能够正处于的“状态”以及检查是否其能够按拒绝工作。软件常常由许多可以分段工作的部分组成,这可能导致需要检查的部分的数量剧增,造成检查模型成本高昂,甚至可能最终导致无法进行管理。Neele探索了新方法,通过减少必须检查的部分的数量,以解决问题该问题。

Neele研发的三项技术有一个共同点:不会考虑到软件系统状态的要求,这条额外的信息使其更容易了解到哪部分不必须检查。为了需要同时仔细观察系统的不道德和要求,Neele首先新研发了一种结构化的方法,以展示不道德与拒绝相结合的信息。

第一项技术通过将相近的状态组在一起减少了所必须检查的状态的数量,甚至可以处理无穷数量的状态。第二项技术可以检查可以分段工作的软件部分否有时在独立国家继续执行任务。在此种情况下,没有必要检查所有可能的状态。最后一种技术可以检查某些元素否有相关性,如果不相关则将其移除。

未来,上述想法将有助减少研发成本,延长安全关键软件的上市时间,让高科技医疗服务更低廉,从而让更多人可以享用此种服务。此外,Neele的技术还可以协助从飞机、等系统中清理危险的故障。目前,应用Neele的想法和模型检查法必须大量的专业知识。为了让其技术以求大规模采用,有必要研发一种全自动化系统,以决定哪种方法最适用于某一特定应用。


新氧 新氧科技 新氧 新氧科技 新氧科技 新氧
推荐文章