潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

基于程序分析的软件测试与错误定位技术/易秋萍编著

出版发行项:

北京:北京邮电大学出版社,2023

ISBN及定价:

978-7-5635-6985-4/CNY49.00

载体形态项:

183页:图;26cm

并列正题名:

Software testing and fault localization technology based on program analysis

丛编项:

信息科学技术前沿丛书

个人责任者:

易秋萍 编著

学科主题:

软件-测试-错误校验-定位

中图法分类号:

TP311.55

相关题名附注:

英文题名取自封面

书目附注:

有书目 (第164-183页)

提要文摘附注:

本书共9章, 其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。

豆瓣简介：