登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書

『簡體書』基于程序分析的软件测试与错误定位技术

書城自編碼： 3910575
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者： 易秋萍
國際書號(ISBN)： 9787563569854
出版社： 北京邮电大学出版社有限公司
出版日期： 2023-08-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 59.3

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
巴比伦怪物：魏玛共和国犯罪鉴证实录（“火与风”丛书）
《 巴比伦怪物：魏玛共和国犯罪鉴证实录（“火与风”丛书） 》
售價：HK$ 101.2
启功谈国画（启功著，中华书局出版）
《 启功谈国画（启功著，中华书局出版） 》
售價：HK$ 64.4
中国书法的历程
《 中国书法的历程 》
售價：HK$ 89.7
汉语修辞学（第四版）（中华当代学术著作辑要）
《 汉语修辞学（第四版）（中华当代学术著作辑要） 》
售價：HK$ 158.7
中国近代画报大系·中国近代画报史稿
《 中国近代画报大系·中国近代画报史稿 》
售價：HK$ 181.7
思想地震：柄谷行人演讲集1995-2015（艺文志·日本思想）
《 思想地震：柄谷行人演讲集1995-2015（艺文志·日本思想） 》
售價：HK$ 66.7
大国人口
《 大国人口 》
售價：HK$ 90.9
何以中国·君臣：宋代士大夫政治下的权力场
《 何以中国·君臣：宋代士大夫政治下的权力场 》
售價：HK$ 112.7

 
建議一齊購買：

+

HK$ 108.6
《量子力学 刘玉鑫著》		 +

HK$ 104.1
《因果推断与效应评估的计量经济学 经济学精选教材译丛》		 +

HK$ 59.4
《解析几何（第三版）》		 +

HK$ 82.5
《2023版民法物权 刘家安 中国特色社会主义法治理论系列教材》		 +

HK$ 76.6
《西方哲学简史（修订版）》		 +

HK$ 98.8
《方剂学·全国中医药行业高等教育“十四五”规划教材》
內容簡介：
本书主题为基于最弱前置条件计算的软件测试及错误定位分析方法研究。主要包括以下几个方面的内容：
一、首先对基于程序分析的软件测试及错误定位研究的总体情况进行分析。回顾软件测试技术近几十年的发展历程，分析该技术的重要地位、目前的现状及面临的主要困境。分析作为软件质量维护重要环节的软件修复，并进一步细化软件修复的重要步骤，包括直接影响软件修复正确性及有效性的关键步骤——软件错误定位。
二、其次，全面分析介绍与软件测试以及错误定位相关的国内外研究现状。介绍经典程序分析符号执行方法，包括传统符号执行的基本理论思想，符号执行技术的研究发展现状，以及近些年来符号执行技术的主要发展方向以及面临的主要问题及其挑战。介绍软件测试与错误定位相关的国内外研究现状，主要关注基于程序分析技术的软件测试以及错误定位分析方法的发展现状。
三、接着，介绍基于程序执行路径的最弱前置条件计算框架。包括对被测程序语言的介绍及定义，基于执行路径的最弱前置条件计算算法的介绍等方面内容。
四、随后，介绍基于最弱前置条件计算框架的有效软件测试方法。针对基于符号执行技术的测试方法面临的路径爆炸问题，该部分介绍一种有效的基于最弱前置条件计算框架实现的符号执行加速算法，该方法通过有效避免重复遍历相同子路径的方法加速符号执行，缓解该技术面临的路径爆炸问题。
五、随后，介绍基于最弱前置条件计算框架的有效错误定位分析方法。针对错误定位技术难以准确定位错误语句，以及难生成有效的错误原因解释信息的困境，该部分介绍一种有效的基于单条错误执行路径展开的错误定位分析方法，并分别从非增量以及
六、最后，总结并展望软件测试以及错误定位分析方法的发展方向。
關於作者：
易秋萍，女，北京邮电大学计算机学院（国家示范软件学院）特聘副研究员，工学博士。研究方向包括：系统软件安全、程序分析测试、软件错误定位与修复、并行程序分析验证。当前感兴趣的研究方向包括：基于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.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.