暂缺简介...

本书是根据“高等职业教育机械类专业人才培养目标及基本规格”的要求编写的。全书包括数控加工技术概述、数控加工编程基础、数控加工工艺与数值计算、数控车床编程、数控铣床编程、加工中心编程、自动编程等内容，并选编了较多的生产应用实例，突出了应用性、实用性、综合性和先进性，体系新颖，内容详实。本书可作为高职、高专、成人高校及本科院校举办的二级职业技术学院机床数控技术及应用、机电一体化等专业教材，也可作为本科院校学生的实践教学和有关工厂技术人员的参考书。

为南京师范大学新闻与传播学院的年轻教师出一套书，以激活并释放他们的科研能量，肯定并展示他们的科研实力，是笔者的一个心愿。 酝酿这套书的出版，是在三年前，如此长的时间才完成丛书出版规划，问题不在作者，而在于主编对选题的踌躇。 南京师范大学新闻与传播学院是一个多学科交叉的学院，"文理渗透、技艺结合，软硬兼备"是本院十年前建院时的一个方针，而今已实实在在地融入本院的学科建设、专业招生、课程设置及研究方向之中了。 本院年轻的教师也因此来自于新闻学、社会学、哲学、文学、艺术学、经济学等多种专业、有着不同的学科背景，在新闻传播这个大的主题下，从事着相关又相异的教学，追寻、探索着相关又相异的研究方向。 他们或从事传媒与商业的关系研究、或从事社会发展进程中传媒价值的评价研究、或着眼于传媒与企业建设、经济建设的关联与互动、或发掘着影像在读图时代的特殊能力，探索着电视传媒中的文化传承作用，或关注最"时尚"的传播媒介，跟踪它们萌生、发展的轨迹，作几近同步的研究。总之，眼界开阔、思维活跃、角度新颖，是他们的特色，知识结构与前代人迥异，形成了他们与前代人在社会科学研究领域中的"代沟"。

本书以独特的视角讨论了软件开发中的一项革命性技术，即使得模型规约可以被完全、高效地转换成为代码的技术。读者将学会如何使用影响广泛的软件建模语言UML，基于OMG的模型驱动的体系结构来建立强壮的软件规约。作者还描述了把可执行UML（xUML）模型转换成任意的平台相关实现时所需要的步骤。这个方法的好处不仅能减少或者消除编码阶段，它还保证了平台无关性，使模型免于过时（程序设计语言可能改变，但是模型不会），并且，允许通过在一个支持测试-排错的xUML环境中执行模型而对模型进行完全的验证。本书的作者们都是书中描述的技术和过程的富有经验的实践者。他们曾经在各种行业中参与了这些实践，这些行业包括国防、航天、汽车、电信、政府、医疗保健、保险、过程控制等。他们见证了面向对象、可执行建模和模型驱动的体系结构的各种各样的能力。他们曾经和客户一起把可执行建模和代码生成技术应用到各种系统中去。从多年的第一手经验中他们认识到，可执行建模和代码生成非常有用。他们也了解如何充分使用这些技术，以及需要注意的问题。本书正是用这些实践经验描绘了技术细节。对于那些正在思考大中型项目软件开发技术未来发展方向的人，本书是一个非常好的参考。 第1章引论11.1为什么需要读这本书11.2从本书将会学到什么11.3我们为什么写关于MDA和UML的书31.4什么是模型驱动体系结构51.5OMG简介71.6软件方法的历史，通往MDA之路71.7什么是可执行UML（xUML）101.8本书结构131.9怎样阅读本书15第2章可执行模型驱动体系结构172.1概述172.2MDA背景—软件工程和过程172.3模型驱动体系结构192.4可执行UML222.5过程改进的需要222.6使用可执行模型的MDA方法的原则232.7模型映射352.8MDA过程总结362.9详述域372.10集成PIM382.11建立PIM392.12验证PIM422.13详述系统构建过程432.14结论44第3章MDA在典型项目中的应用453.1概述453.2初始阶段463.3营造阶段503.4构建阶段663.5移交阶段673.6需求变更的影响683.7变更对设计决策的影响683.8MDA和其他生命周期过程68第4章用例建模704.1用例介绍704.2目标704.3识别参与者和用例704.4用例图714.5建立用例文档724.6管理大的或者复杂的用例模型744.7用例建模的有效使用804.8具体和抽象用例804.9用例层次804.10详述性能814.11获取其他类型的需求824.12结论83第5章使用域进行平台无关建模845.1概述845.2系统分解的可选策略845.3域图875.4域的类型885.5组织域图915.6寻找域的技术925.7MDA过程：总结975.8如何进行坏域的分解995.9结论100第6章对域中的类建模1016.1概述1016.2类图概览1016.3类图的生命周期1026.4类1036.5属性1046.6类的图形表示1056.7类的表格表示1056.8马铃薯图1066.9关联1066.10对象标识1216.11指引属性1226.12冗余属性1236.13规范化1236.14静态和动态类1256.15改善模型效率1256.16属性可见性1256.17对象闪电战1266.18不成熟划分的危险1316.19结论132第7章类的行为和交互1337.1状态无关行为和状态相关行为1337.2操作与状态1347.3对象和类的交互1367.4类协作模型上的域接口1397.5动态建模过程1417.6获取和表达状态相关行为和状态无关行为145第8章操作建模1468.1操作1468.2类操作和对象操作1478.3域操作1498.4桥操作1508.5操作属于哪里1508.6多态操作1508.7操作的域外部可见性1518.8总结152第9章动态建模1539.1概述1539.2定义1539.3状态图1549.4状态转换表1599.5非存在状态1629.6执行语义1629.7控制状态机的复杂度1679.8如何建立不良状态机1699.9UML中其他形式的状态建模1709.10结论170第10章动作规约17110.1我们在什么地方17110.2动作规约语言ASL17110.3ASL的关键特征17410.4一个ASL例子17810.5ASL和平台无关性17810.6为UML而设计的动作语言的使用以及好处18210.7动作语言的更多好处19410.8好的ASL实践指南19710.9其他动作语言19910.10如何建立坏模型19910.11结论200第11章用于建模的模式20111.1概述20111.2规格模式20311.3特性值模式20411.4关联时间帧模式20611.5多值关联模式20811.6兼容性模式21011.7多重分类21411.8动态分类21611.9排序项21811.10资源请求者模式21911.11分配者模式22111.12层次结构模式22211.13实例删除模式22311.14实例创建模式22511.15无序操作22511.16日志模式22811.17设备控制模式23111.18反模式23211.19结论235第12章域的集成23612.1域的接口23612.2契约类型23612.3所需服务23812.4可用服务24012.5简单桥24112.6高级桥24912.7怎样管理域集成—构建集25912.8结论261第13章系统生成26313.1概述26313.2系统实现的传统方法26313.3转换驱动开发26713.4设计流程27213.5对实例化的xUML2模型的转换—设计27413.6代码生成器的生成28313.7测试体系结构28313.8使体系结构多样化—标记28513.9体系结构优化28713.10设计模型的角色28913.11转换方法的开发生命周期29013.12定义体系结构—工具支持29213.13结论292第14章实例研究29414.1概述29414.2系统需求概要29414.3用例29514.4系统中的域29614.5模型的特性30014.6构建集30314.7察看实例的模型30414.8执行实例模型304光盘安装向导307术语表308缩写表311索引313

本书阐述了国际化软件测试的根本问题，深入剖析了如何有效进行软件国际化测试和软件本地化测试，旨在帮助读者学习和掌握国际化软件测试的概念、技术、流程、方法和市场状况，分享业界同行的最佳实践。国际化软件测试主要包括软件国际化测试和软件本地化两个阶段。本书将围绕这两个主题深入、详细的进行论述。软件外包测试与国际化软件测试紧密相关，本书最后将对其进行简要介绍。全书分为三个部分：国际化软件基础，国际化软件测试，软件外包测试展望。每一部分根据内容的逻辑性和重要性分多章分别论述一个主题，每章以概述开始，随后重点阐述专题内容，最后进行本章小结。 1，国际化软件概论2，国际化软件测试基础3.国际化软件测试计划4，软件国际化测试5，软件本地化测试6，国际化软件测试自动化7，软件测试缺陷管理8，国际化软件测试管理9，国际化软件测试项目案例分析10，国际化软件测试的过程改进11，软件外包装测试附录：国际化软件测试术语速查

本书为《微机原理与汇编语言程序设计》教材配套的学习指导，共分为三个部分，分别为习题解答、实验指导和实训，主要内容包括各章后的习题解答、配合各章实践教学安排了十四个实验、最后一部分为4个综合实训设计题目。本书针对应用型本科教学应加强实践环节的特点，以及《微机原理与汇编语言程序设计》的教学要求，在解答基本理论题目的基础上，注重实践教学内容的讲解。在习题解答和实验指导上，既有一定的理论深度，又突出实用技能。本书内容丰富，书中的程序经过上机验证，每部分内容有相应的学习要求和解题指导，实用性强，融入了作者多年的教学和实践经验及体会。本书可作为应用型本科学生学习《微机原理与汇编语言程序设计》课程的配套教材，也可作为高等教育自学教材，以及从事微型计算机硬件和软件开发的工程技术人员学习和应用的参考书。本书所涉及的习题和实验指导的汇编语言源程序可由中国水利水电出版社网站下载，网址为http：//www.waterpub.com.cn／softdown／。

"本书为初出茅庐的测试新手提供了便利。检查单的应用以及每章末尾配有的测验，会让读者加深对所学知识的理解和掌握，其价值是无法衡量的。Patton侃侃而谈的写作风格，自我发展的组织方式，也会使有经验的专业测试人员获益匪浅。"：Suan Archer软件测试学院主任，有超过14年的专业软件测试经验"Patton的软件测试是进入软件测试专业领域的理想入门指导。一个测试新手可以从中学到重要的基础知识，以及进一步提高所需要的一些高级提示。该书编排清晰合理，内容浅显易读。"：Danny R. Faught　Cigital公司软件分析员，comp.software.testing FAQ 网站的创建者，以及软件测试讨论 （swtest-discuss） 邮件组的共同创办者本书全面系统地介绍了软件测试理论及应用技术，不仅讲述基本的测试技能，也讲述成为一个成功的软件测试员所必须掌握的高级技能。其目的在于引导读者通过基础知识和必要技能的学习而成为一个优秀的软件测试员，知道如何迅速在任一计算机程序中发现问题，如何计划一个有效的测试步骤，如何清楚地报告发现的问题，以及如何告知软件在何时发布。本书是一本软件测试的入门书，内容全面实用，讲述浅显易懂，既可作为高等院校软件测试课程的教材，也可作为软件测试爱好者的自学用书。对于那些希望增强软件测试方面知识的程序员、软件项目经理和软件开发团队的其他人员，本书也具有很好的参考价值。 关于作者15此书谨献给16致谢16欢迎联系我们17绪论18关于本书第二版18谁使用此书？18本书可以为你带来什么19本书的组织方式19本书所采用的规范21第一部分 软件测试综述22第1章 软件测试的背景231.1臭名昭著的软件错误用例研究231.1.1迪斯尼的狮子王，1994―1995231.1.2英特尔奔腾浮点除法缺陷，1994241.1.3美国航天局火星极地登陆者号探测器，1999241.1.4爱国者导弹防御系统，1991251.1.5千年虫问题，大约1974251.1.6危险的预见，2004261.2软件缺陷是什么261.2.1软件失败的术语261.2.2软件缺陷官方的定义271.3为什么会出现软件缺陷281.4软件缺陷的修复费用291.5软件测试员究竟做些什么291.6优秀软件测试员应具备的素质301.7小结311.8小测验31第二章软件开发过程322.1产品的组成部分322.1.1软件产品需要多少投入322.1.2软件产品由哪些部分组成352.2软件项目成员352.3软件开发生命周期模式362.3.1大爆炸模式362.3.2边写边改模式372.3.3瀑布模式382.3.4螺旋模式382.4小结402.5小测验40第三章 软件测试的实质413.1测试的原则413.1.1完全测试程序是不可能的413.1.2软件测试是有风险的行为423.1.3测试无法显示潜伏的软件缺陷423.1.4找到的软件缺陷越多，就说明软件缺陷越多433.1.5杀虫剂怪事433.1.6并非所有软件缺陷都要修复443.1.7什么时候才叫缺陷难以说清的443.1.8产品说明书从没有最终版本453.1.9软件测试员在产品小组中不受欢迎453.1.10软件测试是一项讲究条理的技术专业463.2软件测试的术语和定义463.2.1精确和准确463.2.2确认和验证473.2.3质量和可靠性483.2.43.2.4 测试和质量保证（QA）483.3小结483.4小测验49第二部分 测试基础50第四章 检查产品说明书514.1开始测试514.1.1黑盒测试和白盒测试524.1.2静态和动态测试524.1.3静态黑盒测试，测试产品说明书534.2对产品说明书进行高级审查534.2.1假设自己是客户534.2.2研究现有的标准和规范544.2.3审查和测试类似软件554.3产品说明书的低层次测试技术554.3.1产品说明书属性检查清单554.3.2产品说明书术语检查清单564.4小结564.5小测验56第5 章带上眼罩测试软件585.1动态黑盒测试：带上眼罩测试软件585.2通过性测试和失效性测试595.3等价类划分605.4数据测试625.4.1边界条件625.4.2边界条件类型635.4.3测试边界645.4.4次边界条件655.4.5默认、空白、空值、零值和无665.4.6非法、错误、不正确和垃圾数据675.5状态测试685.5.1测试软件的逻辑流程685.5.2失败状态测试715.6其他黑盒测试技术735.6.1像笨拙的用户那样做735.6.2在已经找到的软件缺陷的地方再找找735.6.3像黒客一样考虑问题745.6.4凭借经验、直觉和预感745.7小结745.8小测验74第6章检查代码766.1静态白盒测试：检查设计和代码776.2正式审查776.2.1.同事审查796.2.2.走查796.2.3.检验796.3编码标准和规范806.3.1.编程标准和规范示例806.3.2.获取标准816.4通用代码审查清单826.4.1数据引用错误826.4.2数据声明错误836.4.3计算错误836.4.4比较错误846.4.5控制流程错误846.4.6子程序参数错误846.4.7输入/输出错误856.4.8其他检查856.5小结856.6小测验86第7章带上X光眼镜检查软件877.1动态白盒测试877.2动态白盒测试和调试887.3分段测试897.3.1.单元测试和集成测试897.3.2.单元测试示例917.4数据覆盖927.4.1.数据流937.4.2.次边界937.4.3.公式和等式937.4.4.错误强制947.5代码覆盖957.5.1程序语句和代码行覆盖967.5.2分支覆盖977.5.3条件覆盖977.6小结987.7小测验99第8章配置测试1018.1配置测试综述1018.1.1分离配置缺陷1038.1.2计算工作量1058.2执行任务1058.2.1确定所需的硬件类型1068.2.2确定有哪些厂商的硬件、型号和驱动程序可用1068.2.3确定可能的硬件特性、模式和选项1068.2.4将确定后的硬件配置缩减为可控制范围1078.2.5明确与硬件配置有关的软件唯一特性1088.2.6设计在每一种配置中执行的测试用例1088.2.7在每种配置中执行测试1098.2.8反复测试直到小组对结果满意为止1098.3获得硬件1098.4明确硬件标准1108.5对其他硬件进行配置测试1118.6小结1118.7小测验111第9章 兼容性测试1129.1兼容性测试综述1129.2平台和应用程序版本1139.2.1向后和向前兼容1139.2.2测试多个版本的影响1149.3标准和规范1159.3.1高级标准和规范1169.3.2低级标准和规范1169.4数据共享兼容性1179.5小结1189.6小测验119外国语言测试12010.1使文字和图片有意义12010.2翻译问题12110.2.1文本扩展12110.2.2ASCll、DBCS和Unicode12210.2.3热键和快捷键12310.2.4扩展字符12310.2.5字符计算12410.2.6从左向右和从右向左读12410.2.7图形中的文字12510.2.8让文本与代码脱离12510.3本地化问题126内容126数据格式12710.4配置和兼容性问题12810.4.1国外平台配置12910.4.2数据兼容性13010.5测试量有多大13010.6小结13110.7小测验132第11章 易用性测试13311.1用户界面测试13311.2优秀UI由什么构成？13411.2.1符合标准和规范13511.2.2直观13511.2.3一致13611.2.4灵活13711.2.5舒适13811.2.6正确13811.2.7实用13911.3为有残疾障碍的人员测试：辅助选项测试14011.3.1法律要求14111.3.2软件中的辅助特性14111.4小结14211.5小测验143第12章测试文档14412.1软件文档的类型14412.2文档测试的重要性14612.3审查文档时要找什么14712.4文档测试的实质14812.5小结14912.6小测验149第13章 软件安全性测试15013.1战争游戏：电影15013.2了解动机15113.3威胁模式分析15213.4软件安全是一项功能吗？软件漏洞是一个缺陷吗？15413.5了解缓冲区溢出15513.6使用安全的字符串函数15513.7计算机取证15613.8小结15813.9小测验158第14章 网站测试15914.1网页基础15914.2黑盒测试16014.2.1文本16114.2.2超级链接16214.2.3图片16214.2.4表单16214.2.5对象和其他各种简单的功能16314.3灰盒子测试16314.4白盒测试16714.5配置和兼容性测试16814.6易用性测试16914.7自动化测试简介17114.8小结17114.9小测验171第十五章 自动测试和测试工具17315.1工具和自动化的好处17315.2测试工具17415.2.1查看器和监视器17415.2.2驱动程序17515.2.3桩17615.2.4压力和负载工具17615.2.5干扰注入器和噪声发生器17715.2.6分析工具17715.3软件测试自动化17815.3.1宏录制和回放17815.3.2可编程的宏17915.4随机测试：猴子和大猩猩18115.4.1笨拙的猴子18215.4.2半聪明的猴子18315.4.3聪明猴子18315.5使用测试工具和自动化的实质18415.6小结18515.7小测验185第16章 缺陷轰炸和Beta测试18616.1让别人测试你的软件18616.2测试共享18716.3Beta测试18716.4外包测试18816.5小结18916.6小测验189第五部分 使用测试文档190第17章 计划测试工作19117.1测试计划的目标19117.2测试计划主题19217.2.1高级期望19217.2.2人、地点和事19317.2.3定义19317.2.4团队之间的责任19417.2.5哪些要测试，哪些不要测试19517.2.6测试的阶段19517.2.7测试策略19617.2.8资源需求19617.2.9测试员的任务分配19617.2.10测试进度19717.2.11测试用例19817.2.12软件缺陷报告19817.2.13度量和统计19817.2.14风险和问题19917.3小结19917.4小测验199第18章 编写和跟踪测试用例20018.1测试用例计划的目标20018.2测试用例计划综述20118.2.1测试设计20218.2.2测试用例20318.2.3测试的程序20418.3测试用例组织和跟踪20518.4小结20618.5小测验206第19章 报告发现的问题20819.1设法修复软件缺陷20819.2分离和再现软件缺陷21119.3并非所有软件缺陷生来就是平等的21219.4软件缺陷的生命周期21319.5软件缺陷跟踪系统21519.5.1标准：测试事件报告21519.5.2手工软件缺陷报告和跟踪21619.5.3自动化软件缺陷的报告和跟踪21619.6小结21819.7小测验218第20章 成效评价22020.1使用软件缺陷跟踪数据库中的信息22120.2在日常测试中使用的度量22220.3常用项目级度量22420.4小结227第六部分 软件测试的未来229第21章 软件质量保证23021.1质量是免费的23021.2工作现场的测试和质量保证23121.2.1软件测试23121.2.2质量保证23221.2.3软件测试团队的其他名称23321.3测试的管理和组织结构23321.4能力成熟度模型（CMM）23521.5IS0900023621.6小结23721.7小测验238第22章 软件测试员的职业23922.1软件测试员的工作24022.2寻求软件测试职位24022.3获得亲身体验24122.4正规培训机会24222.5网站24322.6专注于软件和软件质量的专业组织24322.7更进一步阅读24422.8小结24522.9小测验245附录A小测验问题解答246第1章246第2章246第3章247第4章248第5章248第6章249第7章250第８章251第９章252第１０章252第１１章253第１２章253第13章254第１4章254第15章255第１6章255第17章256第18章256第19章257第20章258第21章259第22章259索 引（Index）260

本书第2版更新和改进了原本已十分丰富和全面的第1版内容，并增添了新的重要课题，例如挖掘流数据、挖掘社群网络和挖掘空间、多媒体和其他复杂数据。本书将是一本适用于数据挖掘和知识发现课程的优秀教材。：GregoryPiatetsky-Shapiro，KDnuggets的总裁本书第2版最完整、最全面地讲述了数据挖掘领域的重要知识和技术创新。相比内容已经相当全面的第1版，第2版展示了该领域的最新研究成果，例如挖掘流、时序数据和序列数据以及挖掘空间、多媒体、文本和Web数据。本书是数据挖掘和知识发现领域内所有教师、研究人员、开发人员和用户都必读的一本书。：Hans-PeterKriegel，德国慕尼黑大学我们产生和收集数据的能力正在快速增长。除了大多数商业、科学和政府事务的日益计算机化会产生数据之外，数码相机、发布工具和条码的广泛应用也会产生数据。在数据收集方面，扫描的文本和图像平台、卫星遥感系统和国际互联网已经使我们的生活被巨大的数据量所包围。这种爆炸性的数据增长促使我们比以往更加迫切地需要新技术和自动化工具来帮助我们将这些数据转换为有用的信息和知识。本书第1版曾被KDnuggets的读者评选为最受欢迎的数据挖掘专著，是一本可读性极佳的教材。它从数据库角度全面系统地介绍了数据挖掘的基本概念、基本方法和基本技术以及数据挖掘的技术研究进展，重点关注其可行性、有用性、有效性和可伸缩性问题。但是，自第1版出版之后，数据挖掘领域的研究又取得了很大的进展，开发出了新的数据挖掘方法、系统和应用。第2版在这一方面进行了加强，增加了多个章节讲述最新的数据挖掘方法，以便能够挖掘出复杂类型的数据，包括流数据、序列数据、图结构数据、社群网络数据和多重关系数据。本书适合作为高等院校计算机及相关专业高年级本科生的选修课教材，特别适合作为研究生的专业课教材，同时也可供从事数据挖掘研究和应用开发工作的相关人员作为必备的参考书。本书主要特点●全面实用地论述了从实际业务数据中抽取出的读者需要知道的概念和技术。●更新并结合了来自读者的反馈、数据挖掘领域的技术变化以及统计和机器学习方面的更多资料。●包含了许多算法和实现示例，全部以易于理解的伪代码编写，适用于实际的大规模数据挖掘项目。

可编程控制器是以微处理器为基础的工业控制装置，被广泛应用于工业领域的各行各业。本书上篇介绍了IEC61131-3编程语言标准，它包括指令表和结构化文本两种文本类编程语言、梯形图和功能块图两种图形类编程语言，以及适用于上述编程语言的顺序功能表图编程语言。下篇介绍了可编程控制器的基本原理、工程设计技术和通信系统。全书附有应用示例来说明可编程控制器的编程、设计、使用和有关的应用方法。 本书从实用性和普及与提高相结合出发，针对可编程控制器的特点，有的放矢地介绍标准编程语言，并结合工业应用进行分析和讨论。 本书可作为相关专业大学本专科学生的教材和课外参考书，也可作为工矿企业、科研单位工程技术人员的参考书或继续教育的教材。

从这本独一无二的参考书中，你能学会创造！让不存在的生物如同真实一般鲜活。你笔下的奇幻角色有可能应用在绘画小说、奇幻艺术、科幻小说、漫画和电脑游戏等领域。 本书将传授人体骨骼结构、肌肉组织、透视和构图等方面的基本知识。在此基础上，教你如何将一个普通人转换、变形、发展成为异于常人的角色。你创作的角色可以千奇百怪，或长得丑陋恐怖，或拥有神奇的魔法，或行动超级敏捷，或体型庞大。 挑战常规，重新造人！从强大的外星武士，到跳有氧搏击操的“电脑朋克”，再到肌肉超级棒的超人，每一个角色不仅配有画家提供的详细资料，还有分步骤的说明，可谓图文并茂、内容翔实。 教你如何画不同的运动姿势：飞翔、旋转、挥拳、跳跃……让角色“活 ”起来。此外，你还可以学习如何画出极致的肢体语言和不同寻常的脸部表情。