针对软件故障定位领域的关键科学问题，提出了“失效-故障定位-理解”模型，研究了测试用例优选和基于程序不变量的故障定位方法。为了“大化地利用测试信息，选择适合于故障定位的测试用例集合”，提出了面向有效故障定位的测试用例优选方法；针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对失效状态传播的分析导致难于准确

作者结合多年来从事计算机教学工作的经验和体会，编写了此书。本书出版后得到广大读者的充分肯定和认可，也被评为“十二五”职业教育国家规划教材，为了感谢广大读者对本书的支持，我们根据使用本书的教学反馈和读者意见对本书做了必要的修编。 本书以浅显的语言和丰富的实例详细介绍了使用Visual Basic（中文版）在Windo

本书通过一个完整的案例，按照实际项目的应用顺序，讲解在业务建模、概念建模、系统建模等不同阶段应如何结合面向对象的思维方式，正确地使用UML统一建模语言对软件系统进行分析和设计。

本书主要针对农村基层工作人员、农民等目标人群，以实用性和让读者感兴趣为出发点，采用由浅入深、由易到难的方式，用通俗易懂的语言，辅以清晰的图片，详细地介绍电脑办公基础知识、使用拼音输人法打字、常用0fGce办公软件、办公系统0A、网络即时通信软件等方面的内容，指导读者运用电子设备进行办公、沟通和交流，真正让读者看得懂、用

本书是根据当前我国高等职业教育课程改革的基本理念，以工作过程为导向，以项目为载体，以目前最新版本的RedHatEnterpriseLinux7.3为平台，对Linux的网络服务器配置与管理进行讲解。 本书分为10个学习项目，主要内容包括Linux服务器安装与测试、Linux服务器的基本操作、Telnet和SSH服务器

本书涵盖了JavaSE的主要内容，划分为三部分：第1篇介绍Java的基础知识，包括开发环境、数据类型、流程控制、数组、函数、异常等内容；第2篇通过实现一个即时通信程序，学习JavaSE类库的使用方法，包括图形界面设计、输入输出、网络编程、多线程、容器、数据库编程等；第3篇通过实现一个简单的软件架构设计，学习面向对象技术

本书涉及互动媒体UI设计各个层面的知识点，从UI设计、网络与网页、网页设计、网页设计制作应用四个方面进行阐述，分层次、分角度、全方面、多角度地讲解所有方面：分别介绍了UI概念、动画媒体游戏UI、浏览器元素设计、网络媒体和移动媒体。本书不仅适合于UI设计师、网页设计师、广告从业者和与网页设计课程相关的专业人士阅读，也适合

本书系统介绍了编译器构造的基本原理和一些经典实现技术，主要内容包括形式文法和形式语言理论、基于有限自动机的词法分析技术、自顶向下和自底向上的语法分析技术、基于语法制导翻译的语义分析和中间代码生成、代码优化、目标代码运行时刻环境的组织、目标代码生成等。本书理论部分讲解深入浅出，技术与算法部分简明扼要，为帮助读者理解，特别

本书共有七个实训项目，基本涵盖3dsmax软件应用的基础知识与相关的技能训练。全书采用案例式教学，做到步步有任务、节节有训练，通过仿真训练提高学生的实际动手能力。书中主要内容包括：软件基础部分（项目一、项目二）、建模基础部分（项目三、项目四、项目五）和综合案例部分（项目六、项目七）。本书可作为高等职业院校、高等专科院校

《Scratch少儿趣味编程100例（视频教学版）》基于Scratch3.0版本由浅入深地讲解了100个有趣实例的开发过程，通过实例展示了Scratch的编程思维和各位积木的使用方法，是一本少儿学编程的实例视频教程。全书共12章。第1章带领读者认识Scratch3.0开发核心元素，如图形、文字、交互、声音、动画；第2章