《基于程序分析的软件测试与错误定位技术》
ISBN：9787563569854
更多“易秋萍”的图书 查看“北京：北京邮电大学出版社”出版的图书 按关键词搜索相关图书
关键词：软件-测试-错误校验-定位
页数：183
出版社地址：未知
点此占领格子后刷新查看百万图书阅读或下载地址。
提示：如果既不想花钱占格子，又想看阅读下载地址，请仔细浏览本站内容，站长将阅读下载地址免费公布了的，就是需要仔细找找。
《基于程序分析的软件测试与错误定位技术》内容简介
如今，软件在人们的社会生活中占据越来越重要的地位，软件的正确性也受到人们越来越多的重视。软件测试是保证软件正确性以及安全性的重要手段，它的主要任务是发现软件设计缺陷，进而要求开发人员分析、定位错误并修复缺陷。本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。本书是程序分析领域的专业书籍，可供软件测试、程序分析与验证领域的学生及研究人员学习和参考。
《基于程序分析的软件测试与错误定位技术》赏析
暂无赏析内容，快来发布第一篇赏析吧！
《基于程序分析的软件测试与错误定位技术》内容提问与解答
回答基于全网公开信息整理出来的本书相关信息。
解答内容：