本书从PLC基础入门和工程实践出发,涵盖内容包括电气控制基础、S7-1500 PLC编程技术及项目应用实践。电气控制部分包括常用低压电器的工作原理及选型、电气控制电路的分析与设计等;PLC编程技术以西门子S7-1500 PLC为主线,详细介绍了S7-1500 PLC的硬件结构和指令体系,同时还介绍了西门子人机界面的相关设计方法,重点讲解了西门子TIA博途软件的使用,并将S7-1500 PLC系统的知识体系贯穿于PLC项目应用实践中。 本书可作为高等院校自动化、电气工程及其自动化、机器人工程、计算机科学与技术、机械设计制造及其自动化等相关专业的教材,也可作为工程技术人员培训及自学参考使用。
本书是的“Craftsman”系列软件测试书籍中的新作,主要讨论基于模型的测试(MBT)技术。第壹部分讲解理论知识,介绍了9种不同的测试模型。第二部分关注实践方法,涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子,一个简单的保费计算系统,一个事件驱动的车库门控系统,以帮助读者深入理解建模过程和工具的应用技巧。
本书主要介绍了软件质量及可靠性的基本概念、软件的可靠性设计、软件测试、软件可靠性预计模型、软件与硬-软件复合系统结构模型、软件系统安全性分析、程序的复杂性与可靠性分配、软件维护、软件的质量保证等。 本书不仅力求反映本学科国际上的新动态,同时也介绍了我国专家近年的一部分有实用价值的研究成果。 本书适合IT产业的高层管理人员、科技人员、质量及可靠性工程技术人员阅读,可作为高等院校相关专业的研究生、本科生的教材。