信息科学技术前沿丛书 基于程序分析的软件测试与错误定位技术
删除本页内容丛书:信息科学技术前沿丛书
作者:易秋萍编
ISBN:1978-7-5635-6985-42
关键词:软件-测试-错误校验-定位
页数:183
出版社: 北京：北京邮电大学出版社
出版日期:2023.08
本书2025年3月30日可阅读或下载
如今，软件在人们的社会生活中占据越来越重要的地位，软件的正确性也受到人们越来越多的重视。软件测试是保证软件正确性以及安全性的重要手段，它的主要任务是发现软件设计缺陷，进而要求开发人员分析、定位错误并修复缺陷。本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。本书是程序分析领域的专业书籍，可供软件测试、程序分析与验证领域的学生及研究人员学习和参考。
软件-测试-错误校验-定位
留言内容
发布留言
卫星地面融合信息网络
面向无线视频业务的边缘资源调度技术
信息科学技术前沿丛书 基于程序分析的软件测试与错误定位技术
信息科学技术前沿丛书 内部威胁分析与防御技术
信息科学技术前沿丛书 智能技术场景中的用户与系统交互行为规律探究
互联网域间路由安全监测与防御=DETECTION AND DEFENSE OF INTERNET INTER-DOMAIN ROUTING SECURITY
用户须知：
1.如果要找《信息科学技术前沿丛书 基于程序分析的软件测试与错误定位技术》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=696d676b6969676e6d715ea6a797af99ac9daaa599aaa33131393435343138