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

本书主要针对农村基层工作人员、农民等目标人群，以实用性和让读者感兴趣为出发点，采用由浅入深、由易到难的方式，用通俗易懂的语言，辅以清晰的图片，详细地介绍电脑办公基础知识、使用拼音输人法打字、常用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章

本书是普通高等教育\"十一五”国家级规划教材，以51系列单片机和C语言为基础，全面系统地介绍单片机的C语言程序设计与应用的基本问题。本书主要内容包括：单片机的C语言概述，51系列单片机硬件与C语言编程基础，P0~P3口输入/输出、中断系统、定时器/计数器、串行口、并行扩展、串行扩展的C51编程，?Vision2与Pro

本书分为两篇，即用Python学习编程和用Python解决问题。第一篇内容包括Python起步、Python编程基础、Python数据类型、程序流程控制、函数与模块、异常、文件。第二篇主要内容包括班级信息管理系统、\"贪吃蛇”游戏、网络爬虫、人脑识表、数据可视化，侧重Python的应用和实际程序开发。全书语言通俗易懂，