软件工程及软件方法学
-
软件可靠性工程陆民燕 主编随着数字化设备大量应用于装备,计算机软件在装备中的作用越来越大,其规模和重要性均呈急剧上升的趋势,软件的可靠性已成为保证装备可靠性的重要组成部分。《软件可靠性工程》全面阐述了软件可靠性工程技术和方法,包括软件可靠性定量要求、软件可靠性分配与预计、软件可靠性设计、软件可靠性分析、软件可靠性测试、软件可靠性管理等方面内容,可以为装备研制中开展软件可靠性工程工作提供参考。《软件可靠性工程》主要是面向型号工程技术人员的,因此对阐述的技术和方法尽量给出示例、实施注意事项等,以便于工程技术人员掌握、实施。《软件可靠性工程》可供从事各种军、民用软件可靠性技术和管理人员阅读参考,也可作为软件可靠性专业的大学本科、研究生教学参考书,以及软件可靠性相关的培训教材。 -
常用工具软件八日速成甘登岱 主编《一点通系列:常用工具软件八日速成》详细介绍了电脑各类常用工具软件的使用方法,内容涵盖软件的下载、安装与卸载,以及文件处理、图像处理,多媒体播放与编辑、网络传输与通信、电子书、翻译与学习、光盘与磁盘、电脑检测、优化与安全等工具的使用方法。本书介绍的都是在相关领域最流行、最实用的工具软件,且讲解浅显易懂,技巧众多,因此,本书特别适合希望学习电脑更多功能的初、中级爱好者使用。本书由甘登岱主编。 -
软件工程瞿中 等编著《软件工程(第2版)》从实用的角度出发,根据教育部高教司主持编审的《中国计算机科学与技术学科教程2002》中对软件工程的要求组织编写,并参照美国ACM和IEEE Computing Curricula 2005教程关于软件工程的描述。《软件工程(第2版)》详细介绍了软件工程、软件开发过程、软件计划、需求分析、总体设计、详细设计、编码、软件测试、软件维护、软件工程标准化和软件文档、软件工程质量、软件工程项目管理、开发实例等知识。每章配有习题,以指导读者深入地进行学习。《软件工程(第2版)》内容丰富,结构合理,既可作为高等院校计算机专业课程的教材或教学参考书,也可作为通信、电子信息、自动化等相关专业的计算机课程教材,还可供软件工程师、软件项目管理者和应用软件开发人员阅读参考。 -
软件工程(英)萨默维尔 著,程成 等译《软件工程》是系统介绍软件工程理论的经典教材,自1982年初版以来,随着软件工程学科的不断发展,不断更新版本,影响了一代又一代软件工程人才,对学科本身也产生了重大影响。本版保留了上一版中的软件工程的基本材料,但对各章都进行了修改和更新,并增加了很多有关其他主题的新材料。《软件工程》包含四个部分:第一部分是对软件工程的一般性介绍,包括软件工程过程和敏捷开发,以及面向对象的设计和设计模式的使用;第二部分介绍可依赖性和信息安全性问题;第三部分介绍高级软件工程;第四部分介绍软件管理,重点介绍技术管理问题。 -
软件测试陈明 编著《软件测试》系统地介绍了软件测试的基本技术及方法,全书分为11章,主要内容包括:软件测试概述、软件测试方法、单元测试、集成测试与确认测试、系统测试与验收测试、系统性能测试、面向对象软件测试、测试的设计与实现、web应用测试、软件测试自动化、软件质量保证等。《软件测试》可作为高等学校相关专业软件测试课程的教材,也可作为计算机软件开发人员的参考书。 -
软件调试修炼之道(美) 布彻 著 ,曹玉琳 译调试对软件开发至关重要。然而,即使对于有经验的程序员,调试也决非易事。《软件调试修炼之道》是一部优秀的软件调试实战指南,作者总结了自己和身边同事多年的经验教训,详细阐述了调试的方方面面。书中内容共分为三大部分。第一部分借助软件特有的功能展示缺陷是怎么产生的,介绍了建立在实证方法之上的核心调试方法;第二部分阐述怎样发现代码中存在需要修复的问题,以及如何将调试融入到整个软件开发过程中去;第三部分讨论如何避免一些常见的缺陷。《软件调试修炼之道》秉承了Pragmatic图书简洁实用的风格,总结了大量方法与经验,适合软件开发人员、调试人员阅读并迅速付诸实践。 -
Effective UI(美)安德森,(美)麦克里,(美)威尔逊 著,陆昌辉,李东晖,邹剑波 译本书结合大量项目实践,介绍了与用户体验(ux)相关的概念、方法和工具。本书共有9章,主要介绍了三个方面。第ⅰ部分介绍了优秀用户体验(ux)的目标、要素和作用,ux面临的机会与挑战,同时分析了如何赢得各方面对优秀ux的支持并打造强大的团队。第ⅱ部分分别从项目计划、需求分析、产品架构、开发以及发布这几个项目阶段来分析优秀ux所需要的方法和工具。第ⅲ部分描述如何从商业视角和用户视角看待ux,介绍了如何制定商业需求和进行有效的用户研究。本书适合所有有志于改善软件产品质量,力图打造优秀ux的专业人士,包括ux/ui设计师、软件工程师、视觉设计师以及对ux感兴趣的非专业人士,也适合想在软件开发方面出奇制胜的组织或公司。对于倡导优秀ux的商业人士,本书也同样适用。在体验经济时代,越来越多的公司都意识到这一点:用户期望能与桌面和网络应用轻松、流畅的交互,从而获得愉悦的使用体验。但这样的软件应用,开发难度却往往超乎他们的想象。在《effectiveui:软件用户体验艺术》中,业内翘楚effectiveui将与你分享他们的成功经验,帮助你?握一些行之有效的用户体验策略。通过这些策略,帮助你满足客户和消费者的需求,实现商业价值,增强品牌优势。本书展示了如何在设计师、工程师与管理层之间培养合作和协作精神——这是打造诱人软件产品的根本。同时,针对需要清晰路线图的产品经理,正在寻求指导和建议的开发人员或设计师,期望理解和实现用户体验目标的商务人士,本书也提供了大量有价值的方法和技巧,帮助他们在整个产品生命周期始终如一地锁定“以用户为中心”这一关键目标。学习如何营造愉悦的用户体验,将具有以下好处:为用户体验设计打造一个鲜活的商业案例作为软件产品倡议的关键组成在消费者和业务之间,或商务人员及其信息系统之间,营造出愉悦的互动体验清楚理解人们工作、思维和汲取信息的方式建立更丰富的合作和沟通方式将复杂任务简单化,建立更直观的进程,借此来减少用户的迷惑和沮丧。彰显产品、服务和品牌,以赢得竞争优势开发灵活可变的系统,以适应不同的用户需求和行为 -
嵌入式系统软件开发技术基础何先波 等编著《嵌入式系统软件开发技术基础》主要根据作者多年积累的嵌入式软件开发经验及长期从事研究生与本科生相关课程教学的讲义编写而成。内容的选取以满足当前市场对嵌入式软件开发人才提出的必备技术技能与知识结构为基本准则。本书第1章主要介绍嵌入式系统的基本概念;第2章主要介绍最常用的嵌入式微处理器一ARM的汇编级编程基础及环境;第3章主要介绍嵌入式操作系统的基本原理技术及在常用嵌入式操作系统中的实现与对比;第4—6章分别介绍基于嵌入式Linux、WindowsCE及VxWork。嵌入式操作系统的软件开发环境及驱动程序与应用程序开发。教材内容组织的纵向脉络为:硬件一操作系统一嵌入式软件开发环境一驱动程序及应用程序开发,横向脉络为:嵌入式系统软件开发原理技术一三种主流嵌入式开发环境中的实现与应用。 -
零成本实现Web自动化测试温素剑 编著《零成本实现Web自动化测试》从目前主流的Web自动化测试工具入手,由浅入深、全面、细致地阐述了如何使用开源测试工具来完成Web自动化测试,便于读者轻松掌握Web自动化测试的原理、方法和实际操作。所以,它不是一本深奥的测试理论书籍,而是一本测试实战类的书籍,作者温素剑试图在书中向读者演示如何使用Selenium、WebDriver、Bromine、SauceLabs、MantisBT搭建起一整套稳定、高效、成本为零的自动化测试平台。本书以测试GoogleGMAIL为具体范例,提供了完整的Web自动化测试解决方案。 《零成本实现Web自动化测试》是一本Web自动化测试的专业工具书,也是软件测试工程师的良师益友,可作为软件测试培训、高等院校软件相关专业的辅助教材,目标读者是初级或者资深软件测试工程师、对提高自动化测试的有效性感到困惑的测试经理,以及有志于从事软件测试工作的应届毕业生。 -
软件验证与确认刘斌 主编《软件验证与确认》理论联系实际,由浅入深地对软件验证与确认的相关概念进行了介绍,并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述,本书对测试、评审和形式化验证等方法进行了介绍,并对当前装备软件研制中的软件测试过程进行了深入的探讨。另外,本书还从实践的角度出发介绍了软件验证与确认活动的自动化辅助工具以及过程文档模板,具有极强的工程参考价值。本书可供高等院校软件工程、计算机及相关专业的研究生作为学习参考,同时还可作为从事装备软件研发、软件测试以及软件验证与质量保证人员的工作参考书。
