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