软件工程及软件方法学
-
可信嵌入式软件开发方法与实践韩炜《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论,介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况,并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述;重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰:描述了软件工程基础知识,包括软件工程基本概念、基本原则和研究内容。第2部分为通用的软件工程的阐述,分别对软件全生命周期模型、开发计划与策划、需求开发及管理、软件架构设计技术、机载软件的设计、软件验证技术、软件质量保证、软件可信性评估、软件可靠性评估和软件安全性评估等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法,重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》,以及机载软件知识库。第4部分为天脉操作系统的开发实践,对自行研制的天脉操作系统的开发实践进行了详细的描述,其中包括天脉操作系统的研制策划、项目立项论证和研制总要求论证、软件计划过程和软件开发过程实践等。软件研制有很多工程化规定和指南,但是缺乏工程化的方法学指导,以及对软件工程全面的融会贯通的理解,《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》能够为航空工业和其他领域从事高安全性系统设计的软件工作人员提供有用的参考资料。 -
软件测试技术范勇 著本书详尽地阐述了软件测试的基础知识及其相关的测试技术,内容包括软件测试基础、软件测试模型与过程、软件测试管理、黑盒测试、白盒测试、单元测试、集成测试、系统测试、面向对象软件的测试、自动化测试,Web系统测试案例和软件测试实验。书中通过一个Web系统测试案例实践本书所论述的测试理论和技术。 本书内容全面、重点突出、理论简明、难易适中,注重基本概念和基础理论,强调测试技术的实用性。书中结合大量的测试案例,将理论与实践紧密结合,使读者可以更好地理解和掌握软件测试技术,并运用到实际测试工作中去。 本书可作为高等院校、示范性软件学院的计算机相关专业和软件技术专业的教材,也可作为软件测试技术初、中级培训教程,同时可供从事软件开发和软件测试的专业技术人员和管理人员参阅。 -
交互设计概论廖国良 著《交互设计概论》是全国高等院校设计类十三五规划系列教材之一,本书比较适合作为艺术院校相关设计专业交互设计课程的教材用书。本书主要内容包括交互设计的概念、学科性质、设计方法、设计需求、设计研究、设计行为、原型设计和交互设计的未来发展展望。通过对本书的学习可以提高学生对交互设计的全面了解和认识,更好的做好交互设计。 -
逆向分析实战冀云 著本书的主要内容为:数据的存储及表示形式、汇编语言入门、熟悉调试工具OllyDbg、PE工具详解、PE文件格式实例(包括加壳与脱壳工具的使用)、十六进制编辑器与反编译工具、IDA与逆向、逆向工具原理实现等。本书可以作为程序员、安全技术的研究人员、安全技术爱好者阅读。 -
软件测试习题解析与实验指导周元哲 著本书与《软件测试(第2版)》相配套,内容包括两部分。第1部分是习题解析,针对主教材的8章内容,给出每章的知识重点,精心设计了相应的习题,并给出了详细的解析和参考答案。第2部分是实验指导,主要包括黑盒测试(等价类划分法、边界值分析法、因果图)、白盒测试(逻辑覆盖、路径分析)以及JUnit、TestDirector、LoadRunner、FindBugs、Bugzilla、Appium等软件工具的使用。附录包括实验报告格式、软件测试相关文档模板、软件测试考试与竞赛简介。本书全面、系统地涵盖了当前业界测试领域的理论和实践知识,反映当前*新的软件测试理论、标准、技术和工具。本书适合作为高等院校相关专业软件测试课程的教材或教学参考书,也可供从事计算机应用开发的各类技术人员参考,或用作全国计算机软件测评师考试、软件技术资格与水平考试的培训资料。 -
软件工程导论吕云翔 著本书按照典型的软件开发过程来组织内容,旨在培养学生具备软件工程思想及实际软件开发的能力。全书共10章,主要内容包括软件工程的起源,软件工程相关概念,软件工程方法、过程和工具,软件可行性研究及需求分析,软件设计,软件编码及实现,软件测试与维护,面向对象的软件工程,软件工程中涉及的管理方面的内容,如软件规模估算、进度计划、人员组织、软件开发风险管理等,以及课程设计方面的内容。本书可以作为普通高校计算机相关专业“软件工程”课程的教材,也可以供学习软件工程(包括参加计算机等级考试或相关专业自学考试)的读者使用参考。 -
计算机常用工具软件项目教程曹海丽 著本书是根据职业技术教育特点编写的一本以应用为主的软件教程。全书共分10章,分别介绍了软件的安装与卸载、浏览器的使用、网络下载工具及播放工具软件、电子书的阅读与制作、音频编辑工具、图形图像工具软件、网上办公和网上购物的相关操作、网络安全工具软件、系统的维护与优化工具的使用。本书采用项目实例点面结合教学方式,各章以项目为中心,围绕项目实现展开学习,通过一个个鲜活的实例、详尽的操作讲解和完整的演示图片,让从未接触过计算机的读者能够跟随一个个项目的展开快速学会使用计算机,轻轻松松地完成各种日常工作任务,学习目标非常明确,实训效果快速显著。本书在每章的后还设有实战演练,便于读者练习提高。本书内容新颖丰富、实用性强,既可作为各职业学校教材,还可以作为培训、自学等广大计算机爱好者的工具用书。本书还配有电子课件和部分课后练习答案。 -
软件架构设计Humberto Cervantes,Rick Kazman 著;邵元英 译本书介绍了架构的设计过程及设计方法:属性驱动设计(ADD)。书中通过介绍ADD的概念和应用实例,展示了如何执行架构设计,如何重新设计概念,可帮助读者从“入门到精通”掌握软件架构设计。第1章介绍了软件架构设计和ADD方法的发展史,第2章讨论软件架构设计的细节,第3章详细介绍ADD方法,第4~6章是几个案例研究,第7章展示了其他一些设计方法,第8章深入讨论了设计过程中的分析,第9章讲解了实时过程如何适应组织级别的应用,第10章总结了全书的内容。 -
IT桌面软件维护夏涛 著本书根据技工院校一体化课程教学改革计算机网络应用专业国家技能人才培养标准及一体化课程规范(试行)编写,主要内容包括:某单位业务部门新购电脑常见工具软件安装与维护、某企业人事部门MS OFFICE 2010套件安装、某单位新购外设驱动程序安装、某企业财务部门软件防火墙和杀毒软件升级与设置、某客户计算机重要文件数据恢复、某企业云终端与智能终端维护等学习任务。 -
软件工程基础与应用马小军,张玉祥 著本书以软件工程基本理论知识的普及和常用开发方法的介绍为出发点,对软件工程的主要原理、基本概念、主流技术方法的特点和使用规则、软件测试与维护的一般方法以及软件规模估算与项目的管理等进行了全面描述。全书共10章,第1、2章是软件工程综述;第3章是需求调研与可行性分析;第4~6章是系统分析与设计,并重点介绍基于结构化技术的分析与设计方法以及编码实现的基本原则;第7、8章是基于面向对象技术的分析与设计方法以及统一建模语言UML;第9章是软件测试技术与维护方法;第10章是软件项目管理。配合各章知识点的介绍,每章不但有简单举例和丰富的习题,而且还以一个规模和难度适中的项目为中心进行综合举例说明,并贯穿书中的主要章节,便于读者对所学内容的正确理解和实际应用的认识。 本书既注重理论也强调实际应用,所述内容讲解清晰、实用,所画图形规范、统一,所选案例简明、完整,本书既可作为高等院校相关专业本科生软件工程课程的教材或参考书,也可作为应用软件开发人员、项目管理人员和专业技术人员编写技术文档的参考资料。
