软件工程领域中通用的术语(一)

软件工程领域中通用的术语(一)引言

本标准结构如下： a．词条按英文对应词字母顺序排列； b．如果一个术语有一个以上的定义，则分别加以说明;c．凡必要的地方用例子来说明定义;d．为了说明本标准中一个术语与另一些术语的关系，使用了下述词语:——比较…... 指补充性的术语; ——与…相对照：指一个具有相反含义的或本质上不同意义的术语；——与…同义：指同义的术语;——参见…：指让读者参见推荐使用的或与之关系密切的术语。——还可参见…：指一有关术语。

1 主题内容与适用范围

本标准定义软件工程领域中通用的术语，适用于软件开发、使用维护、科研、教学和出版等方面。

2 术语

2.1 夭折，异常终止 abort 在一过程完成之前*终止

2.2 绝对机器代码 absolute machine code 每次使用时必须装入固定存储单元且不能再定位的机器语言代码。与2.399条相对照。

2.3 抽象机 abstract machine a. 过程或机器的一种表示。b．一个模块，它象一台机器那样处理输入。

2.4 抽象 abstractiona．对某一问题的概括。它抽取与某一特定目标相关的本质的内容而忽略非本质的内容。b．形成上述抽象的过程。

2.5 验收准则 accePtance criterion软件产品要符合某一测试阶段必须满足的准则，或软件产品满足交货要求的准则。

2.6 验收测试 accePtance testing 确定一系统是否符合其验收准则，使客户能确定是否接收此系统的正式测试。参见2.381条、2.497条。

2.7 可接近性 accessibility 使组成软件的各部分便于选择使用或维护的程度

2.8 访问控制机制 access-control mechanism 为使某一计算机系统或计算机系统的某一部分允许被获准者和防止未获准者接触、访问而设计的硬件或软件的特性、操作过程或管理过程。

2.9 准确，准确度 accuracy a. 无误差的一种品质b. 无误差程序的一种定性估计，估计越高，对应的误差越小。 c. 误差大小的一种度量，最好表示成相对误差的函数，其准确度越高，对应的误差越小。d. 对无误差程度的一种定量估计。与2.341条相对照。

2.10 需方 acquirer 从供方获得或得到一个系统、产品或服务的一个机构。 注：需方可以是买主、客户、拥有者、用户、采购人圆荆。

2.11 获取 acquisition 得到一个系统、一个产品或一项服务的过程。

2.12 活动文件 active file 尚未超过终止时间的文件。

2.13 活动 activity一个过程的组成元素； 注 ：对基线的改变要经有关当局的正式批准。

2.14 实参 actual parameter 在调用子程序时用来指定数据或要传输给该子程序的程序元素的数值或表达式。与 2.211条相对照。

2.15 适应性 adaPtability 使不同的系统约束条件和用户需求得到满足的容易程度。

2.16 适应性维护 adaptive maintenance 为使软件产品在改变了的环境下仍能使用而进行的维护。

2.17地址 address a. 标识一寄存器、存储器特定部分、或其他一些数据来源或目的地的一个或一组字符。 b.用来指定一设备或一个数据项。

2.18 地址空间 address space计算机机程序可以有效利用的地址范围。

2.19 算法 algorithm a. 用有限步数求解某问题的一套明确定义的规则的集合；例如，求sin（x）到给定精度的一系列算术运算的完整的说明。 b.定义良好的规则的有限集合，它给出完成一特定任务的运算序列。

2.20 算法分析 algorithm analysis 对一算法的检查。目的在于确定与其预期的用途有关的正确性，确定其运行特性，或为了更充分地理解某一算法以便对其进行修改、简化或改进。

2.21 别名 alias a. 某一项目的另一个名字。 b. 一个替换标号。例如，可以使用一个标号和一个或多个别名来指示计算机程序中同一数据元素或点。

2.22 分析阶段 analysis phase参见 2.406条.

2.23 分析模型 analytical model 用一组可解方程来表示一个过程或一个现象。与2.430条相对照。

2.24 面向应用的语言 annlicatlon－orientedl language a. 一种面向计算机的语言，具有用于某种单一应用领域的手段或记号；例如，用于统计分析或机器设计的语言。 b. 一种面向问题的语言，其语句包含或汇集了用户职业的术语。

2.25 应用软件 application software解决属于专用领域的，非计算机本身问题的软件。

2.26 体系结构 architecture参见2.353条、2.491条。

2.27 体系结构设计 architectural design a. 定义一组硬件和软件元素及其接口的过程，其目的是为开发一计算机系统而建立其主体结构。b. 体系结构设计过程的结果。

2.28 人工语言 artificial language 参见2.210条。

2.29 汇编 assemble 把用汇编语言表示的程序翻译成机器语言，有时还要连接子程序。实现汇编的常用方法是用机器语言操作码代替汇编语言操作码，并用绝对地址、中间地址、浮动地址或虚拟地址来代替符号地址。与2.72条、2.254条相对照。

2.30 汇编程序 assemb 用于进行汇编的计算机程序。与2.73条、2.255条相对照。

2.31 汇编语言 assembly languagea. 一种面向计算机的语言，其指令与计算机指令通常是—一对应的，且能提供使用宏指令的便利。与 2.279条、2.225条相对照。参见 2.72条、2.73条。b．一种特定机器语言，其指令通常和计算机指令—一对应。

2.32 断言 assertion一种逻辑表达式，规定必须存在的一种程序状态，或规定在程序执行过程中某一特定点上程序变量必须满足的条件集合，例如，A为正且A＞B。参见2.236条、2.322条。

2.33 赋值语句 assignment statement 用于表达一系列操作，或用于把操作数赋给指定变量，或符号，或变量和符号两者的指令。

2.34 审计 audita. 为评估是否符合软件需求、规格说明、基线、标准、过程、指令、代码以及合同和特殊要求而进行的一种独立的检查。参见2.63条。b．通过调查研究确定已制定的过程、指令、规格说明、代码和标准或其它的合同及特殊要求是底恰当和被遵守，以及其实现是否有效而进行的活动。

2.35 自动设计工具 automated design tool帮助进行软件设计的综合、分析、模拟或文档编制的软件工具。自动设计工具的例子如：仿真器、分析工具、设计表示处理器和文件生成器。

2.36 自动测试用例生成器 automated test case generator参见2．38条。

2.37 自动测试数据生成器 automated test data generator参见2．38条。

2.38 自动测试生成器 automated test generator一种软件工具，它以计算机程序和准则作为输入，产生满足这些准则要求的测试输入数据，有时还确定预期的结果。

2.39 自动验证系统 automated verification system 一种软件工具，以计算机程序及其规格的表示作为输入（可能借助人的帮助），产生该程序的正确与否的证明。参见2.40条。

2.40 自动验证工具 automated verification tools用于评估软件开发过程中的产品的一类软件工具。这些工具有助于验证正确性、完全性、一致性、可跟踪性、可测试性，以及检查是否遵守了标准。软件验证工具包括设计分析器、自动验证系统、静态分析器、动态分析器和标准实施器。

2.41 可用性 availabilitya．软件在投入使用时能实现其指定的系统功能的概率。 b．系统正常工作时间和总的运行时间之比。 c．在运行时，某一配置项实现指定功能的能力。

2.42 可用性模型 availability model 用于预测、估计、判定可用性的模型。

2.43 后备，后援 back－up发生系统失效或灾害时，为恢复数据文件或软件，重新起动处理，使用备份计算机设备而做的准备。

2.44 基线 baselinea. 业已经过正式审核与同意，可用作下一步开发的基础，并且只有通过正式的修改管理步骤方能加以修改的规格说明或产品。b．在配置项目生存周期的某一特定时间内，正式指定或固定下来的配置标识文件和一组这样的文件。基线加上根据这些基线批准同意的改动构成了当前配置标识。对于配置管理，有以下三种基线： 功能基线——最初通过的功能配置； 分配基线——最初通过的分配的配置；品基线——最初通过的或有条件地通过的产品配置。

2.45 开始——结束块 begin－endblock 由begin和end分隔符括起来的设计或程序语句序列。其特征是具有单一的入口和单一的出口。

2.46 协约（名），联编，约束，结合 binding 把一个值或指定的对象（referent）赋给某一标识符。例如，把一个值赋给一个参数或把一绝对地址、虚拟地址或设备标识符分配给计算机程序中的符号地址或标号。参见2．166条、2．470条。

2.47 块（名），阻滞（动） blOCka. 由某些技术或逻辑原因形成的被当作一个实体看待的一串记录、一串字或一字符串。 b. 作为一个单元而记录下来的一组连续的记录。块与块之间用间隙分隔，每一块可以包含一个或多个记录。c．被当作一个单元而加以传送的一组二进制位数或N进制位数。通常对这组二进制位数或N进制位数采用某种编码步骤以达到出错控制的目的。d．作为一个单元来处理的事物，如字、字符或数字的集合。 e．参见2．354条。f．系统中的某些操作因某种原因，暂时不能继续执行。

2.48 框图 block diagram 表示某一系统、计算机或设备的图，图中主要部分由加有适当注释的几何图形来表示，用以说明这些主要部分的基本功能及其功能关系。与2．209条相对照。

2.49 块 结构语言 block－structured language 一种程序设计语言，在这种语言中，语句序列通常是由begin和end界限符划界。参见2．3 54条。

2.50 引导程序 bootstraPa．一段短的计算机程序，常驻计算机或很容易装入计算机。引导程序的执行能把另一个较大的程序，如操作系统或其装入程序引入内存。b．一组指令，它能使另外的指令被装入直到全部计算机程序都存入存储器中为止。 c．借助自身的动作而使其达到所希望的状态的一种技术或设备；例如，一段机器子程序，其前几条指令足以使其余部分指令从输入设备输入到计算机中。d．用于建立计算机程序另一版本的部分计算机程序。 e．使用一引导程序。

2.51 引导装入程序 bootstraP loader 使用预置计算机操作以装入引导程序的一种输入例行程序。

2.52 自底向上 bottom－uP 一种方法，这种方法从层次结构的最低层软件组成部分开始，逐级向上直至最高层组成成分为 止，例如，自底向上设计、自底向上程序设计、自底向上测试等。与2．526条相对照。

2.53 自底向上设计 bottom－uP design

从最基本的或原始的部分着手，逐级进入到较高层部分的系统设计方法。与2．527条相对照。

2.54 隐错，缺陷bug 参见2．198条。

2.55 隐错撒播 bug seeding 参见2．201条。

2.56 构件 build 软件产品的一个工作版本，其中包含最终产品将拥有的能力的一个规定的子集。

2.57 构件块 building block 较高一级程序或模块使用的一个单元或模块。

2.58（分）情况语句 case 能根据控制表达式的值对有限个程序语句进行选择性执行的多分支条件语句。参见2．106条。

2.59认证 Certif1Cationa．一个系统或计算机程序符合其规定的需求的一种书面保证。 b．一种书面认可书，说明某计算机系统是可靠的，可以在一确定的环境中工作或产生合理的信息。 c．为使系统获准投入运行性使用，对系统的可接受性所做的正式演示。d．证实一系统、软件子系统或计算机程序在其运行环境中能满足规定的需求的过程。认证通常在实际条件下的现场中进行，不仅用于估价软件本身，而且用于估价作为软件设计依据的规格说明。认证使验证和确认的过程扩充到实际的或模拟的运行环境中。 e．一正式的权威机构根据可付诸实施的需求以书面形式确定、验证和证明人圆劲处理、过程或条款为合格所采取的步骤和行动。

2.60 链接表 chained list 一种表，在这种表中各个项目可以是分散的，但每项都含有指出下一项位置的标识符。与2.269 条同义。

2．61更动管理 change control 提议作一项更动并对其进行估计、同意或拒绝、调度和跟踪的过程。

2.62 代码，编码 code a.一组无歧义性的规则，它规定了使数据得以用某种离散形式加以表示的方式。b.用处理机可以接受的符号形式表示数据或计算机程序。c.书写例行程序。d.也可指一个或多个计算机程序，或计算机程序一部分。 已为了安全的目的对数据进行的加密表示。

2.63 代码审计 code audit 由某人、某小组、或借助某种工具对源代码进行的独立的审查，以验证其是否符合软件设计文件和程序设计标准。还可能对正确性和有效性进行估计。参见2．34条、2．468条、2．237条、2．545条。

2.64 代码生成器 code generator 一个程序或程序功能，常常属于编译程序的一部分，它把计算机程序从某种中间级表示（通常为语法分析程序的输出）变换成较为低级的表示，如汇编代码或机器代码。

2．65 代码审查 code inspection参见2.237条。

2.66 代码走查 code walk－through 参见2.545条。

2.67 内聚度cohesion 单个程序模块所执行的诸任务在功能上的互相关联的程度。与2·112条相对照。

2.68 命令语言 command language 一组过程性的操作符及与之有关的语法，用来指明交给操作系统执行的功能。

2.69 注释 comment a.在计算机程序、命令语言或数据之间的说明信息，旨在给读者提供澄清性材料，并不影响机器的解释工作。 b.加到或散置在源语言语句当中的描述、附注或解释，在目标语言中这些是无效的。

2.70 比较器 comparator 用来比较两个计算机程序、文件或数据集合的一种软件工具，目的是找出其共同点或不同的地 方。比较的典型对象是源代码、目标（代）码、数据基文件的相似版本或测试结果。

2.71 兼容性 compatibility a.两个或两个以上系统运行同一软件可得到同样结果的能力。b.两个或两个以上系统处理同样的数据文件可得到同样结果的能力。 比较2.253条。

2.72 编译 comPile 将高级语言程序变换成与之等价的浮动的或绝对的机器代码。与2．29条相对照。

2.73 编译程序 comPtler 用于进行编译的一种计算机程序。与2．30条、2．255条对照。

2.74 编译程序的编译程序 compiler compiler 参见2.75。

2.75 编译程序的生成程序 compiler generator 用来构造编译程序的翻译程序或解释程序。与 2．290条同义。

2.76 复杂性 comPlexity 系统或系统组成部分的复杂程度，由下述因素确定，如：接口的数量和错综程度，条件转移的数量和错综程度，嵌套的深度，数据结构的类型，以及其它一些系统特性。

2.77 部件，组成部分comPonent 系统或程序的基本部分。 a. 能执行大量计算，包括许多算术和逻辑运算，而在运行期间无需操作员干预的一种功能装置。b．由一台或多台相联的处理机和外围设备组成的一种可编程序的功能装置，这种装置由内部存储的程序控制，可执行大量的计算（许多算术运算和逻辑运算）而无需人的干预。

2.79 计算机数据 comPuter data 计算机设备和计算机设备之间或计算机设备内部通信用的数据。这种数据可以是外部的（计算机可读形式），也可以是驻留在计算机设备内的，可以是模拟信号，也可以是数字信号。

2.80 计算机网络 comPuter network由两个或两个以上按一定的协议互连的计算机组成的复合体。

2.81 计算机程序 comPuter Programt 按照具体要求产生的适合于计算机处理的指令序列。 参见2．352条。

2.82 计算机程序摘要 comPuter Program abstract 对计算机程序的简短叙述，给用户提供足够的信息，使他们能据此确定该计算机程序是否适合其需要及所拥有的资源。

2.83计算机程序注释 comPuter Program Annotaion 参见2．69条。

2.84 计算机程序认证 comPuter Program certification 参见2．59条。

2.85 计算机程序配置标识 comPuter Program certificationn identification参见2。96条。

2.86 计算机程序开发计划 computer program development plan 参见 2． 441条。

2.87 计算机程序确认 comPuter Program validation 参见 2． 538条。

2.88 计算机程序验证 comPuter Program verification 参见 2． 539条。

2.89 计算机系统 inputer system 由一台或多台计算机和相关软件组成的一种功能装置。

2.90 并发进程 concurrent processes 可以同时地在多处理机上执行或异步地在单处理机上执行的若干进程。各并发进程可以相互作用，一个进 程在接受另一进程的信息之前或一外部事件出现之前可以把执行挂起。与2.426相对照。

2.91 条件控制结构 conditionnal control structure 一种程序设计控制结构，它允许程序中使用根据指定条件的满足情况而加以选择的控制流。例如，按情况、如果…··呗小…··否则……。

2.92 配置 configuration a.计算机系统或网络按照其功能部件的特点、数量和主要特性而确定的排列。具体地讲，配置一词可以指硬件配置或软件配置。b.为确定系统或系统组成部分的特定版本而提出的需求、设计和实现。c.在技术文档中制定的并在产品中体现的硬件、软件的功能和（或）物理特性。

2.93、配置审计 configuration audit 证明所要求的全部配置项均已产生出来，当前的配置与规定的需求相符。技术文件说明书完全而准确地描述了各个配置项目，并且曾经提出的所有更动请求均已得到解决的过程。

2.94配置控制 configuration control a.在配置项的配置标识正式确定之后，对配置项的更动情况所做的估价、协调、批准或不批准的过程。 b.在配置项的配置标识正式确定之后，对配置项所进行的有系统的估价、协调、所表示的批准或不批准。以及配置中被批准的更动的具体实现过程。

2.95 配置控制委员会 configuration control board 对提出的工程上的更动负责进行估价、审批，对核准进行的更动确保其实现的权力机构。

2.96 配置标识 configuration identification a.标出系统中的配置项并对其特性进行记录的过程。b.经批准同意的确定一配置项的文件说明书。c.当前已批准的或有条件地批准的针对一配置项的技术文档说明，如载于规格说明中的图和相关的表及文档说明。

2.97 配置项 configuration item a.为了配置管理目的而作为一个单位来看待的硬件和／或软件成分。b.满足最终应用功能并被指名用于配置管理的硬件／软件，或它们的集合体。 配置项在复杂性、规模和型号上差异甚大，可从航空、电子或船舶系统到测试仪表甚至一发子弹 在开发和初始生产阶段，配置项就是合同中（或与之相当的内部协定中）直接引用的说明项。在亚三 一行和维护期间，被指明要分别获得的任何可维护的项也是配置项。

2.98 配置管理 configuration managementa.标识和确定系统中配置项的过程，在系统整个生存周期内控制这些项的投放和吏动，记录并报告配置的状态和更动要求，验证配置项的完整性和正确性。参见2.61条、2.96条、2.94条、2.99条、2.3条。b.对下列工作进行技术和行政指导与监督的一套规范：——对一配置项的功能和物理特性进行标识和文件编制工作；——控制这些特性的更动情况； ——记录并报告对这些更动进行的处理和实现的状态。

2.99 配置状态报告 configuration status accounting 记录和报告为有效地管理某一配置所需的信息。包括列出经批准的配置标识表、列出对配置提出更动的状态表和经批准的更动的实现状态。

2.100 监护 confinement a.在被核准访问期间，防止对数据做未经核准的改变、使用、破坏和抛弃。参见 2.247条。 b.对程序和进程施加的限制，目的是使它们不能访问或影响未经核准的数据、程序或进程。

2.201 故障撒播 fault seeding

为了估计程序中的固有故障数，有意地在计算机程序已有的故障上添加已知数目的故障的过程。与2.55条同义。

2.202容错 fault tolerance

在出现有限数目的硬件或软件故障的情况下，系统仍可连续正确运行的内在能力。

2.203功能性配置审计 FCA—functionl configuration audit

验证一个配置项的实际工作性能是否符合它的需求规格说明的一项审查，以便为软件的设计和编码建立一个基线。

2.204文件，文卷 file

作为一个单位来看待的一组相关的记录。参见2.276条。

2.205有限状态机 finite state machine

由有限个状态及这些状态之间变迁构成的计算模型。

2.2 0 6固件 firmware

a.装于某类存储器中的在处理期间不能由计算机动态地修改的计算机程序和数据。参见 2.292 条、2.293条。

b.含有在用户环境下不能修改、不会丢失的计算机程序和数据的器件。包含在固件中的计算机程序和数据归类为软件;含有计算机程序和数据的电路归类为硬件。

c.存储在只读存储器中的程序指令。

d.由硬件装置和计算机程序集成形成一个功能实体的组件，在正常运行期间该实体配置不能改变。计算机程序存储在集成电路形式的硬件装置中，逻辑配置是固定的，以满足具体应用或工作需求。

2.207标志 flag

a.通知出现了某种错误、状态或其它条件的指示符。

b.用于表示各种指示符中的任何一种。例如，字标。

c.通知出现了一定条件。如字的结束的字符。

d.指示程序中的错误、状态，或其它规定条件。

2.208控制流 flow of control

在执行某一算法时所完成的操作序列。

2.209流程图 flowchart

问题定义、分析或求解的二种图形表示。在这种表示中，用符号表示操作、数据、流程和设备。与 2.48相对照。

2.210形式语言 formal language

一种语言，其规则在使用前就已明显地确立。与 2.2 8条同义。例如 FORTRAN和Ada等程序设计语言，以及诸如谓词演算之类的数学或逻辑语言。与2.307条对照。

2.211形参 formal parameter

子程序中使用的变量。用来表示调用例行程序时要传送给子程序的数据或程序元素。与2.161 条同义。与2.14条相对照。

2.212正式规格说明、形式规格说明 formal sPecification

a.根据已建立的标准书写并获准的规格说明。

b.在正确性证明中，对一系统或系统组成部分外部可见行为用形式语言进行的描述。

2.213正式测试 formal testing

根据已批准的测试计划进行测试活动并报告结果。

2.214功能，函数 function

a.一实体或其特征动作能实现特定目的能力。

b.由自变量的值可得到确定结果的特定于程序。函数通常用函数名来调用，计算函数值的变量以参数的形式提供。

2.215功能分解 functional decomposition

设计系统的一种方法。这种方法把系统分成若*分，使其直接与系统功能和子功能对应。参见 2.222条。

2.216功能设计 functional design

制定数据处理系统各部分的功能及相互之间接口的规格说明。参见2.343条。

2.217功能需求 functional requirement

规定系统或系统组成部分必须能够执行的功能的需求。

2.218 功能规格说明 functional sPecification

确定系统或系统组成部分必须执行的功能的规格说明。参见2.336条。

2.219功能部件 functional unit

能实现某一特定目标的硬件、软件或两者兼而有之的实体。

2.220硬件 hardware

数据处理中使用的物理设备，相对计算机程序、过程、规则和相关的文件而言。与2.433条相对照。

2.221硬件配置项 HCI—hardware configuration item

整个系统体系结构中的硬件的一个配置项。

2.222层次结构分解 hierarchical decomPosition

设计系统的一种方法。这种方法通过一系列自顶向下逐步求精的办法把系统分成若*分。参见 2.215条、2.298条、2.472条。

2.223层次结构 hierarchy

一种结构。其组成部分根据一组特定的规则排列成若干层次。

2.224高级语言 hish level language

与 2.225同义。

2.225高级语言higher order language

一种程序设计语言。它通常包括如下一些特点：嵌套表达式、用户定义的数据类型和通常在低级语言中没有的参数传递;它不反映任何一台计算机或一类计算机的结构，从而可以用它书写与机器无关的源程序。一个单一的高级语言语句可以表示多个机器操作。与2·279条、2·31条相对照。

2.226宿主机 host machine

a.程序或文件所装入的计算机。

b.用以开发供另一台计算机用的软件的计算机。与 2· 502条相对照。

c.用以模仿另一台计算机的计算机。与2·502条相对照。

d.在计算机网络中，为该网络的用户提供处理能力的计算机。

2.227标识符identifier

a.用以命名、指示或定位的符号。标识符可以和数据结构、数据项或程序位置相关联。

b.用以标识。数据项或给。数据项命名，也可能指出该数据某些特性的一个或一组字符。

2.228不完全的隐错排除 imPerfect debugging

在可靠性模拟中，纠正或清除已经发现故障的意图并非总是成功的一种假定。

2.229实现 imPlementation

a.以较为具体的项来体现。抽象的概念;特别是用硬件、软件或两者一起来体现一抽象的概念。

b.程序的一种机器可执行形式，或者能被自动地翻译成机器可执行的形式的某种形式的程序。

c.把设计翻译成代码，然后对此代码排除隐错的过程。

2.230实现阶段 imPlementation Phase

软件生存周期中的一段时间。在这段时间内，根据设计文件制造软件产品并排除其中的隐错。参 见 2.238条、2.513条。

2.231实现需求implementation requ1rement

对软件设计的实现产生影响或限制的任何需求。例如，设计描述沁软件开发标准丸程序设计语言 需求、软件质量保证标准等。

2.232独立验证和确认 independent verification and validation

a.由某机构对软件产品进行的验证和确认，该机构在技术上和行政管理上都与负责开发该软件产品的机构是分开的。

b.由个人或小组对软件产品进行的验证和确认。这些个人或小组不是软件产品的原始设计人，但可以和后者同属一个机构。独立的程度取决于该软件的重要性。

2.233原有故障 indigenous fault

计算机程序中存在的一种故障。这种故障不是作为故障撒播过程的一部分而插入的。

2.234归纳断言法 inductive assertion method

一种正确性证明技术。采用这种技术时要写出描述程序输入、输出和中间条件的断言，推导出当 输入条件满足时，使输出条件得到满足的一一组定理，并且这些定理被证明是成立的。

2.235信息隐蔽 information hiding

将模块中的软件设计决策封装起来的技术，使模块内部工作情况尽可能少在模块的接口处暴露。这样，系统中每个模块对其它模块而言是个“黑盒子”。信息隐蔽的原则禁止使用在模块接口中没有说明的信息。参见2·175条。

2.236输入断言 inPut assertion

逻辑表达式。它规定了程序的输入必须满足的一个或多个条件。

2.237审查 insPection

a.一种正式的评定技术。由除作者之外的某人或某一小组仔细检查软件需求、设计或代码，以找出故障、违反开发标准之处和其它一些问题。与 2.545条相对照。参见 2.63条。

b.质量管理的一个阶段。在此阶段借助检查。观察或测量来确定材料、必须品、零部件、附属 品、系统、过程或结构是否符合预定的质量要求。

2.238 安装检验阶段 installation and check-out phase

软件生存周期中的一段时间。在此时间内，软件产品被结合到工作环境中，并在该环境中加以测 试，以保证它能按照要求进行工作。

2.239指令 instruction

a.使计算机 执行一个特定操作或执行一组特定操作的程序语句。

b.在程序设计语言中，规定某种操作，且如果有操作数则对操作数进行标识的一个有含义的表述。

2.240指令集合(指令系统) instruction set

计算机的指令集合，程序设计语言指令集合，或程序设计系统中程序设计语言的指令集合。

2.241指令集合结构 instruction set architecture

用指令集合表征的抽象机。

2.242指令跟踪 instruction trace

参见 2.530条。

2.24 3探测 instrumentation

参见 2.358条。

2.244探测工具 instrumentation tool

一种软件工具。它在被测程序中的适当位置上产生并插入起计数器或其它探头作用的语句，以提供有关程序执行情况的统计数字，如程序中的代码被执行到的覆盖程度。

2.245集成 integration

把软件、硬件元素或两者合成为一个完整的系统的过程。

2.246组装测试 integration testing

有序进行的一种测试。这种测试中，把软件元素、硬件元素或两者一并进行测试，直到整个系统 成为一体。参见2.497条。

2.247完整性 integrity

在计算机系统中，对软件或数据所受到的未经获准的存取或修改可加以控制的程度。参见2.420 条。

2.248交互系统 interactive system

指这样一个系统。在这种系统中，每一个用户的输入均能得到该系统的响应。

2.249接口，界面 interface

a .一个共有的边界。接口可能是连接两个设备的硬件组成部分，也可能是由两个或多个计算机程序所访问的一部分存储器或寄存器。

b.与另一系统组成部分的交互作用或通信。

2.250接口需求 Interface requirement

规定一个系统或系统组成部分必须与之接口的硬件、软件或数据库元素的需求。或由这样一个接口而引起的对格式、时间关系或其它因素提出的条件。

2.251接口规格说明 interface sPecification

规定系统或系统组成部分的接口需求的规格说明。

2.252接口测试 interface testing

为确保程序或系统组成部分彼此正确地传递信息或控制而进行的测试。

2.253互操作能力，互操作性 interoPerability

a .两个或多个系统交换信息并相互使用已交换的信息的能力。与2.71条相比较。

b.两个或两个以上系统可互相操作的能力。

2.254解释 interPret

逐条翻译并立即执行计算机程序的每一源语言语句。与2.29条、2.72条相对照。

2.255解释程序，解释器 interPreter

a.用来解释计算机程序的软件、硬件或固件。与2.30条、2.73条相对照。

b.用于进行解释的计算机程序。

2.256中断 interruPt

把一进程(如计算机程序)的执行暂停。这一暂停是由该进程之外的事件引起的，中断处理后，被暂停的进程应能恢复。

2.257迭代 iteration

a.重复执行给定的程序设计语言语句序列，直到满足给定条件或当给定条件为真时为止的过程。

b.对循环的一次执行。

2.258核心，内核 kernel

a.操作系统的基础，操作系统的最小的不可缺少的部分。

b.基本功能的封装部分。

c.在计算机选择研究中用以评价计算机性能的模型。

2.259关键字 key

数据集合中的一个或多个字符。它含有有关该集合的信息，包括其标识。

2.260标号 label

a.数据集合内或附加于数据集合上的一个或多个字符。其中含有有关该集合的信息，包括其标识。

b.在计算机程序设计中，指令的标识符。

c.一个带或盘文件的标识记录。

2.261语言处理程序 language processor

a.一种计算机程序。它执行这样一些功能，诸如处理指定程序设计语言所需的翻译、解释功能和其它任务。例如FORTRAN处理程序、COBOL处理程序。

b.一种软件工具。它完成这样一些功能，诸如处理指定的语言(如需求规格说明语言、设计语言或程序设计语言)所需的翻译、解释或其它任务。

2.262级层 level

a.一个项在某一层次排列中下属的级数。

b.层次结构中的等级。若一项目没有从属项则属最低级，若没有比它高的项则为*。

2.263 文档等级 level of documentation

指明文档的范围、内容、格式以及质量。文档等级可根据项目成本、预期用途、作用范围、及其它 因素进行选择。

2.264资料管理员 librarian

参见 2.446条。

2.265库 library

参见 2.447条、2.494条。

2.266生存周期 life cycle

参见2.448条。

2.267生存周期模型 life-cycle model

一个框架，它含有从需求定义到使用终止，跨越整个生存期的系统开发、操作和维护中所需实施 的过程、活动和任务。

2.268连接编辑程序 linkage editor

一个计算机程序。它利用一个或多个独立地编译而得到的目标模块或装入模块而建立一个装入模块。为此要在目标模块当中解决交叉引用。也可能需要把一些元素重新定位。注意并不是所有的目标模块在执行之前都需要连接。

2.269连接表 linked list

参见2.60条。

2.270列表，清单，表list

a.数据有序集。

b.将满足规定准则的数据项进行打印或显示。

c.参见2.60条。

2.271列表处理 list ProceSSing

一种用表的形式来处理数据的方法。通常使用链接表，这样就能改变项的逻辑顺序而无需改变它们的物理位置。

2.272列表 listing

a.以人们易读的列表形式给出的计算机输出。

b.人们易读的、正文形式的计算机输出。

2.273装入映象表 load maP

计算机生成的表，它标识驻留在内存中的计算机程序或驻留在内存中的数据的全部或指定部分的位置或大小。

2.274装入模块 load module

适合于装入到主存中去等待执行的程序单位。它通常是连接编辑程序的输出。

2.275装入程序 loader

a.一种例行程序。它在目标程序执行之前把目标程序读入到主存中去。

b.一种例行程序。通常是计算机程序。它把数据读入到主存中去。

2.276逻辑文件 logical file

与物理环境无关的文件。同一逻辑文件的各部分可以放在不同的物理文件中;几个逻辑文件或几个逻辑文件的各部分可以放在一个物理文件中。

2.277逻辑记录 logical record

与物理环境无关的记录。同一逻辑记录的各部分可以放在不同的物理记录中;几个逻辑记录或几个逻辑记录的各部分可以放在一个物理记录中。

2.278循环 IOOP

当某个条件成立时可以反复执行一组指令的程序结构。参见2.257条。

2.279机器语言 machine language

指令和数据的表示。此表示能直接由计算机执行。与2.31条、2.225条相对照。

2.280宏 macro

a.一个预先定义好的指令序列。在汇编或编译期间要把该指令序列插入到程序中每一处出现相应宏指令的地方。

b.与 2.281条同义。

2.281宏指令 macroinstuction

源语言中的一条指令。它将用同一源语言书写的预先定义的指令序列所代替。

2.282宏处理程序 macroprocessor

某些汇编程序和编辑程序的部分。它允许程序员定义和使用宏。

2.283可维护性 maintainability

a.对软件进行维护的容易程度。

b.按照预定的需要对某一功能部件进行维护的容易程度。

c、按照规定的使用条件，在给定时间间隔内一个项保持在某一指定状态或恢复到某一指定状态的能力。在此状态下，若在规定的条件下实现维护并使用所指定的过程和资源时，它能实现要求的功能。

2.284维护者 maintainer

执行维护活动的一个机构。

2.285维护 maintenance

参见 2.449条。

2.286维护阶段规 maintenance phase

参见 2.317条。

2.287维护计划 maintenance plan

维护软件产品时使用的说明管理方法和技术途径的文档。典型的维护计划内容包括：工具、资源、设施、及日程。

2.288映象程序 maP Program

编译程序或汇编程序中具有生成装入映象性能的部分。

2.289主库 master library

存放软件和文件的正式公布版本的软件库。与2.351条相对照。

2.290元编译程序 metacompiler

参见 2.75条。

2.291无语言 metalanguage

用来说明一个语言或多个语言的基本语言。

2.292微码 microcode

a.微程序的符号表示。

b.微程序在其存储媒体中的内部表示。参见2.206条。

2·293微程序 microprogram

计算机操作相对的微指令序列。它被保存在专用存储器中，并且是由计算机指令寄存器中的计算机指令来启动执行，微程序常常用于代替硬接线逻辑。参见2.206条。

2.294里程碑 milestone

项目有关人员或管理人员负责的在预定时间将发生的事件，用来标志工作进度。例如，正式的复审、规格说明的颁布、产品的交付。

2.295助记符号 mnemonic symbol

为便于人们记忆而选用的一种符号。例：“multiPly”的缩写是“mul”。

2.296模型 model

现实世界中进程、设备或概念的一种表示。参见2.23条、2.42条、2.129条、2.180条、2.398条、

2.430条、2.472条。

2.297修改 modification

a.对软件进行的更改。

b.更改软件的过程。

2.298模块分解 modular decomposition

借助于把系统分成若干模块来设计系统的方法。参见2.222条。

2.299模块化程序设计 modular programming

把系统或程序作为一组模块集合来开发的一种技术。

2.300模块性 modularity

软件由若干离散部分组成的离散程度，即软件模块化的程度(表明改变一个组成部分时对另外的组成部分有多大的影响)。