ISBN/价格: | 978-7-5635-6985-4:CNY49.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 基于程序分析的软件测试与错误定位技术/.易秋萍编著 |
出版发行项: | 北京:,北京邮电大学出版社:,2023 |
载体形态项: | 183页:;+图:;+26cm |
丛编项: | 信息科学技术前沿丛书 |
相关题名附注: | 英文并列题名取自封面 |
提要文摘: | 本书共9章,其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。 |
并列题名: | Software testing and fault localization technology based on program analysis eng |
题名主题: | 软件 测试 错误校验 定位 |
中图分类: | TP311.55 |
个人名称等同: | 易秋萍 编著 |
记录来源: | CN 浙江省新华书店集团公司 20231030 |