《基于程序分析的软件测试与错误定位技术》 - 台灣·大書城 - 易秋萍 - 北京邮电大学出版社有限公司

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　聯絡我們　 \|　運費計算　 \|　幫助中心　\|　加入書簽
		會員登入新用戶註冊

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

香港／國際用戶

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

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

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

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

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

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

售價：NT$ 250

我要買件

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

新書推薦：

《哈佛大学科学通识课：探索宇宙、地球与生命》
售價：NT$ 509.0

《还可以的金女士（小镇女孩误入时尚圈血泪史）》
售價：NT$ 245.0

《王阳明全集（套装5册）》
售價：NT$ 1367.0

《萤火虫全球史：西方战争史上的著名战斗机》
售價：NT$ 388.0

《 360张图表读懂6S精益管理》
售價：NT$ 449.0

《良好生活的哲学：为不确定的人生找到确定的力量》
售價：NT$ 449.0

《 DeepSeek+Dify+Ollama全栈AI开发实战：前端本地部署到大模型集成训练》
售價：NT$ 403.0

《五维管理：管理入门九堂课》
售價：NT$ 449.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 - 2025 （香港）大書城有限公司　All Rights Reserved.