§6.1 基本概念 §6.2 两种类型的测试 §6.3白盒测试的测试用例设计 §6.4黑盒测试的测试用例设计 §6.5 针对专门环境和应用的测试 §6.6软件测试的步骤 §6.6 面向对象的软件测试 §6.7 自动测试和测试工具 §6.8 测试中的可靠性分析

1 常用数字滤波方法 2 克服系统误差的软件算法 3 量程自动切换及标度变换

上海交通大学：《工程实践与科技创新》课程教学资源_软件编译与下载（工创1：自动控制小车）

《软件学报》：用于指针逻辑的自动定理证明器 Automated theorem prover for pointer logic

一、计算机软件概述： 1、计算机软件是指计算机程序及其有关文档。 计算机程序：指为了得到某种结果而可以由计算机等具有信息处理能力的装置执行的代码化指令序列，或者可被自动转换成代码化指令序列的符号化指令序列或符号化语言序列

什么是软件测试？ 1983年IEEE定义为： 使用人工或自动手段来运行或测定某个系 统的过程，其目的在于检验它是否满足规 定的需求或是弄清预期结果与实际结果之 间的差别

7.1 国内外流行的个人计算机CAD/CAM软件 7.2 MasterCAM系统简介 7.3 MasterCAM的CAD功能 7.4 MasterCAM的CAM功能

7.1 国内外流行的个人计算机CAD/CAM软件 7.2 MasterCAM系统简介 7.3 MasterCAM的CAD功能 7.4 MasterCAM的CAM功能

开发了一种用于钢丝热处理过程的自动控制系统和相应的模拟系统.控制系统由工控机和可编程逻辑控制器(PLC)组成.控制系统软件包括组态程序、加热模型程序、PLC逻辑控制程序和数据库.该控制系统可以根据产量、产品规格和工艺要求控制马弗炉和铅浴炉的温度,或调整钢丝的拉速以适应当前马弗炉的温度,获得最佳热处理效果和产量.模拟系统包括模拟软件,燃烧数学模型软件和两块数据采集卡

数控机床是严格按照从外部输入的程序来自动地对被 加工工件进行加工的。为了与数控系统的的内部程序（系 统软件）及自动编程用的零件源程序相区别，我们把从外 部输入的直接用于加工的程序称为数控加工程序。它是数 控机床的应用软件