軟件工程領(lǐng)域中通用的術(shù)語(yǔ)(二)

軟件工程領(lǐng)域中通用的術(shù)語(yǔ)(二)
　2.401 可重復(fù)性 rePeatability

　　參見 2.516條。

　　2.402 招標(biāo)(標(biāo)書)request for proposal [tender]

　　需方使用的一份文件，用來(lái)向潛在的投標(biāo)人表示它要獲得某特定系統(tǒng)、產(chǎn)品或服務(wù)的意圖。

　　2.403需求 requirement

　　a.用戶為解決某一問題或達(dá)到某個(gè)目標(biāo)所需要的條件或能力。

　　b.系統(tǒng)或系統(tǒng)部件為滿足或具有的條件或能力以滿足合同、標(biāo)準(zhǔn)、規(guī)格說明或其它正式的強(qiáng)制性文件。所有需求的集合形成了以后開發(fā)系統(tǒng)或系統(tǒng)部件的基礎(chǔ)。參見2.404條、2.406條。2.407條。

　　2.404需求分析 requirements analvaia

　　a.研究用戶要求以得到系統(tǒng)或軟件需求的定義的過程。

　　b.對(duì)系統(tǒng)需求或軟件需求的驗(yàn)證。

　　2.405需求審查 requirements InsPection

　　參見2.237條。

　　2.406需求階段 requirements phase

　　軟件生存周期中的一個(gè)階段。在此期間對(duì)軟件產(chǎn)品的需求(如功能和性能方面的能力)進(jìn)行定義并編制出相應(yīng)的文檔。

　　2.407需求規(guī)格說明 requirements specification

　　陳述系統(tǒng)或系統(tǒng)部件(例如，軟件配置項(xiàng))的需求的規(guī)格說明，通常包括功能需求、性能需求。接口需求、設(shè)計(jì)需求以及開發(fā)標(biāo)準(zhǔn)。

　　2.408需求的規(guī)格說明語(yǔ)言 requirements specification language

　　具有特殊構(gòu)造和驗(yàn)證協(xié)議的形式語(yǔ)言，用于規(guī)定、驗(yàn)證和編制需求文件。

　　2.409需求驗(yàn)證 requirements verifcation

　　參見2.539條。

　　2.410退役 retirement

　　操作和維護(hù)機(jī)構(gòu)撤出現(xiàn)有的支持，全部或部分地由一個(gè)新的系統(tǒng)來(lái)代替或者安裝一個(gè)更新的系統(tǒng)。

　　2.411退役階段 retirement Phase

　　軟件生存周期中的一個(gè)階段。在此階段內(nèi)，對(duì)軟件產(chǎn)品的支持被終止。

　　2.412可重用性，復(fù)用率 reusability

　　一個(gè)模塊可在多種應(yīng)用中加以利用的程度。

　　2.413評(píng)審 review

　　參見2.142條。

　　2.414健壯性 robustness

　　盡管引入了不合理的輸入，軟件仍能繼續(xù)正常運(yùn)行的程度。

　　2.415根編譯程序 root compiler

　　一種編譯程序。其輸出是與機(jī)器無(wú)關(guān)的中間表示。當(dāng)它與依賴于機(jī)器的代碼生成程序組合時(shí)，就構(gòu)成了完整的編譯程序。

　　2.416例行程序一，例程 routine

　　a.實(shí)現(xiàn)特定任務(wù)的一個(gè)計(jì)算機(jī)程序段。參見 2.213條、2.346條、2.482條、2.480條。

　　b.廣泛或頻繁使用的程序段，或由程序調(diào)用的指令序列。

　　2.417運(yùn)行態(tài)，運(yùn)行方式 run mode

　　當(dāng)計(jì)算機(jī)正自動(dòng)地執(zhí)行著存儲(chǔ)在存儲(chǔ)單元中的指令，從而被認(rèn)為是正在履行其功能時(shí)的那種狀態(tài)。

　　2.418運(yùn)行時(shí)間 run time

　　a.執(zhí)行一個(gè)程序時(shí)所花費(fèi)時(shí)間的度量。運(yùn)行時(shí)間包括中央處理機(jī)時(shí)間、外圍處理時(shí)間和外圍存取時(shí)間，例如：sh的運(yùn)行時(shí)間。

　　b.程序開始執(zhí)行的瞬間。參見 2.188條。

　　2.419可擴(kuò)展性 scaliability

　　是指軟件系統(tǒng)可以在不同規(guī)模、不同檔次的硬件平臺(tái)上運(yùn)行的能力。

　　2.420安全性，保密性 security

　　對(duì)計(jì)算機(jī)硬件、軟件進(jìn)行的保護(hù)，以防止其受到意外的或蓄意的存取、使用、修改、毀壞或泄密。

　　安全性也涉及對(duì)人圓勁數(shù)據(jù)、通信以及計(jì)算機(jī)安裝的物理保護(hù)。

　　2.4 21 安全核心 security kernal

　　與安全性有關(guān)的關(guān)鍵性語(yǔ)句的一個(gè)小的、自含的集合，作為操作系統(tǒng)的特權(quán)部分。為了使用一程序或存取某數(shù)據(jù)，必須滿足核心所規(guī)定的全部準(zhǔn)則。

　　2.422撒播 seeding

　　參見2.201條。

　　2.423程序段，存儲(chǔ)段，分段 segment

　　a.計(jì)算機(jī)程序中的獨(dú)立部分，它可在任一時(shí)間執(zhí)行而無(wú)需把整個(gè)計(jì)算機(jī)程序都保持在內(nèi)存 中。參見2.77條、2.301條、2.480條。

　　b.在兩個(gè)相鄰轉(zhuǎn)移分支點(diǎn)之間的計(jì)算機(jī)程序語(yǔ)句的序列。參見2.328條。

　　c.把計(jì)算機(jī)程序和數(shù)據(jù)分為若干段。

　　2.424語(yǔ)義 semantics

　　a.字符或字符組與其含義之間的關(guān)系。這種關(guān)系是與它們的解釋和使用的方式無(wú)關(guān)的。

　　b.符號(hào)和它們的含義之間的關(guān)系。

　　c.按照元語(yǔ)言表達(dá)計(jì)算機(jī)語(yǔ)言結(jié)構(gòu)的含義的規(guī)則。 參見2.489條。

　　2.425信號(hào)量 semaphore

　　用于同步并行進(jìn)程的一種共享變量。它用來(lái)指明某動(dòng)作是否已完成或某事件是否已發(fā)生。

　　2.426順序進(jìn)程 sequential processes

　　以這樣一種方式執(zhí)行的進(jìn)程，即在下一個(gè)動(dòng)作開始之前本動(dòng)作必須結(jié)束。與2.90條相對(duì)照。

　　2.427服務(wù)(軟件) service(software)

　　與軟件有關(guān)的活動(dòng)、工作或義務(wù)的實(shí)施，例如軟件的開發(fā)、維護(hù)和操作等。

　　2.428嚴(yán)重性 severity

　　參見2.116條。

　　2.429副作用 side effect

　　進(jìn)行的處理或活動(dòng)，或得到的結(jié)果，它們與程序、子程序、或操作的主要功能相比是處于第二位的。

　　2.430模擬 simulation

　　由另一系統(tǒng)來(lái)表示某實(shí)際或抽象系統(tǒng)中選定的行為的特征。在數(shù)字計(jì)算機(jī)系統(tǒng)中，模擬由軟件 來(lái)做，例如，

　　(a)借助于由計(jì)算機(jī)系統(tǒng)執(zhí)行的操作表示物理現(xiàn)象。

　　(b)用一計(jì)算機(jī)系統(tǒng)的操作表示 另一個(gè)計(jì)算機(jī)系統(tǒng)的操作。與2.23條相對(duì)照。

　　2.431模擬器 simulator

　　一個(gè)設(shè)備、一個(gè)數(shù)據(jù)處理系統(tǒng)、或一個(gè)計(jì)算機(jī)程序，它表示了某實(shí)際或抽象系統(tǒng)的行為的某些特征。

　　2.432規(guī)模估計(jì) sizing

　　對(duì)一個(gè)系統(tǒng)或系統(tǒng)部件所需要的源程序的行數(shù)或計(jì)算機(jī)存儲(chǔ)的總量的估計(jì)。

　　2.433軟件 software

　　a.與計(jì)算機(jī)系統(tǒng)的操作有關(guān)的計(jì)算機(jī)程序、規(guī)程、規(guī)則，以及可能有的文件、文檔及數(shù)據(jù)。參見

　　2.25條、2.496條。

　　b.與計(jì)算機(jī)系統(tǒng)的操作有關(guān)的程序、規(guī)程、規(guī)則及任何與之有關(guān)的文檔。與2.220條相對(duì)照。

　　2.434 軟件部 sottware component

　　一個(gè)軟件配置項(xiàng)中的一個(gè)明確的部分。

　　注：一個(gè)軟部件含有軟件的多個(gè)單元;也可以含有多個(gè)較低級(jí)的軟部件。

　　2.435軟件配置 software configuration

　　軟件產(chǎn)品在不同時(shí)期的組合。該組合隨著開發(fā)工作的進(jìn)展而不斷變化。

　　2.4 3 6軟件配置管理 software configuration management

　　參見 2.98條。

　　2.4 3 7軟件數(shù)據(jù)庫(kù) software data base

　　存放運(yùn)行軟件系統(tǒng)內(nèi)部公共數(shù)據(jù)的數(shù)據(jù)定義及其當(dāng)前值的文件。

　　2.4 3 8軟件開發(fā)周期 software develoPment cycle

　　a.從決定開發(fā)一個(gè)軟件產(chǎn)品開始到產(chǎn)品交付為止的時(shí)間間隔。這個(gè)周期通常包括需求階段、 設(shè)計(jì)階段、實(shí)現(xiàn)階段、測(cè)試階段，有時(shí)還包括安裝和驗(yàn)收階段。與2.448條相對(duì)照。

　　b.從決定開發(fā)軟件產(chǎn)品開始到開發(fā)者不再改進(jìn)產(chǎn)品時(shí)為止的時(shí)間周期。

　　c.有時(shí)作為軟件生存周期的同義語(yǔ)使用。

　　2.4 3 9軟件開發(fā)庫(kù) software develoPment liabrary

　　存放與軟件開發(fā)工作有關(guān)的計(jì)算機(jī)可讀信息和人們可讀信息的軟件庫(kù)。

　　2.4 4 0軟件開發(fā)簿 software develppment note book

　　有關(guān)給定軟件模塊情況材料的集合。其內(nèi)容通常包括與給定軟件模塊有關(guān)的需求、設(shè)計(jì)、技術(shù)報(bào) 告、代碼列表清單、測(cè)試計(jì)劃、測(cè)試結(jié)果、問題報(bào)告、進(jìn)度、注釋等等。參見2.370條。

　　2.4 41軟件開發(fā)計(jì)劃 software develoPment plan

　　為開發(fā)某一軟件產(chǎn)品而做的項(xiàng)目計(jì)劃。與2.86條同義。

　　2.4 4 2軟件開發(fā)過程 software develoPment process

　　把用戶要求轉(zhuǎn)化為軟件需求，把軟件需求轉(zhuǎn)化為設(shè)計(jì)，用代碼來(lái)實(shí)現(xiàn)設(shè)計(jì)，對(duì)代碼進(jìn)行測(cè)試，完成文檔編制，并確認(rèn)軟件可以投入運(yùn)行性使用的過程。

　　2.4 4 3軟件文檔 software documentation

　　以人們可讀的形式出現(xiàn)的技術(shù)數(shù)據(jù)和信息。包括計(jì)算機(jī)列表和打印輸出，它們描述或規(guī)定軟件設(shè)計(jì)或細(xì)節(jié)，說明軟件具備的能力，或?yàn)槭褂密浖员銖能浖到y(tǒng)得到所期望的結(jié)果而提供的操作指令。參見 2.157條、2.493條、2.536條。

　　2.444軟件工程 software engineering

　　軟件開發(fā)、運(yùn)行、維護(hù)和引退的系統(tǒng)方法。

　　2.4 4 5軟件經(jīng)驗(yàn)數(shù) software experience data

　　與軟件的開發(fā)或使用有關(guān)的數(shù)據(jù)。這在開發(fā)軟件模型、可靠性預(yù)測(cè)，或軟件的其它定量描述中可能是有用的。

　　2.446軟件庫(kù)管理員 sofware librarian

　　負(fù)責(zé)建立、管理和維護(hù)軟件庫(kù)的人員。

　　2.447軟件庫(kù) software library

　　軟件和有關(guān)的文檔說明的一個(gè)受控制的集合。目的是有助于軟件開發(fā)、使用或維護(hù)。類型包括軟件開發(fā)庫(kù)、主庫(kù)、產(chǎn)品庫(kù)、程序庫(kù)和軟件儲(chǔ)藏倉(cāng)。參見2.494條。

　　2.448軟件生存周期 sofware life cycle

　　從設(shè)計(jì)軟件產(chǎn)品開始到產(chǎn)品不能再使用時(shí)為止的時(shí)間周期。軟件生存周期通常包括需求階段、 設(shè)計(jì)階段、實(shí)現(xiàn)階段、測(cè)試階段、安裝和驗(yàn)收階段、運(yùn)行和維護(hù)階段，有時(shí)還包括引退階段。與 2.438條相對(duì)照。

　　2.4 4 9軟件維護(hù) sofware maintenance

　　a.在一軟件產(chǎn)品交付之后對(duì)其進(jìn)行修改，以糾正故障。

　　b.在一軟件產(chǎn)品交付之后對(duì)其進(jìn)行修改，以糾正故障，改進(jìn)性能和其它屬性，或使產(chǎn)品適應(yīng)改

　　變了的環(huán)境。參見2.16條、 2.109條、2.332條。

　　2.450軟件監(jiān)督程序 software monitor

　　和另一計(jì)算機(jī)程序并行執(zhí)行的軟件工具，并對(duì)那個(gè)程序的執(zhí)行情況提供詳細(xì)的信息。

　　2.451軟件產(chǎn)品 software Prodnuet

　　指定交付給用戶的軟件實(shí)體。

　　2.452軟件質(zhì)量 sofwarer requality

　　a.軟件產(chǎn)品中能滿足給定需要的性質(zhì)和特性的總體。例如，符合規(guī)格說明。

　　b.軟件具有所期望的各種屬性的組合程度。

　　c.顧客和用戶覺得軟件滿足其綜合期望的程度。

　　d.確定軟件在使用中將滿足顧客預(yù)期要求的程度。

　　2.453軟件質(zhì)量保證 software quality assurance

　　參見2.383條。

　　2.454軟件可靠性 software reliability

　　a.在規(guī)定條件下，在規(guī)定的時(shí)間內(nèi)軟件不引起系統(tǒng)失效的概率。該概率是系統(tǒng)輸入和系統(tǒng)使用的函數(shù)，也是軟件中存在的缺陷的函數(shù)。系統(tǒng)輸入將確定是否會(huì)遇到已存在的缺陷(如果有缺陷存在的)。

　　b.在規(guī)定的時(shí)間周期內(nèi)所述條件下程序執(zhí)行所要求的功能的能力。

　　2.455軟件檔案庫(kù) software rePOSitory

　　一個(gè)軟件庫(kù)。它用于存儲(chǔ)軟件和有關(guān)文檔的永久性的檔案。

　　2.456軟件潛行分析 software sneak analysis

　　施用于軟件的一種技術(shù)。用以識(shí)別潛伏的(潛行的)邏輯控制路徑或條件。這些路徑或條件會(huì)禁止所期望進(jìn)行的操作或引起不希望有的操作出現(xiàn)。

　　2.457軟件工具 software tool

　　一種計(jì)算機(jī)程序。用來(lái)幫助開發(fā)、測(cè)試、分析或維護(hù)另一計(jì)算機(jī)程序或它的文件。例如，自動(dòng)設(shè)計(jì)工具、編譯程序、測(cè)試工具、維護(hù)工具。

　　2.458軟件單元 software unit

　　一段可分開編譯的代碼。

　　2.459源語(yǔ)言source language

　　a.用來(lái)書寫源程序的語(yǔ)言。

　　b.其語(yǔ)句被翻譯的一種語(yǔ)言。與2.501條相對(duì)照。

　　2.460源程序source Program

　　a.在計(jì)算機(jī)執(zhí)行之前必須被編譯、匯編或解釋的計(jì)算機(jī)程序。

　　b.用源語(yǔ)言表達(dá)的計(jì)算機(jī)程序。與2.312條相對(duì)照。

　　2.461規(guī)格說明，規(guī)范 sPecification

　　a.以一種完全的、精確的、可驗(yàn)證的方法規(guī)定系統(tǒng)或系統(tǒng)部件的需求、設(shè)計(jì)、性能或其它特性的文件。參見2.143條、2.211條、2.218條、2.251條、2.335條、2.407條。

　　b.制定規(guī)格說明的過程。

　　c.對(duì)某產(chǎn)品、某種材料或進(jìn)程將要滿足的一組需求的扼要陳述，并在適當(dāng)?shù)臅r(shí)候，指明一種過程，根據(jù)該過程可確定給定需求是否得到滿足。

　　2.462規(guī)格說明語(yǔ)言 sPecification language

　　一種語(yǔ)言。常常是機(jī)器可處理的自然語(yǔ)言和形式語(yǔ)言的組合。用來(lái)規(guī)定系統(tǒng)或系統(tǒng)組成成分的需求、設(shè)計(jì)、性能或其它特性。參見2.138條、2.408條。

　　2.463規(guī)格說明驗(yàn)證 sPecification verification

　　參見2.539條。

　　2.464穩(wěn)定性 stability

　　a.在有干擾或破壞事件影響下仍能保持不變的能力。

　　b.在干擾或破壞性事件之后返回到原始狀態(tài)的能力。

　　2.465棧 stack

　　按后進(jìn)先出方法進(jìn)行存取的一個(gè)列表。與2.385條相對(duì)照。

　　2.466標(biāo)準(zhǔn)實(shí)施器 standards enforcer

　　一種軟件工具。它確定指定的開發(fā)標(biāo)準(zhǔn)是否得到遵循。標(biāo)準(zhǔn)可以包括模塊大小、模塊結(jié)構(gòu)、注釋的約定、某些語(yǔ)句形式的使用以及文件編制約定。

　　2.467狀態(tài)圖 state diagram

　　一種有向圖。其中的結(jié)點(diǎn)對(duì)應(yīng)于系統(tǒng)的內(nèi)部狀態(tài)，也對(duì)應(yīng)于遷移;常常用來(lái)通過狀態(tài)的改變來(lái)描述系統(tǒng)。參見2.337條。

　　2.468靜態(tài)分析 static analysis

　　估計(jì)程序而無(wú)需執(zhí)行程序的過程。參見2.146條、2.63條、2.237條、2.545條、2·164條。

　　2.4 69靜態(tài)分析程序 static analyzer

　　一種軟件工具。它有助于分析計(jì)算機(jī)程序而無(wú)需執(zhí)行該程序，例如語(yǔ)法檢驗(yàn)程序、編譯程序、交叉引用表生成程序、標(biāo)準(zhǔn)實(shí)施器以及流程圖。與2.165條相對(duì)照。

　　2.470靜態(tài)結(jié)合 static binding

　　在程序執(zhí)行之前實(shí)現(xiàn)的，執(zhí)行期間不加改變的結(jié)合。與2.166條反義。

　　2.471統(tǒng)計(jì)測(cè)試模型 statistical test model

　　一種模型。它把程序故障與輸入數(shù)據(jù)集(或多個(gè)數(shù)據(jù)集)聯(lián)系起來(lái)。模型也給出了這些故障將引起程序失效的概率。

　　2.472逐步細(xì)化(法) stePwise refinement

　　系統(tǒng)開發(fā)方法學(xué)，在其中首先概括地決定數(shù)據(jù)定義和處理步驟，然后逐步增加細(xì)節(jié)。參見 2.22 2 條、2.526條、2.52條。

　　2.473串 string

　　實(shí)體。如字符或物理元素的線性序列。

　　2.474強(qiáng)類型 strong tyPing

　　一種程序設(shè)計(jì)語(yǔ)言特性。它要求對(duì)每個(gè)數(shù)據(jù)對(duì)象的數(shù)據(jù)類型都作出說明，并排除操作符施用于 不適當(dāng)?shù)臄?shù)據(jù)對(duì)象上的情況。因此，防止了不相容類型的數(shù)據(jù)對(duì)象的相互作用。

　　2.475結(jié)構(gòu)化設(shè)計(jì) structured design

　　進(jìn)行軟件設(shè)計(jì)的一種帶有約束性的方法。它遵循一組指定的規(guī)則。這些規(guī)則是建立在諸如自頂向下設(shè)計(jì)、逐步求精法和數(shù)據(jù)流分析等原則基礎(chǔ)上的。

　　2.476結(jié)構(gòu)化程序 structured Program

　　由一組基本的控制結(jié)構(gòu)構(gòu)造而成的程序。每一個(gè)控制結(jié)構(gòu)有一個(gè)入口點(diǎn)和一個(gè)出口點(diǎn)?？刂平Y(jié)構(gòu)組典型地包括：由兩條或多條指令組成的序列;兩個(gè)或多個(gè)指令或指令序列的條件選擇;一個(gè)指令或指令序列的重復(fù)執(zhí)行。

　　2.477結(jié)構(gòu)化程序設(shè)計(jì) structured Programming

　　a.一種定義良好的軟件開發(fā)技術(shù)。它采用自頂向下設(shè)計(jì)和實(shí)現(xiàn)方法，并嚴(yán)格地使用結(jié)構(gòu)化程序的控制構(gòu)造。

　　b.不嚴(yán)格地講，指組織和編寫程序的一種技術(shù)。這種技術(shù)可簡(jiǎn)化復(fù)雜性，改進(jìn)明晰度，并便于排除隱錯(cuò)和修改。

　　2.478結(jié)構(gòu)化程序設(shè)計(jì)語(yǔ)言 structured programming language

　　一種程序設(shè)計(jì)語(yǔ)言。它提供了結(jié)構(gòu)化程序的構(gòu)造并有利于結(jié)構(gòu)化程序的開發(fā)工作。

　　2.479樁模塊 stub

　　a.在較高級(jí)的模塊和測(cè)試期間所使用的取代低層模塊的虛程序模塊。

　　b.用來(lái)代替程序單位并指明該單位是在別處定義或?qū)⒃趧e處定義的程序語(yǔ)句。

　　2.480分包商 sub-contractor

　　依據(jù)合同向合同當(dāng)事人的一方提供系統(tǒng)、產(chǎn)品或服務(wù)的一個(gè)機(jī)構(gòu)。

　　2.481子程序 subProgram

　　可以被一個(gè)或多個(gè)其它的程序單位所調(diào)用的程序單位。例如，過程、函數(shù)、子例行程序。

　　2.482子例行程序，子例程 subroutine

　　a.一組順序的語(yǔ)句?？稍谝粋€(gè)或多個(gè)計(jì)算機(jī)程序中以及在一個(gè)計(jì)算機(jī)程序內(nèi)的一處或多處使用。

　　b.可以作為另一例行程序一部分的例行程序。

　　c.由調(diào)用語(yǔ)句所調(diào)用的子程序。它可以接受或不接受輸入值，并通過參數(shù)名、程序變量或機(jī)構(gòu)而不是子例行程序名自身來(lái)返回任何輸出值。與2.213條相對(duì)照。參見2.346條。

　　2.483子系統(tǒng) subsystem

　　一組裝配件或部件，或兩者的組合，以實(shí)現(xiàn)單一的功能。

　　2.484管理程序 suPervisor

　　參見2.485條。

　　2.485管理程序 suPervisory Program

　　一種計(jì)算機(jī)程序，通常是操作系統(tǒng)的一部分。它控制其它計(jì)算機(jī)程序的執(zhí)行并且調(diào)節(jié)數(shù)據(jù)處理系統(tǒng)中的工作流程。與 2.190條、 2.484條同義。

　　2.486供方 suPPlier

　　按照所簽的合同向需方提供系統(tǒng)、產(chǎn)品或服務(wù)的一個(gè)機(jī)構(gòu)(是合同當(dāng)事人、生產(chǎn)者、賣方、批發(fā)商的同義詞)。 注：需方可以指定它的機(jī)構(gòu)中的某一部門做為供方。

　　2.487支持軟件 suPPort software

　　用于幫助和支持開發(fā)的軟件。

　　2.488符號(hào)執(zhí)行 symbolic execution

　　一種驗(yàn)證技術(shù)。在這種技術(shù)中，模擬程序的執(zhí)行是使用符號(hào)而不是真實(shí)的值來(lái)代表輸入數(shù)據(jù)，而程序輸出則表示成包含這些符號(hào)的邏輯或數(shù)學(xué)表達(dá)式。

　　2.489語(yǔ)法 syntax

　　a.字符或字符組之間的關(guān)系。這種關(guān)系與它們的含義或它們的解釋及使用的方法無(wú)關(guān)。

　　b.語(yǔ)言中表達(dá)式的結(jié)構(gòu)。

　　c.管轄語(yǔ)言結(jié)構(gòu)的規(guī)則。參見2.424條。

　　2.490系統(tǒng) system

　　a.人、機(jī)器和方法的集合。用來(lái)實(shí)現(xiàn)一組規(guī)定的功能。

　　b.一個(gè)完整的整體。它由種類不同的、相互作用的、專門的結(jié)構(gòu)和子功能部件所組成。

　　c.由某些相互作用或相互依賴關(guān)系聯(lián)合起來(lái)的小組或子系統(tǒng)。它可執(zhí)行多種職能，但是作為一個(gè)單位而發(fā)揮其作用。

　　2.491系統(tǒng)體系結(jié)構(gòu) system architecture

　　系統(tǒng)各部件之間的結(jié)構(gòu)和關(guān)系。系統(tǒng)體系結(jié)構(gòu)也可以包括系統(tǒng)和它的運(yùn)行環(huán)境之間的界面。

　　2.492系統(tǒng)設(shè)計(jì) system design

　　a.為系統(tǒng)定義硬件和軟件結(jié)構(gòu)、部件、模塊、接口及數(shù)據(jù)，以滿足規(guī)定的系統(tǒng)需求的過程。

　　b.系統(tǒng)設(shè)計(jì)過程的結(jié)果。

　　2.493系統(tǒng)文檔 system documentation

　　表達(dá)系統(tǒng)的需求、設(shè)計(jì)思想、設(shè)計(jì)細(xì)節(jié)、能力、限制，以及其它特性的文檔。與2.536條相對(duì)照。

　　2.494系統(tǒng)庫(kù) system library

　　駐留于系統(tǒng)中的受控軟件的集合?？晒┐嫒『褪褂?，或通過引用而合并到其它程序中去。例如，在需要時(shí)由連接編輯程序合并到某程序中去的一組例行程序。參見2.447條。

　　2.495系統(tǒng)可靠性 system reliability

　　包括全部硬件和軟件子系統(tǒng)在內(nèi)的某個(gè)系統(tǒng)在規(guī)定的環(huán)境中及規(guī)定的時(shí)間里正確執(zhí)行所要求的任務(wù)或使命的概率。參見2.318條、2.454條。

　　2.496系統(tǒng)軟件 system software

　　管理、使用和維護(hù)計(jì)算機(jī)系統(tǒng)資源的軟件。例如，操作系統(tǒng)、編譯程序、實(shí)用程序。與2.25條相對(duì)照。

　　2.497系統(tǒng)測(cè)試 system testing

　　測(cè)試整個(gè)硬件和軟件系統(tǒng)的過程。以驗(yàn)證系統(tǒng)是否滿足規(guī)定的需求。參見2.6條、2.381條。

　　2.498系統(tǒng)確認(rèn) system validation

　　參見2.538條。

　　2.499系統(tǒng)驗(yàn)證 system verification

　　參見2.539條。

　　2.500表格table

　　a.數(shù)據(jù)的一個(gè)陣列，其中每一項(xiàng)均可借助于一個(gè)或多個(gè)變?cè)宄赜枰詷?biāo)識(shí)。

　　b.數(shù)據(jù)的一個(gè)集合，其中每一項(xiàng)可由標(biāo)號(hào)、位置，或按某些其它方法唯一地標(biāo)識(shí)。

　　2.501目標(biāo)語(yǔ)言 target language

　　由源語(yǔ)句翻譯成的語(yǔ)言。與2.459條相對(duì)照。

　　2.502目標(biāo)機(jī) target machine

　　a.打算在其上運(yùn)行程序的計(jì)算機(jī)。

　　b.由另一臺(tái)計(jì)算機(jī)加以模擬的計(jì)算機(jī)。與2.226條相對(duì)照。

　　2.503任務(wù) task

　　構(gòu)成活動(dòng)的基本元素，由若干個(gè)任務(wù)構(gòu)成一項(xiàng)活動(dòng)。

　　2.504終止性證明 termination Proof

　　正確性證明中的一項(xiàng)內(nèi)容，它證明在全部規(guī)定的輸入條件下，程序?qū)⒔K止。

　　2.505測(cè)試臺(tái) test bed

　　a.測(cè)試環(huán)境。其中包括測(cè)試系統(tǒng)或系統(tǒng)部件所必須的硬件、探測(cè)工具、模擬程序，以及其它支持軟件。

　　b.在測(cè)試系統(tǒng)或系統(tǒng)的部件時(shí)所必需的全部測(cè)試用例的匯集。

　　2.506測(cè)試用例 test case

　　測(cè)試數(shù)據(jù)及與之相關(guān)的測(cè)試規(guī)程的一個(gè)特定的集合。它是為了特定目的(如考察特定程序路徑或驗(yàn)證是否符合特定的需求)而產(chǎn)生出來(lái)的。參見2.520條。

　　2.507測(cè)試用例生成器 test case generator

　　參見2.38條。

　　2.508測(cè)試范圍 test coverage

　　一個(gè)范圍，在此范圍內(nèi)測(cè)試程序測(cè)試系統(tǒng)需求能否滿足。

　　2.509測(cè)試數(shù)據(jù) test data

　　用來(lái)測(cè)試系統(tǒng)或系統(tǒng)部件的數(shù)據(jù)。參見2.506條。

　　2.510 測(cè)試數(shù)據(jù)生成器 test data generator

　　參見 2.38條。

　　2.511測(cè)試驅(qū)動(dòng)程序 test driver

　　一種驅(qū)動(dòng)程序。它調(diào)用被測(cè)試的對(duì)象，它還可以提供測(cè)試輸入并報(bào)告測(cè)試結(jié)果。

　　2.512測(cè)試日志 test log

　　按年月日所做的測(cè)試活動(dòng)的全部有關(guān)細(xì)節(jié)的記錄。

　　2.513測(cè)試階段 test phase

　　軟件生存周期中的一段時(shí)間。在此期間對(duì)軟件產(chǎn)品的部件進(jìn)行評(píng)價(jià)且進(jìn)行集成。并評(píng)價(jià)軟件產(chǎn)品以確定需求是否已得到滿足。

　　2.514測(cè)試計(jì)劃 test plan

　　一個(gè)文件，它敘述了對(duì)于預(yù)定的測(cè)試活動(dòng)將要采取的途徑。典型的計(jì)劃中包括：標(biāo)識(shí)要測(cè)試的項(xiàng) 目、要完成的測(cè)試、測(cè)試進(jìn)度表、人事安排要求、報(bào)告要求、評(píng)價(jià)準(zhǔn)則，以及任何臨界的要求的臨 時(shí)計(jì)劃。

　　2.515測(cè)試規(guī)程 test procedure

　　對(duì)給定的測(cè)試，就其建立、運(yùn)行和結(jié)果估計(jì)所作的詳細(xì)說明。常常把一組有關(guān)的過程組合起來(lái)形成測(cè)試過程文件。

　　2.516測(cè)試可重現(xiàn)性 test rePeatability

　　測(cè)試的一種屬性。指明相同環(huán)境、不同時(shí)間進(jìn)行的測(cè)試是否產(chǎn)生相同的結(jié)果。

　　2.517 測(cè)試報(bào)告 test report

　　描述對(duì)系統(tǒng)或系統(tǒng)部件進(jìn)行的測(cè)試行為及結(jié)果的文件。

　　2.518測(cè)試有效性 test validity

　　完成測(cè)試規(guī)定目標(biāo)的程度。

　　2.519可測(cè)試性 testablility

　　a.軟件的一種性質(zhì)。它表明了既便于測(cè)試準(zhǔn)則的建立又便于就這些準(zhǔn)則對(duì)軟件進(jìn)行評(píng)價(jià)的程度。

　　b.需求的定義便于對(duì)需求進(jìn)行分析以建立測(cè)試準(zhǔn)則的程度。

　　2.520測(cè)試 testing

　　由人工或自動(dòng)方法來(lái)執(zhí)行或評(píng)價(jià)系統(tǒng)或系統(tǒng)部件的過程，以驗(yàn)證它是否滿足規(guī)定的需求;或識(shí)別出期望的結(jié)果和實(shí)際結(jié)果之間有無(wú)差別。比較2.12 8條。

　　2.521吞吐量 throughput

　　對(duì)計(jì)算機(jī)系統(tǒng)在一段時(shí)間內(nèi)實(shí)現(xiàn)工作總量的度量。例如，每天的作業(yè)數(shù)。

　　2.522分時(shí) time sharing

　　a.計(jì)算機(jī)系統(tǒng)的一種操作技術(shù)。它提供了在一臺(tái)處理機(jī)中在時(shí)間上交替進(jìn)行兩個(gè)或多個(gè)進(jìn)程。

　　b.指在一個(gè)計(jì)算機(jī)系統(tǒng)上時(shí)間的交替使用，它能使兩個(gè)或多個(gè)用戶并發(fā)地執(zhí)行計(jì)算機(jī)程序。

　　2.523計(jì)時(shí)分析程序 timing analyzer

　　一種軟件工具。用于估計(jì)或度量計(jì)算機(jī)程序的執(zhí)行時(shí)間或部分計(jì)算機(jī)程序的執(zhí)行時(shí)間。這可通過求每條路徑中指令的執(zhí)行時(shí)間之和得到，或由在程序中的規(guī)定點(diǎn)處插入探頭并度量探頭之間的執(zhí)行時(shí)間而得到。

　　2.524容錯(cuò) toIerance

　　系統(tǒng)在各種異常條件下提供繼續(xù)操作的能力。

　　2.525工具 tool

　　a.參見 2.457條。

　　b.用來(lái)分析軟件或其性能的執(zhí)行時(shí)間而得到。

　　2.526自頂向下toP-down

　　指從層次的最高級(jí)部件處開始，逐步推進(jìn)到較低級(jí)的方法。例如，自頂向下設(shè)計(jì)、自頂向下程序設(shè)計(jì)、自頂向下測(cè)試。與2.52條相對(duì)照。

　　2.527自頂向下設(shè)計(jì) toP-down design

　　由整體到局部逐級(jí)細(xì)化的設(shè)計(jì)過程，即先標(biāo)出系統(tǒng)的主要部件，并把它們分解為較低級(jí)成分，然后重復(fù)進(jìn)行直到不能(或不必)再分解為止。與 2.5 3條相對(duì)照。

　　2.528自頂向下測(cè)試 toP-down testing

　　通過對(duì)較低級(jí)部件進(jìn)行模擬的辦法來(lái)從頂?shù)降字鸩降貦z查按層次方式所構(gòu)造的程序的過程。

　　2.529完全正確性 total correctness

　　在正確性證明中，指出程序的輸出斷言是它的輸入斷言和處理步驟的合乎邏輯的結(jié)果，并且在全部規(guī)定的輸入條件下程序能終止。與2.326條相對(duì)照。

　　2.530蹤跡，追蹤 trace

　　a.計(jì)算機(jī)程序執(zhí)行情況的記錄;它顯示指令執(zhí)行的順序。

　　b.在計(jì)算機(jī)程序執(zhí)行期間出現(xiàn)的全部或某類指令或程序事件的記錄。

　　c.產(chǎn)生一個(gè)蹤跡。

　　2.531追蹤程序 tracer

　　用于追蹤的軟件工具。

　　2.532翻譯程序，轉(zhuǎn)換程序 trandator

　　一種程序。它把。種語(yǔ)言的語(yǔ)句序列變換為另。種語(yǔ)言中的等價(jià)的語(yǔ)句序列。參見 2· 30條、 2.73條、 2.255條。

　　2.533 樹 tree

　　由通過分支互相連接的結(jié)點(diǎn)組成的抽象的層次結(jié)構(gòu)。其中：(a)每個(gè)分支把7個(gè)結(jié)點(diǎn)連接到一個(gè)直屬的下級(jí)結(jié)點(diǎn);(b)有唯一稱為根的一個(gè)結(jié)點(diǎn)，它不附屬于任何其它結(jié)點(diǎn);(c)根之外的每個(gè)結(jié)點(diǎn)只直接從屬于另一個(gè)結(jié)點(diǎn)。

　　2.534類型 type

　　參見2.127條。

　　2.535用戶 user

　　使用可操作的系統(tǒng)完成。項(xiàng)特定的功能的個(gè)人或機(jī)構(gòu)。(可以是買主或需方的同義詞。)

　　2.536用戶文檔 user documentation

　　一套文檔。它為使用系統(tǒng)以期獲得所希望結(jié)果的最終用戶提供系統(tǒng)指令方面的信息。例如，用戶手冊(cè)。與2.493條相對(duì)照。

　　2.537實(shí)用軟件 utility software

　　計(jì)算機(jī)程序或例行程序。設(shè)計(jì)這種程序的目的是為其它應(yīng)用軟件、操作系統(tǒng)或系統(tǒng)用戶提供他們所要求的某些通用支持功能。

　　2.538確認(rèn) validation

　　在軟件開發(fā)過程結(jié)束時(shí)對(duì)軟件進(jìn)行評(píng)價(jià)，以確認(rèn)它和軟件需求是否相一致的過程。參見2·5” 條。

　　2.539驗(yàn)證 verification

　　a.確定軟件開發(fā)周期中的。個(gè)給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過程。參見 2.538條。

　　b.程序正確性的形式說明。參見2.374條。

　　c.評(píng)審、審查、測(cè)試、檢查、審計(jì)等活動(dòng)，或?qū)δ承╉?xiàng)、處理、服務(wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報(bào)告。

　　2.540驗(yàn)證系統(tǒng) verification System

　　參見2.39條。

　　2.541版本 version

　　某一配置項(xiàng)的一個(gè)可標(biāo)識(shí)的實(shí)例。 注：軟件某版本的修改產(chǎn)生一個(gè)新的版本，但它需要配置管理活動(dòng)。

　　2.542虛擬機(jī) virtual machine

　　對(duì)計(jì)算機(jī)及其有關(guān)設(shè)備的功能模擬。

　　2.543虛擬空間 virtual sPace

　　a.計(jì)算機(jī)制圖中的坐標(biāo)空間，空間中的每一單元由用戶定義的坐標(biāo)系表示。

　　b.用戶程序運(yùn)行的一個(gè)邏輯地址空間。

　　2.544虛擬存儲(chǔ)器 virtul storage

　　可以被計(jì)算機(jī)系統(tǒng)的用戶看作可編址主存儲(chǔ)器的存儲(chǔ)空間。在程序運(yùn)行時(shí)虛地址被映射為實(shí)地址。虛擬存儲(chǔ)器的大小由計(jì)算機(jī)系統(tǒng)的編址方式及所能使用的輔助存儲(chǔ)器的總?cè)萘看_定，而不受主存儲(chǔ)器的實(shí)際容量所限制。

　　2.545走查walk-through

　　評(píng)審過程在此過程中設(shè)計(jì)者或程序員引導(dǎo)開發(fā)小組中一名或多名其它成員通讀已書寫的設(shè)計(jì)或編碼，其它成員負(fù)責(zé)提出問題并對(duì)有關(guān)技術(shù)、風(fēng)格、可能的錯(cuò)誤、是否違背開發(fā)標(biāo)準(zhǔn)的地方等進(jìn)行評(píng)論。與2.237條相對(duì)照。
2.101 連接 connection
　　a. 程序的某。部分對(duì)程序另。部分的標(biāo)識(shí)符（即，在另外地方發(fā)現(xiàn)的標(biāo)識(shí)）的引用。參見2.249條。
　　b.為了傳遞信息而在功能部件之間建立的關(guān)系。

2.102 合同 contract
　　通過法律約束當(dāng)事雙方的一個(gè)協(xié)議，或是在一個(gè)機(jī)構(gòu)內(nèi)部為了提供服務(wù)的一個(gè)內(nèi)部協(xié)議，該協(xié)議提供的服務(wù)適用于一個(gè)系統(tǒng)或系統(tǒng)一部分的供應(yīng)、開發(fā)、生產(chǎn)、操作或維護(hù)。

2.103合同所要求的審計(jì) contractually required audit
　　合同所要求的審核過程。一般由需方或由獨(dú)立的機(jī)構(gòu)主持進(jìn)行。此過程對(duì)產(chǎn)品或服務(wù)提供一個(gè)獨(dú)立的評(píng)價(jià)，以決定產(chǎn)品或服務(wù)是否符合它們的需求。

2.104 控制數(shù)據(jù) control data
　　選擇一程序中的操作方式或子方式，給順序流指向，或者直接影響軟件操作的數(shù)據(jù)。

2.105控制語(yǔ)句 control statement
　　影響操作執(zhí)行順序的程序設(shè)計(jì)語(yǔ)言的語(yǔ)句。

2.106控制結(jié)構(gòu) control structure
　　通過計(jì)算機(jī)程序決定控制流的構(gòu)造。參見2.91條。

2.107轉(zhuǎn)換 conversion
　　對(duì)現(xiàn)有軟件進(jìn)行修改，使之在不同環(huán)境工作時(shí)能具有等同的功能，例如，把二個(gè)程序從FOR-TRAN變換成Ad。。把在一臺(tái)計(jì)算機(jī)上運(yùn)行的程序變換成能在另一臺(tái)計(jì)算機(jī)上運(yùn)行的程序。

2.108 協(xié)同例行程序 co-routines
　　彼此能調(diào)用，但不存在上下級(jí)關(guān)系的兩個(gè)或兩個(gè)以上的模塊。

2.109改正性維護(hù) corrective maintenance
　　專門為克服現(xiàn)有故障而進(jìn)行的維護(hù)。參見2.449條。

2.110正確性 correctness
　　a.軟件無(wú)設(shè)計(jì)缺陷和編碼缺陷的程度，即無(wú)故障。
　　b.軟件符合規(guī)定的需求的程度。
　　c.軟件滿足用戶期望的程度。

2.111正確性證明 correctness proof
　　參見 2. 374條。

2.112耦合度 coupling
　　計(jì)算機(jī)程序中模塊之間相互依賴的量度。與2.67條相對(duì)照。

2. 113 臨界的，關(guān)鍵的 critical
　　系指：
　　a. 由于設(shè)計(jì)不當(dāng)，一個(gè)系統(tǒng)或一個(gè)軟件的某些環(huán)節(jié)或部分在運(yùn)行時(shí)超出了臨界范圍，或存在著潛在的、未檢測(cè)出的錯(cuò)誤，會(huì)導(dǎo)致死機(jī)、人員傷害、任務(wù)失敗、數(shù)據(jù)丟失、財(cái)經(jīng)上的損失或?yàn)?zāi)難性的設(shè)備損壞等嚴(yán)重后果?；蛑福?br>　　b.要使用的軟件開發(fā)技術(shù)的成熟程度和有關(guān)的風(fēng)險(xiǎn)。

2.114 關(guān)鍵部分優(yōu)先 critical Piece first
　　軟件開發(fā)的一種途徑。它首先把注意力集中在軟件系統(tǒng)中最關(guān)鍵部分的實(shí)現(xiàn)。關(guān)鍵部分可以根據(jù)所提供的服務(wù)、風(fēng)險(xiǎn)程度、困難程度或其它一些準(zhǔn)則來(lái)確定。
2.115關(guān)鍵段，臨界段 critical section
　　將要被執(zhí)行的一段代碼。其執(zhí)行與另一關(guān)鍵段的代碼的執(zhí)行是互斥的。如果一些代碼段競(jìng)相使用一計(jì)算機(jī)資源和數(shù)據(jù)項(xiàng)時(shí)，就要求這些段互斥地執(zhí)行。

2. 116危急程度 criticality
　　根據(jù)軟件錯(cuò)誤或故障對(duì)系統(tǒng)的開發(fā)和運(yùn)行的影響程度所做的估價(jià)進(jìn)而對(duì)這些軟件錯(cuò)誤或故障進(jìn)行的分類（通常用來(lái)判定是否要對(duì)某一故障進(jìn)行校正，以及何時(shí)予以校正）。

2.117交叉匯編程序 cross assembler
　　在一臺(tái)計(jì)算機(jī)上為另一臺(tái)不同的計(jì)算機(jī)產(chǎn)生目標(biāo)代碼的匯編程序。

2.118交叉編譯程序 cross comPiler
　　在一臺(tái)計(jì)算機(jī)上為另一臺(tái)不同計(jì)算機(jī)產(chǎn)生匯編代碼或目標(biāo)代碼的編譯程序。

2.119數(shù)據(jù) data
　　事實(shí)、概念或指令的形式化的表現(xiàn)形式，它適于由人或自動(dòng)裝置進(jìn)行通信、解釋或處理。參見 2.79條、2.104條、2.179條、2.395條、2.445條。

2. 120 數(shù)據(jù)抽象 data abstraction
　　通過選擇特定的數(shù)據(jù)類型及其相關(guān)的功能特性的辦法，僅僅保持或抽取數(shù)據(jù)的本質(zhì)特性所得的結(jié)果，從而使其與細(xì)節(jié)部分的表現(xiàn)方式分開或把它們隱藏起來(lái)。參見2.235條。

2. 121數(shù)據(jù)庫(kù)，數(shù)據(jù)基 data base
　　a. 一數(shù)據(jù)集，或一數(shù)據(jù)集的部分或全體，它至少包括足夠?yàn)橐唤o定目的或給定數(shù)據(jù)處理系統(tǒng)使用的一個(gè)文件。
　　b. 對(duì)一系統(tǒng)來(lái)說是基本的數(shù)據(jù)集合。

2. 122數(shù)據(jù)字典加 data diCtionary
　　a.軟件系統(tǒng)中使用的所有數(shù)據(jù)項(xiàng)的名字及與這些數(shù)據(jù)項(xiàng)有關(guān)的特性（例如，數(shù)據(jù)項(xiàng)長(zhǎng)度、表示等）的集合。
　　b. 分層數(shù)據(jù)流圖中涉及的數(shù)據(jù)流、數(shù)據(jù)元素、文件、數(shù)據(jù)基和進(jìn)程之定義的集合。

2.12 3數(shù)據(jù)流圖 data flow chart
　　系統(tǒng)的一種圖形表示，其中表示出數(shù)據(jù)源、數(shù)據(jù)匯、存儲(chǔ)和以結(jié)點(diǎn)形式對(duì)數(shù)據(jù)執(zhí)行的處理，以及在結(jié)點(diǎn)間作為連接部分的邏輯數(shù)據(jù)流。與2.124條、2.125條同義。

2.124 數(shù)據(jù)流圖 data flow diagram
　　參見 2. 123條。

2.125數(shù)據(jù)流圖 data flow graph
　　參見 2. 123條。

2.126數(shù)據(jù)結(jié)構(gòu) data structure
　　數(shù)據(jù)項(xiàng)之間的次序安排和可訪問性的一種形式表示，其中不涉及其實(shí)際存儲(chǔ)排列方法。

2.127數(shù)據(jù)類型 data type
　　一類數(shù)據(jù)。用屬于該類的元素和可對(duì)之施行的操作來(lái)表征。例如，整型、實(shí)型、邏輯型。

2.128 排錯(cuò)，調(diào)試 debugging
　　查找、分析和糾正錯(cuò)誤的過程。

2.129排錯(cuò)模型 debugging model
　　參見 2. 180條。

2.130判定表 decision table
　　a.在敘述一問題中要考慮的所有可能發(fā)生的情況及對(duì)每一組可能發(fā)生的情況將要采取的行動(dòng)的一張表。
　　b.對(duì)一組情況及其相應(yīng)動(dòng)作以矩陣形式或列表形式所做的表示。

2.131缺陷 defect
　　參見 2. 198條。

2. 132 定義階段deftnion phase
　　參見2.406條。

2.133交付 delivery
　　a.軟件研制周期中的一個(gè)階段。在此階段上將產(chǎn)品提交給計(jì)劃中的用戶供其使用。
　　b.軟件研制周期中的一個(gè)階段。在此階段上產(chǎn)品由其預(yù)定的用戶接受。 2.134設(shè)計(jì)design
　　a.為使一軟件系統(tǒng)滿足規(guī)定的需求而確定軟件體系結(jié)構(gòu)、部件、模塊、接口、測(cè)試途徑和數(shù)據(jù)的過程。
　　b.設(shè)計(jì)過程的結(jié)果。

2. 135 設(shè)計(jì)分析design analysis
　　a.對(duì)一設(shè)計(jì)進(jìn)行估計(jì)以確定其相對(duì)于預(yù)定需求的正確性、符合設(shè)計(jì)標(biāo)準(zhǔn)的程度、系統(tǒng)效率和是否符合其它一些準(zhǔn)則。
　　b.對(duì)其它替代性設(shè)計(jì)途徑的估計(jì)。

2.136設(shè)計(jì)分析器 desiyn analyzer
　　一種自動(dòng)設(shè)計(jì)工具。它接收有關(guān)程序的設(shè)計(jì)方面的信息，并產(chǎn)生以下方面的輸出，如模塊層次圖、控制和數(shù)據(jù)結(jié)構(gòu)的圖形表示，以及被訪問的數(shù)據(jù)塊的一覽表等。

2.137設(shè)計(jì)審查 desisn insPection
　　參見2.237條。

2.138設(shè)計(jì)語(yǔ)言 design language
　　一種具有專門構(gòu)造，有時(shí)還可驗(yàn)證的語(yǔ)言。用以開發(fā)、分析設(shè)計(jì)并為其書寫文件。

2.139設(shè)計(jì)方法學(xué)desiyn methodology
　　進(jìn)行設(shè)計(jì)的系統(tǒng)途徑。由專門選擇的工具、技術(shù)、準(zhǔn)則的有序應(yīng)用所構(gòu)成。

2.140設(shè)計(jì)階段 desisn phase
　　軟件生存周期中的一段時(shí)間。在這段時(shí)間內(nèi)，進(jìn)行體系結(jié)構(gòu)、軟件組成部分、接口和數(shù)據(jù)的設(shè)計(jì)，為設(shè)計(jì)編制文件，并對(duì)其進(jìn)行驗(yàn)證，以滿足預(yù)定需求。

2.141設(shè)計(jì)需求 desisn requirement
　　影響或限制軟件系統(tǒng)或軟件系統(tǒng)組成部分的設(shè)計(jì)的需求：例如，功能需求、物理需求、性能需求，軟件開發(fā)標(biāo)準(zhǔn)，軟件質(zhì)量保證標(biāo)準(zhǔn)。參見2.407條。

2.142設(shè)計(jì)評(píng)審 desisn review
　　a.在正式會(huì)議上，把系統(tǒng)的初步的或詳細(xì)的設(shè)計(jì)提交給用戶、客戶或有關(guān)人士供其評(píng)審或批準(zhǔn)。
　　b.對(duì)現(xiàn)有的或提出的設(shè)計(jì)所做的正式評(píng)估和審查，其目的是找出可能會(huì)影響產(chǎn)品，過程或服務(wù)工作的適用性和環(huán)境方面的設(shè)計(jì)缺陷并采取補(bǔ)救措施，以及（或者）找出在性能、安全性和經(jīng)濟(jì)方面的可能的改進(jìn)。

2.143設(shè)計(jì)規(guī)格說明 design sPecification
　　一種描述設(shè)計(jì)要求的正式文檔，按照這種文檔對(duì)系統(tǒng)或系統(tǒng)組成部分（如，軟件配置項(xiàng)）進(jìn)行設(shè)計(jì)。典型內(nèi)容包括系統(tǒng)或系統(tǒng)組成部分算法、控制邏輯、數(shù)據(jù)結(jié)構(gòu)設(shè)定與使用（set－use）信息、輸入輸出格式和接口描述。參見2.407條。

2.144設(shè)計(jì)驗(yàn)證 design verification
　　參見2.539條。

2.145設(shè)計(jì)定查 design walk－throngh
　　參見2.545條。

2.146桌面檢查 desk checking
　　對(duì)程序執(zhí)行情況進(jìn)行人工模擬，用逐步檢查源代碼中有無(wú)邏輯或語(yǔ)法錯(cuò)誤的辦法來(lái)檢測(cè)故障。 參見2.468條。

2.147詳細(xì)設(shè)計(jì) detailed design
　　a.推敲并擴(kuò)充初步設(shè)計(jì)，以獲得關(guān)于處理邏輯、數(shù)據(jù)結(jié)構(gòu)和數(shù)據(jù)定義的更加詳盡的描述，直到設(shè)計(jì)完善到足以能實(shí)現(xiàn)的地步。
　　b.詳細(xì)設(shè)計(jì)過程的結(jié)果。

2.148開發(fā)者 develoPer
　　在軟件生存周期中執(zhí)行開發(fā)活動(dòng)（包括需求分析、設(shè)計(jì)直至驗(yàn)收）的一個(gè)機(jī)構(gòu)。

2.149開發(fā)周期 development cycle
　　參見2.438條。

2. 150開發(fā)生存周期 develoPment life cycle
　　參見2.438條。

2.151開發(fā)方法學(xué) develoPment methodology
　　編制軟件的系統(tǒng)方法。它確定開發(fā)的各個(gè)階段，規(guī)定每一階段的活動(dòng)、產(chǎn)品、驗(yàn)證步驟和完成準(zhǔn)則。

2. 152開發(fā)規(guī)格說明 development specifocation
　　與2.407條同義。

2. 153診斷 diagnstic
　　a.計(jì)算機(jī)程序產(chǎn)生的信息。它用來(lái)指示另一系統(tǒng)組成部分中可能的故障。例如，由編譯程序標(biāo)識(shí)的語(yǔ)法錯(cuò)誤。
　　b.涉及故障或失效的探測(cè)和隔離。

2.154有向圖 digraph
　　參見 2. 155條。

2.155定向圖 directed graph
　　一種圖，其中的邊均是單方向的。

2.156文檔，文件 document
　　a.一種數(shù)據(jù)媒體和其上所記錄的數(shù)據(jù)。它具有永久性并可以由人或機(jī)器閱讀。通常僅用于描述人工可讀的內(nèi)容。例如，技術(shù)文件、設(shè)計(jì)文件、版本說明文件。
　　b.編制文件。

2. 157文檔、文檔編制，文檔管理documentation
　　a.關(guān)于一給定主題的文件集合。參見2.536條、2.443條、2.493條。
　　b. 文檔管理可能包括下述活動(dòng)：對(duì)文檔的識(shí)別、獲取、處理、存儲(chǔ)和發(fā)放。
　　c.產(chǎn)生一個(gè)文檔的過程。
　　d.為了對(duì)活動(dòng)、需求、過程或結(jié)果進(jìn)行描述、定義、規(guī)定、報(bào)告或認(rèn)證的任何書面或圖示的信
息。

2.158文檔級(jí) documentation leVel
　　參見 2. 263條。

2.159驅(qū)動(dòng)程序 driver
　　一個(gè)程序。它借助模擬較高一級(jí)的系統(tǒng)組成部分的辦法來(lái)履行系統(tǒng)或系統(tǒng)組成部分的作用。參見 2.511條。

2.160雙份編碼dualcoding
　　一種開發(fā)技術(shù)。由不同的程序員或不同的程序設(shè)計(jì)小組，根據(jù)同一份規(guī)格說明書開發(fā)出功能上完全相同的程序的兩個(gè)版本。所獲得的源代碼可以采用同一種語(yǔ)言，也可以采用不同的語(yǔ)言。雙份編碼的目的在于提供錯(cuò)誤檢測(cè)，提高可靠性，提供附加的文件說明，或使系統(tǒng)的程序設(shè)計(jì)錯(cuò)誤或編譯程序錯(cuò)誤影響最終結(jié)果的概率降低。

2.161虛參數(shù) dummy parameter
　　參見 2. 211條。

2.162卸出，轉(zhuǎn)儲(chǔ) dumP
　　a.已被轉(zhuǎn)儲(chǔ)的數(shù)據(jù)。
　　b.為了某一專門目的。如允許存儲(chǔ)器另作它用，或作為預(yù)防故障和錯(cuò)誤的措施；或?yàn)榱诉M(jìn)行與排除錯(cuò)誤有關(guān)的工作，將一存儲(chǔ)器（通常是內(nèi)部存儲(chǔ)器）的全部或部分內(nèi)容寫到外部媒體上。

2.163動(dòng)態(tài)分配 dynamic allocation
　　把可編址的存儲(chǔ)器和其它資源分配給正在執(zhí)行的程序。

2.164動(dòng)態(tài)分析 dynamic analysis
　　根據(jù)程序的執(zhí)行情況對(duì)程序進(jìn)行估計(jì)的過程。與2.468條相對(duì)照。

2. 165動(dòng)態(tài)分析器 dynamic analyzer
　　借助對(duì)程序執(zhí)行情況的監(jiān)督，幫助對(duì)計(jì)算機(jī)程序進(jìn)行估計(jì)的軟件工具。例如探測(cè)工具、軟件監(jiān)督器和跟蹤器。與2.469相對(duì)照。
2.166動(dòng)態(tài)結(jié)合，動(dòng)態(tài)聯(lián)編 dynamic binding
　　在程序執(zhí)行期間進(jìn)行的結(jié)合。與2.470相對(duì)照。
2.167動(dòng)態(tài)重組 dynamic restructuring
　　a.一系統(tǒng)正在運(yùn)行時(shí)，改變軟件組成部分或結(jié)構(gòu)的過程。
　　b.在程序執(zhí)行期間重新組合數(shù)據(jù)庫(kù)或數(shù)據(jù)結(jié)構(gòu)的過程。

2.168編輯程序editor
　　可以對(duì)計(jì)算機(jī)中所存儲(chǔ)的數(shù)據(jù)進(jìn)行有選擇性的修正的計(jì)算機(jī)程序。

2.16 9效率 efficiency
　　軟件以最小的計(jì)算資源消耗實(shí)現(xiàn)其預(yù)定功能的程度。

2.170無(wú)效程序設(shè)計(jì) egoless Programming
　　在對(duì)程序開發(fā)采用小組負(fù)責(zé)制的概念的基礎(chǔ)上進(jìn)行軟件開發(fā)的一種方式。
　　其目的是防止程序員 與其產(chǎn)生的輸出的關(guān)系過于密切，以免使客觀估計(jì)受到損害。

2.171嵌入式計(jì)算機(jī)系統(tǒng)一bedded computer system
　　歸結(jié)在一個(gè)其主要目的不是進(jìn)行計(jì)算的較大系統(tǒng)中成為其完整不可分開的部分的計(jì)算機(jī)系統(tǒng)。
　　例如，在武器、航空、指揮控制、或運(yùn)輸系統(tǒng)中的計(jì)算系統(tǒng)。

2.172嵌入式軟件 embedded software
　　嵌入式計(jì)算機(jī)系統(tǒng)用的軟件。

2.173仿真 emulation
　　用一個(gè)計(jì)算機(jī)系統(tǒng)，主要是通過硬件，模仿另一個(gè)計(jì)算機(jī)系統(tǒng)的全部或部分功能，使進(jìn)行模仿的系統(tǒng)接受的數(shù)據(jù)、執(zhí)行的程序和實(shí)現(xiàn)的結(jié)果均與被模仿的系統(tǒng)所接受的數(shù)據(jù)，執(zhí)行的程序和實(shí)現(xiàn)的結(jié)果相同。

2.174仿真器 emullator
　　執(zhí)行仿真的硬件、軟件或固件。

2.175封裝 encapsulation
　　將系統(tǒng)功能隔離在一個(gè)模塊中，并為該模塊提供精確的規(guī)格說明的技術(shù)。參見 2. 2 3 5條。

2.176錯(cuò)誤，出錯(cuò)，誤差 error
　　a.計(jì)算、觀察、測(cè)量的值或條件與實(shí)際的、規(guī)定的或理論上的值或條件不符合。
　　b.導(dǎo)致產(chǎn)生含有缺陷的軟件的人為行動(dòng)。例如，遺漏或誤解軟件說明書中的用戶需求，不正確的翻譯或遺漏設(shè)計(jì)規(guī)格說明書中的需求。參見2.192條、2.198條。

2.177出錯(cuò)分析 error analysis
　　a. 對(duì)觀察到的軟件故障進(jìn)行調(diào)查的過程，調(diào)查的目的是跟蹤那個(gè)故障以找出故障源。
　　b.對(duì)觀察到的軟件故障進(jìn)行調(diào)查以找出以下一些信息，例如故障原因。該故障是在開發(fā)過程中哪一個(gè)階段發(fā)生的，預(yù)防或較早地探測(cè)出軟件故障的方法。
　　c.調(diào)查軟件錯(cuò)誤、失效和故障以確定定量速率和趨勢(shì)的過程。

2. 178出錯(cuò)類別 error category
　　錯(cuò)誤、故障或失效可能歸并到其中的“組類別之二，當(dāng)錯(cuò)誤、故障或失效發(fā)生或發(fā)現(xiàn)后，可根據(jù)其原因、危急程度、效果、故障所屬的生存周期階段或其它特性而確定其類別。

2.179出錯(cuò)數(shù)據(jù)error data
　　出錯(cuò)數(shù)據(jù)通常（但不是精確地）用于：描述軟件的問題、故障、失效及其更動(dòng)，它們的特性，以及遇到或改正這些問題的條件。

2.180出錯(cuò)模型 error model
　　用于描述或估計(jì)一軟件系統(tǒng)存在的故障數(shù)目、可靠性、需要的測(cè)試時(shí)間或類似特性。參見 2. 181 條。

2.181出錯(cuò)預(yù)測(cè) error Prediction
　　對(duì)有關(guān)軟件系統(tǒng)中軟件問題、故障或失效的預(yù)期目的或性質(zhì)所作的定量陳述。參見 2. 180條。

2.182出錯(cuò)預(yù)測(cè)模型 error Prediction model
　　參見2.180條。

2.183出錯(cuò)恢復(fù) error recovery
　　參見2.197條。

2.184錯(cuò)誤的撒播 error seeding
　　參見2.201條。

2.185評(píng)價(jià) evaluation
　　決定某產(chǎn)品、項(xiàng)目、活動(dòng)或服務(wù)是否符合它的規(guī)定的準(zhǔn)則的過程。

2.186異常 excePtion
　　引起正常程序執(zhí)行掛起的事件。

2.187執(zhí)行 execution
　　由計(jì)算機(jī)運(yùn)行計(jì)算機(jī)程序中一條或多條指令的過程。

2.188執(zhí)行時(shí)間 execution time
　　a. 執(zhí)行一個(gè)程序所用的實(shí)際時(shí)間或中央處理機(jī)所用的時(shí)間。
　　b.程序處于執(zhí)行過程中的一段時(shí)間間隔。參見 2. 418條。

2.189執(zhí)行時(shí)間理論 execution time theory
　　采用累計(jì)執(zhí)行時(shí)間作為估計(jì)軟件可靠性基礎(chǔ)的一種理論。

2.190執(zhí)行程序 executive program
　　參見2.485條。

2.191退出，終止，出口 exit
　　a. 計(jì)算機(jī)程序、例程或子例程中的一條指令。在執(zhí)行它之后，該計(jì)算機(jī)程序、例程或子例程就不再具有控制權(quán)。
　　b.例程不再具有控制權(quán)的轉(zhuǎn)折點(diǎn)。

2.192失效 failure
　　a.功能部件執(zhí)行其功能的能力的喪失。
　　b.系統(tǒng)或系統(tǒng)部件喪失了在規(guī)定的限度內(nèi)執(zhí)行所要求功能的能力。當(dāng)遇到故障情況時(shí)系統(tǒng)就可能失效。
　　c.程序操作背離了程序需求。

2.193失效類別 failur category
　　參見2.178條。

2.194失效數(shù)據(jù) failure data
　　參見2.179條。

2.195失效率 failure rate
　　a.失效數(shù)與給定測(cè)量單位的比率；例如，每單位時(shí)間的失效次數(shù)、若干次事務(wù)處理中的失效次數(shù)，若干次計(jì)算機(jī)運(yùn)行中的失效次數(shù)。
　　b.在可靠性模擬中，給定類別或具有一定嚴(yán)重程度的失效數(shù)與給定時(shí)間間隔之比率；例如，每秒執(zhí)行時(shí)間的失效次數(shù)，每月失效次數(shù)。與2.196條同義。

2. 196失效比 failurer ratio
　　參見 2. 195條。

2.197失效恢復(fù) failure recovery
　　系統(tǒng)失效后又回到可靠的運(yùn)行狀態(tài)。

2.198故障，缺陷 fauIt
　　a. 功能部件不能執(zhí)行所要求的功能。
　　b.在軟件中表示 2.176b關(guān)于錯(cuò)誤的解釋。如果遇到，它可能引起失效。與 2. 5 4條同義。
　　2.199故障類別 fault category
　　參見 2. 178條。

2.200故障插入 fauIt insertion
　　參見 2.201條。