查寻(软件)ugs

如果你知道打字,你可能 已经做了点打字平时没什么大不了可想象你是一个计算机程序员 逐行编译简单打字程序可创建产生重大反作用的bug或缺陷微软研究北卡罗来纳州立大学研究者并发编程者想出效率更高的方法检查工作,以便识别并纠正这些错误

程序编程代码查找错误很重要,因为它们可能导致可靠性问题-甚至安全顾虑-如果ug提供黑客可以利用的开口一种方法查找这些错误被称为动态符号执行,试图探索程序中可选取的每一种潜在路径

引人入胜Pex公司微软研究开发软件测试工具使用动态符号执行检查软件程序代码Pex像所有动态符号执行努力一样,正面临一个巨大的挑战,即路径爆破问题(我爱这个名字)。

基本问题在于 准代码中几乎无限多路径 使得几乎不可能探索所有路径

EnterTao Xie,NCState计算机科学家和研究团队谢协同微软研究开发新智能搜索策略 识别最高效探索程序代码路径令策略如此有效的原因是策略动态引导:一探索代码的一部分,搜索策略就会修改以聚焦代码中尚未测试的元素换句话说,策略更新自身以找到最高效方法解决代码剩余部分-避免聚焦程序中已经测试的部分

归根结底,策略帮助程序员识别代码中的错误-效率高得多-转而节省时间和金钱谢和微软研究合作发布结果内第三十九届IEE/IFIP依赖系统网络国际会议记录.智能策略已融入Pex系统,该程序发布为微软2010视觉工作室电源工具

与微软研究合作意味着我们正在帮助解决实战问题 这些问题对产业很重要并引导建立合作伙伴关系 使我们能够建建建这些工具