软件缺陷模式与测试.pdf 本书全面论述了基于缺陷模式软件测试的一般方法，包括软件缺陷的综合论述、面向C/C++/Java的软件缺陷模式的分类、各种软件缺陷模式的定义等内容。 叁号仓库 2022年07月16日 0 点赞 0 评论 1201 浏览
源代码分析.pdf 目前，源代码分析是软件工程领域的必备方法之一，有着强烈的工程需求和实用价值，已成为国际学术界和工业界的一个热点。本书从源代码分析的基本概念开始，将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解 叁号仓库 2022年07月17日 0 点赞 0 评论 3745 浏览
