《软件开发的艺术》

作者：(美) 史蒂夫·麦康奈尔

索书号：TP311.52/M504/2405

出版社：清华大学出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区5排14架4层）

推介理由

本书共包含4部分21章, 探讨了软件行业中个人、组织以及行业的现状, 解释了如何以工匠精神来打造自己的专业软件开发职业路线。本书对软件行业的所有从业人员有较强的指导性, 适合富有开拓精神的企业和团队阅读。

《软件设计的哲学》

作者：(美) 约翰·奥斯特豪特

索书号：TP311.1/A242/2411

出版社：人民邮电出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区4排6架1层）

推介理由

《软件测试基础》

作者：陈振宇

索书号：TP311.55/C753/2506

出版社：清华大学出版社

出版年：2025

馆藏地： 郫都校区流通书库

（三楼一区4排10架2层）

推介理由

本书主要分为三部分。第一部分是“软件测试理论”, 从软件缺陷的认识出发, 逐步阐述软件测试的行为建模、多样性抽样和故障假设等基础理论。第二部分是“软件测试方法”, 从图开始阐述软件测试方法的本质思路, 结合专项测试 (功能、性能、安全等), 分别介绍代码测试、Web应用和移动应用测试的常用方法和工具。第三部分是“智能化测试”, 主要结合人工智能和大数据等前沿技术, 介绍软件测试的最新发展, 分为智能化测试生成、智能化测试扩增、智能化测试优化和智能化测试汇集四部分。

《面向对象软件工程》

作者：段恩泽

索书号：TP311.5/D763/2504

出版社：清华大学出版社

出版年：2025

馆藏地： 郫都校区流通书库

（三楼一区4排11架6层）

推介理由

本书详细讲述了运用面向对象的思想进行软件开发的过程, 主要包含软件工程基础、UML、软件项目管理, 需求调研、需求建模、分析、设计、实现和测试、软件维护等内容。本书介绍了使用商业软件进行需求调研的方法, 并通过两次软件开发过程的训练来强化读者对软件开发的过程、方法和工具的掌握, 第一次是在UML的案例中, 第二次是在第4章-第8章的案例中。本书注重理论与实践相结合, 通过大量的案例分析对概念和理论进行详细剖析和实践, 阐明了面向对象软件工程的原理、原则、过程、方法和工具。本书是编者多年在面向对象软件工程领域从事科研、教学和工程实践的总结, 在广泛借鉴该领域的经典理论和当前最新研究成果的基础上, 坚持独立思考、实事求是的科学态度, 对该领域的许多问题提出了新的学术观点和解决方案。

《数字化时代的软件架构:设计与分析》

作者：(美) 阿瑟·M. 兰格

索书号：TP311.1/L804/2409

出版社：机械工业出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区5排13架5层）

推介理由

本书聚焦数字化时代的软件架构, 帮助分析师将遗留应用程序迁移到以新技术为基础的新架构, 让企业得以在消费者驱动市场和社交媒体经济中继续参与竞争。本书的目标是为管理者和从业者提供一个建立新架构的方向, 以充分利用5G技术、物联网、区块链、云计算、量子计算、人工智能、机器学习等新技术, 在整合数字化技术的基础上帮助重新设计遗留应用程序。

《软件测试技术与实践:面向分布式系统OpenHarmony》

作者：朱少民

索书号：TP311.55/Z297/2407

出版社：高等教育出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区7排5架5层）

推介理由

本书基于OpenHarmony、面向全场景的分布式应用来讨论如何进行软件测试, 以适应“软件定义世界”新时代的教学需求, 树立大学生的民族自豪感和文化自信, 使其承担起发展国产基础软件的责任和使命。本书强调基于案例、问题驱动的教学模式, 以实战为主、案例为辅, 通过精心设计的13个实验, 启发学生思考, 促进学生动手实践, 切实培养学生分析问题和解决问题的能力, 使学生能够掌握软件测试的实践技能。教材在内容上力求系统全面、层次清楚、循序渐进, 从单元测试、接口测试到系统测试, 从功能测试扩展到专项测试, 基本全面覆盖各种专项测试, 包括性能测试、安全性测试、兼容性测试、可靠性测试和用户体验测试等。

《从蛮荒到敏捷:软件开发方法启示录》

作者：(美) 吉姆·海史密斯

索书号：TP311.52/H353/2408

出版社：机械工业出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区4排16架6层）

推介理由

在本书中, 作者仔细地描述了软件方法、方法论和思维方式在他非凡的60年职业生涯中的演变。作为一个多产的作者, Jim从他个人和他一路上遇到的同行的经历, 以及这些时期的技术创新和管理趋势的角度, 引导我们了解敏捷开发的发展历程。通过阅读本书, 读者可以了解敏捷实践如何演变为软件开发的支柱, 进而学会持续交付客户价值、促进企业效益以及构建可持续发展的企业。

《软件开发中的决策:权衡与取舍》

作者：(美) 托马斯·莱莱克, 乔恩·斯基特

索书号：TP311.52/L444/2411

出版社：人民邮电出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区5排11架4层）

推介理由

本书详细阐述如何在设计、规划和实现软件时做出更好的决策, 通过真实的案例, 以抽丝剥茧的方式分析那些失误的决策, 探讨还有哪些可能的解决方案, 并对比各种方案的优缺点, 摸索软件设计的常青模式。本书通过实例来说明某些决策的后果, 例如代码重复如何影响系统的耦合与演进速度, 以及如何在日期和时间信息方面隐藏细微差别。本书还介绍如何根据帕累托法则有效地缩小优化范围, 确保分布式系统的一致性。

《软件工程3.0:大模型驱动的研发新范式》

作者：朱少民, 王千祥

索书号：TP311.5/Z297/2505

出版社：人民邮电出版社

出版年：2025

馆藏地： 郫都校区流通书库

（三楼一区7排5架5层）

推介理由

本书系统地探讨了软件工程从1.0到3.0的演进历程, 深入剖析了软件工程3.0的新范式及其核心特征。书中详细介绍了软件工程3.0的实施策略和路线图, 以及提示工程、RAG技术、智能体技术、数据治理、模型工程和安全治理等核心能力的建设。通过对需求分析、架构设计、UI生成、结对编程、测试智能化和运维监控等关键环节的实践案例分析。

《FPGA软件测试:入门到实战》

作者：石颢, 陈军花, 郑玲玲

索书号：TP332.1/S106/2409

出版社：重庆大学出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区15排7架3层）

推介理由

本书从FPGA软件测试的基本概念入手, 理论部分详细解读了FPGA软件测试相关国标与国军标的要求, 实战部分结合相关标准, 在详细介绍FPGA软件静态测试技术的同时, 结合工程实例深入剖析了常用的动态测试技术, 力求指引初级FPGA软件验证与测试工程师建立基本测试规范, 指导其完成FPGA软件验证与测试入门, 助力他们持续提升综合技术实力。

《软件开发大数据分析研究与实践》

作者：彭鑫, 吴毅坚, 陈碧欢

索书号：TP311.52/P428/2501

出版社：电子工业出版社

出版年：2025

馆藏地： 郫都校区流通书库

（三楼一区5排16架6层）

推介理由

本书围绕“软件开发大数据分析”这一主题介绍相关研究与实践。其中, 第1章对软件开发大数据分析的问题背景及软件开发的数字化和智能化发展目标进行介绍和分析, 同时对本书的内容进行概述 ; 第2章对软件开发大数据分析中常用的程序分析技术进行介绍, 包括静态程序分析、动态程序分析、代码差异分析、演化分析等 ; 第3章和第4章针对软件质量问题分析这一主题分别介绍代码层面的软件缺陷分析及设计层面的软件设计质量分析 ; 第5-7章围绕数据驱动的软件开发质量追溯体系这一目标, 分别介绍代码克隆分析与管理、软件供应链风险分析、代码质量与开发效能分析三方面技术 ; 第8章围绕软件开发智能化这一主题, 具体介绍代码资产挖掘与推荐, 包括基于克隆分析的代码资产抽取、搜索式代码推荐、生成式代码推荐技术。

《软件测试用例集约简算法研究》

作者：华丽

索书号：TP311.5/H241/2407

出版社：华中科技大学出版社

出版年：2024

馆藏地： 郫都校区流通书库

（三楼一区4排16架4层）

推介理由

本书在分析、总结己有的基于测试需求集的算法基础上, 提出了一种能得到近似最小运行代价的测试用例集的算法。该算法在基本蚁群算法的基础上引入遗传算法的变异因子简称算法, 增加了蚂蚁搜索的随机性、快速性和全局收敛性, 避免了早熟停滞的缺陷。该算法实现起来快速简单, 是一种可以在求解速度和求解精度之间寻找平衡点的一种算法。最后, 本书针对测试用例集约简问题中蚁群算法的参数值的取值问题进行了仿真实验计算, 并和其它几种经典算法进行了比较。实验结果表明本文提出的遗传蚁群混合算法能快速得到近似最小运行代价的测试用例集, 能有效降低软件测试的成本。

《软件测试理论与实践》

作者：曲海成 ... [等]

索书号：TP311.55/Q535/2504

出版社：机械工业出版社

出版年：2025

馆藏地： 郫都校区流通书库

（三楼一区6排2架2层）

推介理由

本书共7章: 第1章介绍软件测试基本理论, 第2章介绍软件质量与软件测试, 第3章介绍软件测试的方法, 第4章介绍软件测试管理, 第5章至第7章介绍不同平台系统的测试理论和测试实践案例。

让阅读与青春为伴

陪你一路成长

不失初心

不忘初衷