信息科学技术前沿丛书 基于程序分析的软件测试与错误定位技术
丛书： 信息科学技术前沿丛书
作者： 易秋萍编
ISBN：978-7-5635-6985-4
关键词： 软件-测试-错误校验-定位
页数：183
出版社： 北京：北京邮电大学出版社
出版日期：
发现《信息科学技术前沿丛书 基于程序分析的软件测试与错误定位技术》在 2025-11-03 可全文阅读或下载。
图书简介
如今，软件在人们的社会生活中占据越来越重要的地位，软件的正确性也受到人们越来越多的重视。软件测试是保证软件正确性以及安全性的重要手段，它的主要任务是发现软件设计缺陷，进而要求开发人员分析、定位错误并修复缺陷。本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。本书是程序分析领域的专业书籍，可供软件测试、程序分析与验证领域的学生及研究人员学习和参考。
用户须知
出版社通过教客网下载电子书并起诉站长多次，本站随时可能倒闭。
诉讼案号：（2022）川01民初4401，（2022）川01民初4403，（2022）川01民初4403，（2022）川0191民初19351号， （2022）川0191民初19594号，（2022）川0191民初20457号，（2022）川0191民初20459号， （2023）川知民终373号，（2023）川知民终374号，（2023）川知民终375号， （2024）川0191民初15977号，（2024）川0191民初15979号，（2024）川0191民初15980号， （2024）川0191民初15981号，（2024）川0191民初15982号
- 找《信息科学技术前沿丛书 基于程序分析的软件测试与错误定位技术》，去就近图书馆。
- 本页面文字内容和图片来自 m.5read.com。
- 封皮图片引用地址：https://cover.duxiu.com/coverNew/CoverNew.dll?iid=6367616563636168676b58a0a191a993a697a49f93a49d3637353131333832