什么是旧的再次与麻省理工学院的最新臭虫查找器 T-Systems谈到新英国数据中心的Brexit好处 富士通董事长表示,在招聘决策时考虑多样性 NHS England选择了八个项目,用于第二次保健创新者 Mingis关于Tech:MacBooks很热,贸易展示不是 Android n Hits Beta,拥有VR等等 U.S.拟议的中国法规可以将互联网碎片。 Chancellor Phillip Hammond宣布了400米的技术初创公司投资 谷歌,汽车制造商加入速度自动驾驶汽车采用 英国帮助拆除雪崩全球网络网络 网络需要自动化 - 只要询问美国军队 网络技术是解锁业务效率的关键 5(更多)成为数据科学家的理由 2016年度前10家HR技术故事 EMC世界用云备份和更便宜的闪存阵列启动 Dropbox与新的教育服务一起去大学 马来西亚保险公司合作伙伴供应商定制网络安全政策 SSE企业电信加倍Capita交易的网络足迹 欧洲在Quantum Computing上投注了十亿欧元赌注 万事达卡使用人工智能进行交易批准 为什么Microsoft不会扩展Windows 10免费升级优惠 Oracle完善了收购Netsuite,Eyes $ 1bn云收入 大学医院利默里克升级数字急诊部门系统 SAP在欧洲提升数据隐私 甲骨文 - 谷歌陪审团至少包括一个厌恶技术的人 FAA在英特尔首席执行官领导的无人机上设立咨询小组 IBM归咎于澳大利亚人口普查网站崩溃 Apixio Scoops Up现金推动了医疗保健认知计算的上行 MarkLogic 9旨在确保您的数据在休息时安全 Zuckerberg在未来10年内看到比人类的人更好 Microsoft在Dupe-User Windows 10升级策略中打破自己的设计规则 Twitter计划削减数百个工作岗位 纯粹的网络安全有真正的价值,说传入迈克菲头 俄罗斯黑客突破了美国网格的武力Quashes报告 Microsoft将Cortana搜索框声明为弯曲和仅限边缘 需要电子商务为您的SMB?SAP有一个云工具给你 开源不再害怕企业 Windows 7更新扫描永远存在?KB 3153199可以解决这个问题 麦肯锡专家说,数据是营销中的“最大的战斗机” 巴克莱飞行员非接触式现金提款 Bletchley Park教授青少年成为网络专家 这个网站旨在成为SaaS World的Yelp 愤怒的广告商希望密封在线广告欺诈的命运 Office Online为企业用户添加了Live Chat 从Symbian到财务应用 - 银行利用的诺基亚专业知识 谷歌的五个问题在其大型I / O会议上回答 保险公司面对零售银行的遗产系统战斗 从尝试的1亿美元的银行兴奋剂学习课程 基于云的基础设施是2017年的高度ANZ优先 FileMaker 15将提升您的业务吗?
您的位置:首页 >物联网 >

什么是旧的再次与麻省理工学院的最新臭虫查找器

调试代码是软件开发人员的多年生头痛,但科学家们宣布了一种新技术,可以使流程显着更容易。

该方法在麻省理工学院的计算机科学和人工智能实验室和马里兰州大学开发,该方法基本上弥合了传统的象征性执行技术与今天的现代软件之间的差距,使得可以更有效地调试代码。

符号执行是一种软件分析技术,可用于通过追踪在执行期间可能需要的路径自动定位和修复错误。但是,该技术不会与使用当今编程框架编写的应用程序良好工作。

“是因为现代应用程序通常导入来自这些框架的函数,其中包括繁忙的常用代码库。分析应用程序本身可能不是一个问题,但如果分析器也必须评估每个可能的指令,则此过程变得过于耗时,例如,向窗口添加一个按钮,包括屏幕上的按钮的位置,当用户上下滚动时,它的运动,它在按下时变化的方式,依此类推。

“四十年前,如果你想写一个程序,你进去了,你写了代码,基本上你写的所有代码是执行的代码,”MIT副教授的Armando Solar-Lezama表示,他的团体领导了这项工作。“今天,你去了这些巨大的框架和这些巨大的功能,然后你一起粘合在一起,你写了一些代码来让他们互相互动。如果你不明白那大框架正在做什么,你甚至不知道你的程序在哪里开始执行。“

为了解决问题,计算机科学家们经常经过耗时和错误的过程,可以创建用于与新程序的交互的导入库的模型创建模型,但不需要将其代码按行进行评估。在新的研究中,上周在国际软件工程会议上呈现,研究人员创建了一个自动构建这些模型的系统。

被称为Pasket,该系统产生了有希望的结果。

“蓬喀塞斯的可扩展性令人印象深刻 - 在几分钟内,它综合了近2,700行的代码,”滨江加州大学计算机科学与工程教授Rajiv Gupta说。“而且,生成的模型与手动创建的模型比较。”

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。