登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 不挨饿快速瘦的减脂餐 》 售價：NT$ 305.0 《 形而上学与存在论之间：费希特知识学研究（守望者）（德国古典哲学研究译丛） 》 售價：NT$ 504.0 《 卫宫家今天的饭9 附画集特装版（含漫画1本+画集1本+卫宫士郎购物清单2张+特制相卡1张） 》 售價：NT$ 602.0 《 化妆品学原理 》 售價：NT$ 254.0 《 万千教育学前·与幼儿一起解决问题：捕捉幼儿园一日生活中的教育契机 》 售價：NT$ 214.0 《 爱你，是我做过最好的事 》 售價：NT$ 254.0 《 史铁生：听风八百遍，才知是人间（2） 》 售價：NT$ 254.0 《 量子网络的构建与应用 》 售價：NT$ 500.0

建議一齊購買： + NT$ 454 《 量子力学 刘玉鑫著 》 + NT$ 439 《 因果推断与效应评估的计量经济学 经济学精选教材译丛 》 + NT$ 277 《 解析几何（第三版） 》 + NT$ 337 《 2023版民法物权 刘家安 中国特色社会主义法治理论系列教材 物权法教材 大学法学教材 》 + NT$ 348 《 西方哲学简史（修订版） 》 + NT$ 458 《 方剂学·全国中医药行业高等教育“十四五”规划教材 》 內容簡介： 本书主题为基于最弱前置条件计算的软件测试及错误定位分析方法研究。主要包括以下几个方面的内容： 一、首先对基于程序分析的软件测试及错误定位研究的总体情况进行分析。回顾软件测试技术近几十年的发展历程，分析该技术的重要地位、目前的现状及面临的主要困境。分析作为软件质量维护重要环节的软件修复，并进一步细化软件修复的重要步骤，包括直接影响软件修复正确性及有效性的关键步骤——软件错误定位。 二、其次，全面分析介绍与软件测试以及错误定位相关的国内外研究现状。介绍经典程序分析符号执行方法，包括传统符号执行的基本理论思想，符号执行技术的研究发展现状，以及近些年来符号执行技术的主要发展方向以及面临的主要问题及其挑战。介绍软件测试与错误定位相关的国内外研究现状，主要关注基于程序分析技术的软件测试以及错误定位分析方法的发展现状。 三、接着，介绍基于程序执行路径的最弱前置条件计算框架。包括对被测程序语言的介绍及定义，基于执行路径的最弱前置条件计算算法的介绍等方面内容。 四、随后，介绍基于最弱前置条件计算框架的有效软件测试方法。针对基于符号执行技术的测试方法面临的路径爆炸问题，该部分介绍一种有效的基于最弱前置条件计算框架实现的符号执行加速算法，该方法通过有效避免重复遍历相同子路径的方法加速符号执行，缓解该技术面临的路径爆炸问题。 五、随后，介绍基于最弱前置条件计算框架的有效错误定位分析方法。针对错误定位技术难以准确定位错误语句，以及难生成有效的错误原因解释信息的困境，该部分介绍一种有效的基于单条错误执行路径展开的错误定位分析方法，并分别从非增量以及 六、最后，总结并展望软件测试以及错误定位分析方法的发展方向。 關於作者： 易秋萍，女，北京邮电大学计算机学院（国家示范软件学院）特聘副研究员，工学博士。研究方向包括：系统软件安全、程序分析测试、软件错误定位与修复、并行程序分析验证。当前感兴趣的研究方向包括：基于AI技术与程序分析技术的有效结合，构建大规模程序分析验证平台；C 11并行程序分析验证方法及工具平台研发。于2016年在中科院软件研究所获得博士学位，随后到美国Texas A&M大学和Texas State大学做博士后。2020年10月，通过北京邮电大学“优秀人才计划”引进，任特聘副研究员、博士生导师。当前主持国家自然科学基金项目1项。在多个CCF A类国际顶级期刊／会议（ESEC/FSE、TSE、USENIX Security、ICSE、TOSEM）上发表多篇论文。曾担任CCF A类国际顶级会议（PLDI， CGO-PPoPP， ICSE， ISSTA， ICSE）的程序委员会委员或审稿人。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.