b.体系或体系部件为满意或具有的条件或才能以满意合同、规范、规范阐明或其它正式的强制性文件。一切需求的调集构成了今后开发体系或体系部件的根底。拜见2.404条、2.406条。2.407条。

　　软件生计周期中的一个阶段。在此期间对软件产品的需求(如功用和功用方面的才能)进行界说并编制出相应的文档。

　　陈说体系或体系部件(例如，软件装备项)的需求的规范阐明，一般包含功用需求、功用需求。接口需求、规划需求以及开发规范。

　　一种编译程序。其输出是与机器无关的中心表明。当它与依赖于机器的代码生成程序组合时，就构成了完好的编译程序。

　　a.完结特定任务的一个核算机程序段。拜见 2.213条、2.346条、2.482条、2.480条。

　　a.实行一个程序时所花费时刻的衡量。运转时刻包含中心处理机时刻、外围处理时刻和外围存取时刻，例如：sh的运转时刻。

　　与安全性有关的要害性句子的一个小的、自含的调集，作为操作体系的特权部分。为了运用一程序或存取某数据，有必要满意核心所规矩的悉数原则。

　　a.核算机程序中的独立部分，它可在任一时刻实行而无需把整个核算机程序都坚持在内存 中。拜见2.77条、2.301条、2.480条。

　　由另一体系来表明某实践或笼统体系中选定的行为的特征。在数字核算机体系中，仿照由软件 来做，例如，

　　a.从决议开发一个软件产品开端到产品交给停止的时刻距离。这个周期一般包含需求阶段、 规划阶段、完结阶段、测验阶段，有时还包含装置和查验阶段。与2.448条相对照。

　　有关给定软件模块状况资料的调集。其内容一般包含与给定软件模块有关的需求、规划、技能报 告、代码列表清单、测验方案、测验成果、问题陈说、进展、注释等等。拜见2.370条。

　　把用户要求转化为软件需求，把软件需求转化为规划，用代码来完结规划，对代码进行测验，完结文档编制，并承认软件能够投入运转性运用的进程。

　　以人们可读的方法呈现的技能数据和信息。包含核算机列表和打印输出，它们描绘或规矩软件规划或细节，阐明软件具有的才能，或为运用软件以便从软件体系得到所期望的成果而供给的操作指令。拜见 2.157条、2.493条、2.536条。

　　与软件的开发或运用有关的数据。这在开发软件模型、可靠性猜测，或软件的其它定量描绘中或许是有用的。

　　软件和有关的文档阐明的一个受操控的调集。意图是有助于软件开发、运用或保护。类型包含软件开发库、主库、产品库、程序库和软件贮藏仓。拜见2.494条。

　　从规划软件产品开端到产品不能再运用时停止的时刻周期。软件生计周期一般包含需求阶段、 规划阶段、完结阶段、测验阶段、装置和查验阶段、运转和保护阶段，有时还包含引退阶段。与 2.438条相对照。

　　a.在规矩条件下，在规矩的时刻内软件不引起体系失效的概率。该概率是体系输入和体系运用的函数，也是软件中存在的缺点的函数。体系输入将确认是否会遇到已存在的缺点(假如有缺点存在的)。

　　施用于软件的一种技能。用以辨认埋伏的(潜行的)逻辑操控途径或条件。这些途径或条件会制止所期望进行的操作或引起不期望有的操作呈现。

　　一种核算机程序。用来协助开发、测验、剖析或保护另一核算机程序或它的文件。例如，主动规划东西、编译程序、测验东西、保护东西。

　　a.以一种彻底的、准确的、可验证的方法规矩体系或体系部件的需求、规划、功用或其它特性的文件。拜见2.143条、2.211条、2.218条、2.251条、2.335条、2.407条。

　　c.对某产品、某种资料或进程即将满意的一组需求的简明陈说，并在恰当的时分，指明一种进程，依据该进程可确认给定需求是否得到满意。

　　一种言语。常常是机器可处理的自然言语和方法言语的组合。用来规矩体系或体系组成成分的需求、规划、功用或其它特性。拜见2.138条、2.408条。

　　一种软件东西。它确认指定的开发规范是否得到遵从。规范能够包含模块巨细、模块结构、注释的约好、某些句子方法的运用以及文件编制约好。

　　一种有向图。其间的结点对应于体系的内部状况，也对应于搬迁;常常用来经过状况的改变来描绘体系。拜见2.337条。

　　估量程序而无需实行程序的进程。拜见2.146条、2.63条、2.237条、2.545条、2·164条。

　　一种软件东西。它有助于剖析核算机程序而无需实行该程序，例如语法查验程序、编译程序、穿插引证表生成程序、规范实施器以及流程图。与2.165条相对照。

　　一种模型。它把程序毛病与输入数据集(或多个数据集)联系起来。模型也给出了这些毛病将引起程序失效的概率。

　　体系开发方法学，在其间首要概括地决议数据界说和处理进程，然后逐渐添加细节。拜见 2.22 2 条、2.526条、2.52条。

　　一种程序规划言语特性。它要求对每个数据方针的数据类型都作出阐明，并扫除操作符施用于 不恰当的数据方针上的状况。因而，避免了不相容类型的数据方针的相互作用。

　　进行软件规划的一种带有束缚性的方法。它遵从一组指定的规矩。这些规矩是树立在比如自顶向下规划、逐渐求精法和数据流剖析等原则根底上的。

　　由一组根本的操控结构结构而成的程序。每一个操控结构有一个进口点和一个出口点。操控结构组典型地包含：由两条或多条指令组成的序列;两个或多个指令或指令序列的条件挑选;一个指令或指令序列的重复实行。

　　a.一种界说杰出的软件开发技能。它选用自顶向下规划和完结方法，并严格地运用结构化程序的操控结构。

　　b.不严格地讲，指组织和编写程序的一种技能。这种技能可简化复杂性，改善清楚度，并便于扫除隐错和修正。

　　c.由调用句子所调用的子程序。它能够承受或不承受输入值，并经过参数名、程序变量或组织而不是子例行程序名本身来回来任何输出值。与2.213条相对照。拜见2.346条。

　　一种核算机程序，一般是操作体系的一部分。它操控其它核算机程序的实行而且调理数据处理体系中的作业流程。与 2.190条、 2.484条同义。

　　依照所签的合同向需方供给体系、产品或服务的一个组织(是合同当事人、出产者、卖方、批发商的近义词)。 注：需方能够指定它的组织中的某一部分做为供方。

　　一种验证技能。在这种技能中，仿照程序的实行是运用符号而不是实在的值来代表输入数据，而程序输出则表明成包含这些符号的逻辑或数学表达式。

　　c.由某些相互作用或相互依赖联系联合起来的小组或子体系。它可实行多种功用，可是作为一个单位而发挥其作用。

　　驻留于体系中的受控软件的调集。可供存取和运用，或经过引证而合并到其它程序中去。例如，在需求时由衔接修正程序合并到某程序中去的一组例行程序。拜见2.447条。

　　包含悉数硬件和软件子体系在内的某个体系在规矩的环境中及规矩的时刻里正确实行所要求的任务或任务的概率。拜见2.318条、2.454条。

　　办理、运用和保护核算机体系资源的软件。例如，操作体系、编译程序、实用程序。与2.25条相对照。

　　a.测验环境。其间包含测验体系或体系部件一切必要的硬件、勘探东西、仿照程序，以及其它支撑软件。

　　测验数据及与之相关的测验规程的一个特定的调集。它是为了特定意图(如查询特定程序途径或验证是否契合特定的需求)而产生出来的。拜见2.520条。

　　软件生计周期中的一段时刻。在此期间对软件产品的部件进行点评且进行集成。并点评软件产品以确认需求是否已得到满意。

　　一个文件，它叙说了关于预订的测验活动即将采纳的途径。典型的方案中包含：标识要测验的项 目、要完结的测验、测验进展表、人事组织要求、陈说要求、点评原则，以及任何临界的要求的临 时方案。

　　对给定的测验，就其树立、运转和成果估量所作的具体阐明。常常把一组有关的进程组合起来构成测验进程文件。

　　由人工或主动方法来实行或点评体系或体系部件的进程，以验证它是否满意规矩的需求;或辨认出期望的成果和实践成果之间有无不同。比较2.12 8条。

　　一种软件东西。用于估量或衡量核算机程序的实行时刻或部分核算机程序的实行时刻。这可经过求每条途径中指令的实行时刻之和得到，或由在程序中的规矩点处刺进探头并衡量探头之间的实行时刻而得到。

　　指从层次的第一流部件处开端，逐渐推进到较初级的方法。例如，自顶向下规划、自顶向下程序规划、自顶向下测验。与2.52条相对照。

　　由整体到部分逐级细化的规划进程，即先标出体系的首要部件，并把它们分解为较初级成分，然后重复进行直到不能(或不用)再分解停止。与 2.5 3条相对照。

　　在正确性证明中，指出程序的输出断语是它的输入断语和处理进程的合乎逻辑的成果，而且在悉数规矩的输入条件下程序能停止。与2.326条相对照。

　　一种程序。它把。种言语的句子序列变换为另。种言语中的等价的句子序列。拜见 2· 30条、 2.73条、 2.255条。

　　由经过分支相互衔接的结点组成的笼统的层次结构。其间：(a)每个分支把7个结点衔接到一个直属的下级结点;(b)有仅有称为根的一个结点，它不附归于任何其它结点;(c)根之外的每个结点只直接从归于另一个结点。

　　一套文档。它为运用体系以期取得所期望成果的终究用户供给体系指令方面的信息。例如，用户手册。与2.493条相对照。

　　核算机程序或例行程序。规划这种程序的意图是为其它运用软件、操作体系或体系用户供给他们所要求的某些通用支撑功用。

　　a.确认软件开发周期中的。个给定阶段的产品是否到达前阶段建立的需求的进程。拜见 2.538条。

　　c.评定、查看、测验、查看、审计等活动，或对某些项、处理、服务或文件等是否和规矩的需求相一致进行判别和提出陈说。

　　某一装备项的一个可标识的实例。 注：软件某版别的修正产生一个新的版别，但它需求装备办理活动。

　　能够被核算机体系的用户看作可编址主存储器的存储空间。在程序运转时虚地址被映射为实地址。虚拟存储器的巨细由核算机体系的编址方法及所能运用的辅佐存储器的总容量确认，而不受主存储器的实践容量所束缚。

　　评定进程在此进程中规划者或程序员引导开发小组中一名或多名其它成员通读已书写的规划或编码，其它成员担任提出问题并对有关技能、风格、或许的过错、是否违反开发规范的当地等进行谈论。与2.237条相对照。2.101 衔接 connection

　　2.102 合同 contract经过法令束缚当事两边的一个协议，或是在一个组织内部为了供给服务的一个内部协议，该协议供给的服务适用于一个体系或体系一部分的供给、开发、出产、操作或保护。

　　2.103合同所要求的审计 contractually required audit合同所要求的审阅进程。一般由需方或由独立的组织掌管进行。此进程对产品或服务供给一个独立的点评，以决议产品或服务是否契合它们的需求。

　　2.104 操控数据 control data挑选一程序中的操作方法或子方法，给次第流指向，或许直接影响软件操作的数据。

　　2.107转化 conversion对现有软件进行修正，使之在不同环境作业时能具有同等的功用，例如，把二个程序从FOR-TRAN变换成

　　2.108 协同例行程序 co-routines互相能调用，但不存在上下级联系的两个或两个以上的模块。

　　2.114 要害部分优先 critical Piece first软件开发的一种途径。它首要把注意力会集在软件体系中最要害部分的完结。要害部分能够依据所供给的服务、危险程度、困难程度或其它一些原则来确认。

　　即将被实行的一段代码。其实行与另一要害段的代码的实行是互斥的。假如一些代码段竞相运用一核算机资源和数据项时，就要求这些段互斥地实行。

　　2. 116危殆程度 criticality依据软件过错或毛病对体系的开发和运转的影响程度所做的点评进而对这些软件过错或毛病进行的分类（一般用来断定是否要对某一毛病进行校对，以及何时予以校对）。

　　2.117穿插汇编程序 cross assembler在一台核算机上为另一台不同的核算机产生方针代码的汇编程序。

　　2.118穿插编译程序 cross comPiler在一台核算机上为另一台不同核算机产生汇编代码或方针代码的编译程序。

　　2.119数据 data现实、概念或指令的方法化的表现方法，它适于由人或主动装置进行通讯、解说或处理。拜见 2.79条、2.104条、2.179条、2.395条、2.445条。

　　2. 120 数据笼统 data abstraction经过挑选特定的数据类型及其相关的功用特性的方法，只是坚持或抽取数据的实质特性所得的成果，然后使其与细节部分的表现方法分隔或把它们躲藏起来。拜见2.235条。

　　2. 121数据库，数据基 data basea. 一数据集，或一数据集的部分或整体，它至少包含足够为一给定意图或给定数据处理体系运用的一个文件。

　　2. 122数据字典加 data diCtionarya.软件体系中运用的一切数据项的姓名及与这些数据项有关的特性（例如，数据项长度、表明等）的调集。

　　2.12 3数据流图 data flow chart体系的一种图形表明，其间表明出数据源、数据汇、存储和以结点方法对数据实行的处理，以及在结点间作为衔接部分的逻辑数据流。与2.124条、2.125条同义。

　　2.126数据结构 data structure数据项之间的次第组织和可拜访性的一种方法表明，其间不触及其实践存储摆放方法。

　　2.127数据类型 data type一类数据。用归于该类的元素和可对之实施的操作来表征。例如，整型、实型、逻辑型。

　　2.130断定表 decision tablea.在叙说一问题中要考虑的一切或许产生的状况及对每一组或许产生的状况即将采纳的举动的一张表。

　　2.133交给 deliverya.软件研发周期中的一个阶段。在此阶段大将产品提交给方案中的用户供其运用。

　　a.为使一软件体系满意规矩的需求而确认软件体系结构、部件、模块、接口、测验途径和数据的进程。b.规划进程的成果。

　　2. 135 规划剖析design analysisa.对一规划进行估量以确认其相关于预订需求的正确性、契合规划规范的程度、体系功率和是否契合其它一些原则。

　　2.136规划剖析器 desiyn analyzer一种主动规划东西。它接纳有关程序的规划方面的信息，并产生以下方面的输出，如模块层次图、操控和数据结构的图形表明，以及被拜访的数据块的一览表等。

　　2.138规划言语 design language一种具有专门结构，有时还可验证的言语。用以开发、剖析规划并为其书写文件。

　　2.139规划方法学desiyn methodology进行规划的体系途径。由专门挑选的东西、技能、原则的有序运用所构成。

　　2.140规划阶段 desisn phase软件生计周期中的一段时刻。在这段时刻内，进行体系结构、软件组成部分、接口和数据的规划，为规划编制文件，并对其进行验证，以满意预订需求。

　　2.141规划需求 desisn requirement影响或束缚软件体系或软件体系组成部分的规划的需求：例如，功用需求、物理需求、功用需求，软件开发规范，软件质量保证规范。拜见2.407条。

　　2.142规划评定 desisn reviewa.在正式会议上，把体系的开始的或具体的规划提交给用户、客户或有关人士供其评定或同意。

　　2.143规划规范阐明 design sPecification一种描绘规划要求的正式文档，依照这种文档对体系或体系组成部分（如，软件装备项）进行规划。典型内容包含体系或体系组成部分算法、操控逻辑、数据结构设定与运用（set－use）信息、输入输出格局和接口描绘。拜见2.407条。

　　2.146桌面查看 desk checking对程序实行状况进行人工仿照，用逐渐查看源代码中有无逻辑或语法过错的方法来检测毛病。 拜见2.468条。

　　a.琢磨并扩大开始规划，以取得关于处理逻辑、数据结构和数据界说的愈加翔实的描绘，直到规划完善到足以能完结的境地。b.具体规划进程的成果。

　　2.148开发者 develoPer在软件生计周期中实行开发活动（包含需求剖析、规划直至查验）的一个组织。

　　2.151开发方法学 develoPment methodology编制软件的体系方法。它确认开发的各个阶段，规矩每一阶段的活动、产品、验证进程和完结原则。

　　2. 153确诊 diagnstica.核算机程序产生的信息。它用来指示另一体系组成部分中或许的毛病。例如，由编译程序标识的语法过错。

　　2.156文档，文件 documenta.一种数据媒体和其上所记载的数据。它具有永久性并能够由人或机器阅览。一般仅用于描绘人工可读的内容。例如，技能文件、规划文件、版别阐明文件。

　　c.产生一个文档的进程。d.为了对活动、需求、进程或成果进行描绘、界说、规矩、陈说或认证的任何书面或图示的信

　　2.159驱动程序 driver一个程序。它凭借仿照较高一级的体系组成部分的方法来实行体系或体系组成部分的作用。拜见 2.511条。

　　2.160双份编码dualcoding一种开发技能。由不同的程序员或不同的程序规划小组，依据同一份规范阐明书开宣布功用上彻底相同的程序的两个版别。所取得的源代码能够选用同一种言语，也能够选用不同的言语。双份编码的意图在于供给过错检测，进步可靠性，供给附加的文件阐明，或使体系的程序规划过错或编译程序过错影响终究成果的概率下降。

　　2.163动态分配 dynamic allocation把可编址的存储器和其它资源分配给正在实行的程序。

　　2.164动态剖析 dynamic analysis依据程序的实行状况对程序进行估量的进程。与2.468条相对照。

　　2. 165动态剖析器 dynamic analyzer凭借对程序实行状况的监督，协助对核算机程序进行估量的软件东西。例如勘探东西、软件监督器和盯梢器。与2.469相对照。

　　2.170无效程序规划 egoless Programming在对程序开发选用小组担任制的概念的根底上进行软件开发的一种方法。

　　2.171嵌入式核算机体系一bedded computer system归结在一个其首要意图不是进行核算的较大体系中成为其完好不行分隔的部分的核算机体系。

　　2.173仿真 emulation用一个核算机体系，首要是经过硬件，仿照另一个核算机体系的悉数或部分功用，使进行仿照的体系承受的数据、实行的程序和完结的成果均与被仿照的体系所承受的数据，实行的程序和完结的成果相同。

　　2.175封装 encapsulation将体系功用阻隔在一个模块中，并为该模块供给准确的规范阐明的技能。拜见 2. 2 3 5条。

　　的值或条件与实践的、规矩的或理论上的值或条件不契合。b.导致产生含有缺点的软件的人为举动。例如，遗失或误解软件阐明书中的用户需求，不正确的翻译或遗失规划规范阐明书中的需求。拜见2.192条、2.198条。

　　2.177犯错剖析 error analysisa. 对观察到的软件毛病进行查询的进程，查询的意图是盯梢那个毛病以找出毛病源。

　　2. 178犯错类别 error category过错、毛病或失效或许归并到其间的“组类别之二，当过错、毛病或失效产生或发现后，可依据其原因、危殆程度、作用、毛病所属的生计周期阶段或其它特性而确认其类别。

　　2.179犯错数据error data犯错数据一般（但不是准确地）用于：描绘软件的问题、毛病、失效及其更动，它们的特性，以及遇到或改正这些问题的条件。

　　2.180犯错模型 error model用于描绘或估量一软件体系存在的毛病数目、可靠性、需求的测验时刻或相似特性。拜见 2. 181 条。

　　2.181犯错猜测 error Prediction对有关软件体系中软件问题、毛病或失效的预期意图或性质所作的定量陈说。拜见 2. 180条。

　　2.185点评 evaluation决议某产品、项目、活动或服务是否契合它的规矩的原则的进程。

　　2.188实行时刻 execution timea. 实行一个程序所用的实践时刻或中心处理机所用的时刻。

　　2.189实行时刻理论 execution time theory选用累计实行时刻作为估量软件可靠性根底的一种理论。

　　2.191退出，停止，出口 exita. 核算机程序、例程或子例程中的一条指令。在实行它之后，该核算机程序、例程或子例程就不再具有操控权。

　　2.195失功率 failure ratea.失效数与给定丈量单位的比率；例如，每单位时刻的失效次数、若干次事务处理中的失效次数，若干次核算机运转中的失效次数。