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

　　本標(biāo)準(zhǔn)結(jié)構(gòu)如下：
　　a．詞條按英文對(duì)應(yīng)詞字母順序排列；
　　b．如果一個(gè)術(shù)語(yǔ)有一個(gè)以上的定義，則分別加以說(shuō)明;
　　c．凡必要的地方用例子來(lái)說(shuō)明定義;
　　d．為了說(shuō)明本標(biāo)準(zhǔn)中一個(gè)術(shù)語(yǔ)與另一些術(shù)語(yǔ)的關(guān)系，使用了下述詞語(yǔ):
　　——比較…... 指補(bǔ)充性的術(shù)語(yǔ); ——與…相對(duì)照：指一個(gè)具有相反含義的或本質(zhì)上不同意義的術(shù)語(yǔ)；
　　——與…同義：指同義的術(shù)語(yǔ);
　　——參見(jiàn)…：指讓讀者參見(jiàn)推薦使用的或與之關(guān)系密切的術(shù)語(yǔ)。
　　——還可參見(jiàn)…：指一有關(guān)術(shù)語(yǔ)。

　　1 主題內(nèi)容與適用范圍

本標(biāo)準(zhǔn)定義軟件工程領(lǐng)域中通用的術(shù)語(yǔ)，適用于軟件開(kāi)發(fā)、使用維護(hù)、科研、教學(xué)和出版等方面。

　　2 術(shù)語(yǔ)

2.1 夭折，異常終止 abort
　　在一過(guò)程完成之前被迫終止

2.2 絕對(duì)機(jī)器代碼 absolute machine code
　　每次使用時(shí)必須裝入固定存儲(chǔ)單元且不能再定位的機(jī)器語(yǔ)言代碼。與2.399條相對(duì)照。

2.3 抽象機(jī) abstract machine
　　a. 過(guò)程或機(jī)器的一種表示。
　　b．一個(gè)模塊，它象一臺(tái)機(jī)器那樣處理輸入。

2.4 抽象 abstraction
　　a．對(duì)某一問(wèn)題的概括。它抽取與某一特定目標(biāo)相關(guān)的本質(zhì)的內(nèi)容而忽略非本質(zhì)的內(nèi)容。
　　b．形成上述抽象的過(guò)程。

2.5 驗(yàn)收準(zhǔn)則 accePtance criterion
　　軟件產(chǎn)品要符合某一測(cè)試階段必須滿足的準(zhǔn)則，或軟件產(chǎn)品滿足交貨要求的準(zhǔn)則。

2.6 驗(yàn)收測(cè)試 accePtance testing
　　確定一系統(tǒng)是否符合其驗(yàn)收準(zhǔn)則，使客戶能確定是否接收此系統(tǒng)的正式測(cè)試。參見(jiàn)2.381條、2.497條。

2.7 可接近性 accessibility
　　使組成軟件的各部分便于選擇使用或維護(hù)的程度

2.8 訪問(wèn)控制機(jī)制 access-control mechanism
　　為使某一計(jì)算機(jī)系統(tǒng)或計(jì)算機(jī)系統(tǒng)的某一部分允許被獲準(zhǔn)者和防止未獲準(zhǔn)者接觸、訪問(wèn)而設(shè)計(jì)的硬件或軟件的特性、操作過(guò)程或管理過(guò)程。

2.9 準(zhǔn)確，準(zhǔn)確度 accuracy
　　a. 無(wú)誤差的一種品質(zhì)
　　b. 無(wú)誤差程序的一種定性估計(jì)，估計(jì)越高，對(duì)應(yīng)的誤差越小。
　　c. 誤差大小的一種度量，最好表示成相對(duì)誤差的函數(shù)，其準(zhǔn)確度越高，對(duì)應(yīng)的誤差越小。
　　d. 對(duì)無(wú)誤差程度的一種定量估計(jì)。與2.341條相對(duì)照。

2.10 需方 acquirer
　　從供方獲得或得到一個(gè)系統(tǒng)、產(chǎn)品或服務(wù)的一個(gè)機(jī)構(gòu)。
　　注：需方可以是買(mǎi)主、客戶、擁有者、用戶、采購(gòu)人圓荊。

2.11 獲取 acquisition
　　得到一個(gè)系統(tǒng)、一個(gè)產(chǎn)品或一項(xiàng)服務(wù)的過(guò)程。

2.12 活動(dòng)文件 active file
　　尚未超過(guò)終止時(shí)間的文件。

2.13 活動(dòng) activity
　　一個(gè)過(guò)程的組成元素；
　　注 ：對(duì)基線的改變要經(jīng)有關(guān)當(dāng)局的正式批準(zhǔn)。

2.14 實(shí)參 actual parameter
　　在調(diào)用子程序時(shí)用來(lái)指定數(shù)據(jù)或要傳輸給該子程序的程序元素的數(shù)值或表達(dá)式。與 2.211條相對(duì)照。

2.15 適應(yīng)性 adaPtability
　　使不同的系統(tǒng)約束條件和用戶需求得到滿足的容易程度。

2.16 適應(yīng)性維護(hù) adaptive maintenance
　　為使軟件產(chǎn)品在改變了的環(huán)境下仍能使用而進(jìn)行的維護(hù)。

2.17地址 address
　　a. 標(biāo)識(shí)一寄存器、存儲(chǔ)器特定部分、或其他一些數(shù)據(jù)來(lái)源或目的地的一個(gè)或一組字符。
　　b.用來(lái)指定一設(shè)備或一個(gè)數(shù)據(jù)項(xiàng)。

2.18 地址空間 address space
　　計(jì)算機(jī)機(jī)程序可以有效利用的地址范圍。

2.19 算法 algorithm
　　a. 用有限步數(shù)求解某問(wèn)題的一套明確定義的規(guī)則的集合；例如，求sin（x）到給定精度的一系列算術(shù)運(yùn)算的完整的說(shuō)明。
　　b.定義良好的規(guī)則的有限集合，它給出完成一特定任務(wù)的運(yùn)算序列。

2.20 算法分析 algorithm analysis
　　對(duì)一算法的檢查。目的在于確定與其預(yù)期的用途有關(guān)的正確性，確定其運(yùn)行特性，或?yàn)榱烁浞值乩斫饽骋凰惴ㄒ员銓?duì)其進(jìn)行修改、簡(jiǎn)化或改進(jìn)。

2.21 別名 alias
　　a. 某一項(xiàng)目的另一個(gè)名字。
　　b. 一個(gè)替換標(biāo)號(hào)。例如，可以使用一個(gè)標(biāo)號(hào)和一個(gè)或多個(gè)別名來(lái)指示計(jì)算機(jī)程序中同一數(shù)據(jù)元素或點(diǎn)。

2.22 分析階段 analysis phase
　　參見(jiàn) 2.406條.

2.23 分析模型 analytical model
　　用一組可解方程來(lái)表示一個(gè)過(guò)程或一個(gè)現(xiàn)象。與2.430條相對(duì)照。

2.24 面向應(yīng)用的語(yǔ)言 annlicatlon－orientedl language
　　a. 一種面向計(jì)算機(jī)的語(yǔ)言，具有用于某種單一應(yīng)用領(lǐng)域的手段或記號(hào)；例如，用于統(tǒng)計(jì)分析或機(jī)器設(shè)計(jì)的語(yǔ)言。
　　b. 一種面向問(wèn)題的語(yǔ)言，其語(yǔ)句包含或匯集了用戶職業(yè)的術(shù)語(yǔ)。

2.25 應(yīng)用軟件 application software
　　解決屬于專(zhuān)用領(lǐng)域的，非計(jì)算機(jī)本身問(wèn)題的軟件。

2.26 體系結(jié)構(gòu) architecture
　　參見(jiàn)2.353條、2.491條。

2.27 體系結(jié)構(gòu)設(shè)計(jì) architectural design
　　a. 定義一組硬件和軟件元素及其接口的過(guò)程，其目的是為開(kāi)發(fā)一計(jì)算機(jī)系統(tǒng)而建立其主體結(jié)構(gòu)。
　　b. 體系結(jié)構(gòu)設(shè)計(jì)過(guò)程的結(jié)果。

2.28 人工語(yǔ)言 artificial language
　　參見(jiàn)2.210條。

2.29 匯編 assemble
　　把用匯編語(yǔ)言表示的程序翻譯成機(jī)器語(yǔ)言，有時(shí)還要連接子程序。實(shí)現(xiàn)匯編的常用方法是用機(jī)器語(yǔ)言操作碼代替匯編語(yǔ)言操作碼，并用絕對(duì)地址、中間地址、浮動(dòng)地址或虛擬地址來(lái)代替符號(hào)地址。與2.72條、2.254條相對(duì)照。

2.30 匯編程序 assemb
　　用于進(jìn)行匯編的計(jì)算機(jī)程序。與2.73條、2.255條相對(duì)照。

2.31 匯編語(yǔ)言 assembly language
　　a. 一種面向計(jì)算機(jī)的語(yǔ)言，其指令與計(jì)算機(jī)指令通常是—一對(duì)應(yīng)的，且能提供使用宏指令的便利。與 2.279條、2.225條相對(duì)照。參見(jiàn) 2.72條、2.73條。
　　b．一種特定機(jī)器語(yǔ)言，其指令通常和計(jì)算機(jī)指令—一對(duì)應(yīng)。

2.32 斷言 assertion
　　一種邏輯表達(dá)式，規(guī)定必須存在的一種程序狀態(tài)，或規(guī)定在程序執(zhí)行過(guò)程中某一特定點(diǎn)上程序變量必須滿足的條件集合，例如，A為正且A＞B。參見(jiàn)2.236條、2.322條。

2.33 賦值語(yǔ)句 assignment statement
　　用于表達(dá)一系列操作，或用于把操作數(shù)賦給指定變量，或符號(hào)，或變量和符號(hào)兩者的指令。

2.34 審計(jì) audit
　　a. 為評(píng)估是否符合軟件需求、規(guī)格說(shuō)明、基線、標(biāo)準(zhǔn)、過(guò)程、指令、代碼以及合同和特殊要求而進(jìn)行的一種獨(dú)立的檢查。參見(jiàn)2.63條。
　　b．通過(guò)調(diào)查研究確定已制定的過(guò)程、指令、規(guī)格說(shuō)明、代碼和標(biāo)準(zhǔn)或其它的合同及特殊要求是底恰當(dāng)和被遵守，以及其實(shí)現(xiàn)是否有效而進(jìn)行的活動(dòng)。

2.35 自動(dòng)設(shè)計(jì)工具 automated design tool
　　幫助進(jìn)行軟件設(shè)計(jì)的綜合、分析、模擬或文檔編制的軟件工具。自動(dòng)設(shè)計(jì)工具的例子如：仿真器、分析工具、設(shè)計(jì)表示處理器和文件生成器。

2.36 自動(dòng)測(cè)試用例生成器 automated test case generator
　　參見(jiàn)2．38條。

2.37 自動(dòng)測(cè)試數(shù)據(jù)生成器 automated test data generator
　　參見(jiàn)2．38條。

2.38 自動(dòng)測(cè)試生成器 automated test generator
　　一種軟件工具，它以計(jì)算機(jī)程序和準(zhǔn)則作為輸入，產(chǎn)生滿足這些準(zhǔn)則要求的測(cè)試輸入數(shù)據(jù)，有時(shí)還確定預(yù)期的結(jié)果。

2.39 自動(dòng)驗(yàn)證系統(tǒng) automated verification system
　　一種軟件工具，以計(jì)算機(jī)程序及其規(guī)格的表示作為輸入（可能借助人的幫助），產(chǎn)生該程序的正確與否的證明。參見(jiàn)2.40條。

2.40 自動(dòng)驗(yàn)證工具 automated verification tools
　　用于評(píng)估軟件開(kāi)發(fā)過(guò)程中的產(chǎn)品的一類(lèi)軟件工具。這些工具有助于驗(yàn)證正確性、完全性、一致性、可跟蹤性、可測(cè)試性，以及檢查是否遵守了標(biāo)準(zhǔn)。軟件驗(yàn)證工具包括設(shè)計(jì)分析器、自動(dòng)驗(yàn)證系統(tǒng)、靜態(tài)分析器、動(dòng)態(tài)分析器和標(biāo)準(zhǔn)實(shí)施器。

2.41 可用性 availability
　　a．軟件在投入使用時(shí)能實(shí)現(xiàn)其指定的系統(tǒng)功能的概率。
　　b．系統(tǒng)正常工作時(shí)間和總的運(yùn)行時(shí)間之比。
　　c．在運(yùn)行時(shí)，某一配置項(xiàng)實(shí)現(xiàn)指定功能的能力。

2.42 可用性模型 availability model
　　用于預(yù)測(cè)、估計(jì)、判定可用性的模型。

2.43 后備，后援 back－up
　　發(fā)生系統(tǒng)失效或?yàn)?zāi)害時(shí)，為恢復(fù)數(shù)據(jù)文件或軟件，重新起動(dòng)處理，使用備份計(jì)算機(jī)設(shè)備而做的準(zhǔn)備。

2.44 基線 baseline
　　a. 業(yè)已經(jīng)過(guò)正式審核與同意，可用作下一步開(kāi)發(fā)的基礎(chǔ)，并且只有通過(guò)正式的修改管理步驟方能加以修改的規(guī)格說(shuō)明或產(chǎn)品。
　　b．在配置項(xiàng)目生存周期的某一特定時(shí)間內(nèi)，正式指定或固定下來(lái)的配置標(biāo)識(shí)文件和一組這樣的文件。基線加上根據(jù)這些基線批準(zhǔn)同意的改動(dòng)構(gòu)成了當(dāng)前配置標(biāo)識(shí)。對(duì)于配置管理，有以下三種基線：
　　功能基線——最初通過(guò)的功能配置；
　　分配基線——最初通過(guò)的分配的配置；
　　品基線——最初通過(guò)的或有條件地通過(guò)的產(chǎn)品配置。

2.45 開(kāi)始——結(jié)束塊 begin－endblock
　　由begin和end分隔符括起來(lái)的設(shè)計(jì)或程序語(yǔ)句序列。其特征是具有單一的入口和單一的出口。

2.46 協(xié)約（名），聯(lián)編，約束，結(jié)合 binding
　　把一個(gè)值或指定的對(duì)象（referent）賦給某一標(biāo)識(shí)符。例如，把一個(gè)值賦給一個(gè)參數(shù)或把一絕對(duì)地址、虛擬地址或設(shè)備標(biāo)識(shí)符分配給計(jì)算機(jī)程序中的符號(hào)地址或標(biāo)號(hào)。參見(jiàn)2．166條、2．470條。

2.47 塊（名），阻滯（動(dòng)） blOCk
　　a. 由某些技術(shù)或邏輯原因形成的被當(dāng)作一個(gè)實(shí)體看待的一串記錄、一串字或一字符串。
　　b. 作為一個(gè)單元而記錄下來(lái)的一組連續(xù)的記錄。塊與塊之間用間隙分隔，每一塊可以包含一個(gè)或多個(gè)記錄。
　　c．被當(dāng)作一個(gè)單元而加以傳送的一組二進(jìn)制位數(shù)或N進(jìn)制位數(shù)。通常對(duì)這組二進(jìn)制位數(shù)或N進(jìn)制位數(shù)采用某種編碼步驟以達(dá)到出錯(cuò)控制的目的。
　　d．作為一個(gè)單元來(lái)處理的事物，如字、字符或數(shù)字的集合。
　　e．參見(jiàn)2．354條。
　　f．系統(tǒng)中的某些操作因某種原因，暫時(shí)不能繼續(xù)執(zhí)行。

2.48 框圖 block diagram
　　表示某一系統(tǒng)、計(jì)算機(jī)或設(shè)備的圖，圖中主要部分由加有適當(dāng)注釋的幾何圖形來(lái)表示，用以說(shuō)明這些主要部分的基本功能及其功能關(guān)系。與2．209條相對(duì)照。

2.49 塊 結(jié)構(gòu)語(yǔ)言 block－structured language
　　一種程序設(shè)計(jì)語(yǔ)言，在這種語(yǔ)言中，語(yǔ)句序列通常是由begin和end界限符劃界。參見(jiàn)2．3 54條。

2.50 引導(dǎo)程序 bootstraP
　　a．一段短的計(jì)算機(jī)程序，常駐計(jì)算機(jī)或很容易裝入計(jì)算機(jī)。引導(dǎo)程序的執(zhí)行能把另一個(gè)較大的程序，如操作系統(tǒng)或其裝入程序引入內(nèi)存。
　　b．一組指令，它能使另外的指令被裝入直到全部計(jì)算機(jī)程序都存入存儲(chǔ)器中為止。
　　c．借助自身的動(dòng)作而使其達(dá)到所希望的狀態(tài)的一種技術(shù)或設(shè)備；例如，一段機(jī)器子程序，其前幾條指令足以使其余部分指令從輸入設(shè)備輸入到計(jì)算機(jī)中。
　　d．用于建立計(jì)算機(jī)程序另一版本的部分計(jì)算機(jī)程序。
　　e．使用一引導(dǎo)程序。

2.51 引導(dǎo)裝入程序 bootstraP loader
　　使用預(yù)置計(jì)算機(jī)操作以裝入引導(dǎo)程序的一種輸入例行程序。

2.52 自底向上 bottom－uP
　　一種方法，這種方法從層次結(jié)構(gòu)的最低層軟件組成部分開(kāi)始，逐級(jí)向上直至最高層組成成分為 止，例如，自底向上設(shè)計(jì)、自底向上程序設(shè)計(jì)、自底向上測(cè)試等。與2．526條相對(duì)照。

2.53 自底向上設(shè)計(jì) bottom－uP design

　　從最基本的或原始的部分著手，逐級(jí)進(jìn)入到較高層部分的系統(tǒng)設(shè)計(jì)方法。與2．527條相對(duì)照。

2.54 隱錯(cuò)，缺陷bug
　　參見(jiàn)2．198條。

2.55 隱錯(cuò)撒播 bug seeding
　　參見(jiàn)2．201條。

2.56 構(gòu)件 build
　　軟件產(chǎn)品的一個(gè)工作版本，其中包含最終產(chǎn)品將擁有的能力的一個(gè)規(guī)定的子集。

2.57 構(gòu)件塊 building block
　　較高一級(jí)程序或模塊使用的一個(gè)單元或模塊。

2.58（分）情況語(yǔ)句 case
　　能根據(jù)控制表達(dá)式的值對(duì)有限個(gè)程序語(yǔ)句進(jìn)行選擇性執(zhí)行的多分支條件語(yǔ)句。參見(jiàn)2．106條。

2.59認(rèn)證 Certif1Cation
　　a．一個(gè)系統(tǒng)或計(jì)算機(jī)程序符合其規(guī)定的需求的一種書(shū)面保證。
　　b．一種書(shū)面認(rèn)可書(shū)，說(shuō)明某計(jì)算機(jī)系統(tǒng)是可靠的，可以在一確定的環(huán)境中工作或產(chǎn)生合理的信息。
　　c．為使系統(tǒng)獲準(zhǔn)投入運(yùn)行性使用，對(duì)系統(tǒng)的可接受性所做的正式演示。
　　d．證實(shí)一系統(tǒng)、軟件子系統(tǒng)或計(jì)算機(jī)程序在其運(yùn)行環(huán)境中能滿足規(guī)定的需求的過(guò)程。認(rèn)證通常在實(shí)際條件下的現(xiàn)場(chǎng)中進(jìn)行，不僅用于估價(jià)軟件本身，而且用于估價(jià)作為軟件設(shè)計(jì)依據(jù)的規(guī)格說(shuō)明。認(rèn)證使驗(yàn)證和確認(rèn)的過(guò)程擴(kuò)充到實(shí)際的或模擬的運(yùn)行環(huán)境中。
　　e．一正式的權(quán)威機(jī)構(gòu)根據(jù)可付諸實(shí)施的需求以書(shū)面形式確定、驗(yàn)證和證明人圓勁處理、過(guò)程或條款為合格所采取的步驟和行動(dòng)。

2.60 鏈接表 chained list
　　一種表，在這種表中各個(gè)項(xiàng)目可以是分散的，但每項(xiàng)都含有指出下一項(xiàng)位置的標(biāo)識(shí)符。與2.269 條同義。

2．61更動(dòng)管理 change control
　　提議作一項(xiàng)更動(dòng)并對(duì)其進(jìn)行估計(jì)、同意或拒絕、調(diào)度和跟蹤的過(guò)程。

2.62 代碼，編碼 code
　　a.一組無(wú)歧義性的規(guī)則，它規(guī)定了使數(shù)據(jù)得以用某種離散形式加以表示的方式。
　　b.用處理機(jī)可以接受的符號(hào)形式表示數(shù)據(jù)或計(jì)算機(jī)程序。
　　c.書(shū)寫(xiě)例行程序。
　　d.也可指一個(gè)或多個(gè)計(jì)算機(jī)程序，或計(jì)算機(jī)程序一部分。 已為了安全的目的對(duì)數(shù)據(jù)進(jìn)行的加密表示。

2.63 代碼審計(jì) code audit
　　由某人、某小組、或借助某種工具對(duì)源代碼進(jìn)行的獨(dú)立的審查，以驗(yàn)證其是否符合軟件設(shè)計(jì)文件和程序設(shè)計(jì)標(biāo)準(zhǔn)。還可能對(duì)正確性和有效性進(jìn)行估計(jì)。參見(jiàn)2．34條、2．468條、2．237條、2．545條。

2.64 代碼生成器 code generator
　　一個(gè)程序或程序功能，常常屬于編譯程序的一部分，它把計(jì)算機(jī)程序從某種中間級(jí)表示（通常為語(yǔ)法分析程序的輸出）變換成較為低級(jí)的表示，如匯編代碼或機(jī)器代碼。

2．65 代碼審查 code inspection
　　參見(jiàn)2.237條。

2.66 代碼走查 code walk－through
　　參見(jiàn)2.545條。

2.67 內(nèi)聚度cohesion
　　單個(gè)程序模塊所執(zhí)行的諸任務(wù)在功能上的互相關(guān)聯(lián)的程度。與2·112條相對(duì)照。

2.68 命令語(yǔ)言 command language
　　一組過(guò)程性的操作符及與之有關(guān)的語(yǔ)法，用來(lái)指明交給操作系統(tǒng)執(zhí)行的功能。

2.69 注釋 comment
　　a.在計(jì)算機(jī)程序、命令語(yǔ)言或數(shù)據(jù)之間的說(shuō)明信息，旨在給讀者提供澄清性材料，并不影響機(jī)器的解釋工作。
　　b.加到或散置在源語(yǔ)言語(yǔ)句當(dāng)中的描述、附注或解釋?zhuān)谀繕?biāo)語(yǔ)言中這些是無(wú)效的。

2.70 比較器 comparator
　　用來(lái)比較兩個(gè)計(jì)算機(jī)程序、文件或數(shù)據(jù)集合的一種軟件工具，目的是找出其共同點(diǎn)或不同的地 方。比較的典型對(duì)象是源代碼、目標(biāo)（代）碼、數(shù)據(jù)基文件的相似版本或測(cè)試結(jié)果。

2.71 兼容性 compatibility
　　a.兩個(gè)或兩個(gè)以上系統(tǒng)運(yùn)行同一軟件可得到同樣結(jié)果的能力。
　　b.兩個(gè)或兩個(gè)以上系統(tǒng)處理同樣的數(shù)據(jù)文件可得到同樣結(jié)果的能力。 比較2.253條。

2.72 編譯 comPile
　　將高級(jí)語(yǔ)言程序變換成與之等價(jià)的浮動(dòng)的或絕對(duì)的機(jī)器代碼。與2．29條相對(duì)照。

2.73 編譯程序 comPtler
　　用于進(jìn)行編譯的一種計(jì)算機(jī)程序。與2．30條、2．255條對(duì)照。

2.74 編譯程序的編譯程序 compiler compiler
　　參見(jiàn)2.75。

2.75 編譯程序的生成程序 compiler generator
　　用來(lái)構(gòu)造編譯程序的翻譯程序或解釋程序。與 2．290條同義。

2.76 復(fù)雜性 comPlexity
　　系統(tǒng)或系統(tǒng)組成部分的復(fù)雜程度，由下述因素確定，如：接口的數(shù)量和錯(cuò)綜程度，條件轉(zhuǎn)移的數(shù)量和錯(cuò)綜程度，嵌套的深度，數(shù)據(jù)結(jié)構(gòu)的類(lèi)型，以及其它一些系統(tǒng)特性。

2.77 部件，組成部分comPonent
　　系統(tǒng)或程序的基本部分。
　　a. 能執(zhí)行大量計(jì)算，包括許多算術(shù)和邏輯運(yùn)算，而在運(yùn)行期間無(wú)需操作員干預(yù)的一種功能裝置。
　　b．由一臺(tái)或多臺(tái)相聯(lián)的處理機(jī)和外圍設(shè)備組成的一種可編程序的功能裝置，這種裝置由內(nèi)部存儲(chǔ)的程序控制，可執(zhí)行大量的計(jì)算（許多算術(shù)運(yùn)算和邏輯運(yùn)算）而無(wú)需人的干預(yù)。

2.79 計(jì)算機(jī)數(shù)據(jù) comPuter data
　　計(jì)算機(jī)設(shè)備和計(jì)算機(jī)設(shè)備之間或計(jì)算機(jī)設(shè)備內(nèi)部通信用的數(shù)據(jù)。這種數(shù)據(jù)可以是外部的（計(jì)算機(jī)可讀形式），也可以是駐留在計(jì)算機(jī)設(shè)備內(nèi)的，可以是模擬信號(hào)，也可以是數(shù)字信號(hào)。

2.80 計(jì)算機(jī)網(wǎng)絡(luò) comPuter network
　　由兩個(gè)或兩個(gè)以上按一定的協(xié)議互連的計(jì)算機(jī)組成的復(fù)合體。

2.81 計(jì)算機(jī)程序 comPuter Programt
　　按照具體要求產(chǎn)生的適合于計(jì)算機(jī)處理的指令序列。 參見(jiàn)2．352條。

2.82 計(jì)算機(jī)程序摘要 comPuter Program abstract
　　對(duì)計(jì)算機(jī)程序的簡(jiǎn)短敘述，給用戶提供足夠的信息，使他們能據(jù)此確定該計(jì)算機(jī)程序是否適合其需要及所擁有的資源。

2.83計(jì)算機(jī)程序注釋 comPuter Program Annotaion
　　參見(jiàn)2．69條。

2.84 計(jì)算機(jī)程序認(rèn)證 comPuter Program certification
　　參見(jiàn)2．59條。

2.85 計(jì)算機(jī)程序配置標(biāo)識(shí) comPuter Program certificationn identification
　　參見(jiàn)2。96條。

2.86 計(jì)算機(jī)程序開(kāi)發(fā)計(jì)劃 computer program development plan
　　參見(jiàn) 2． 441條。

2.87 計(jì)算機(jī)程序確認(rèn) comPuter Program validation
　　參見(jiàn) 2． 538條。

2.88 計(jì)算機(jī)程序驗(yàn)證 comPuter Program verification
　　參見(jiàn) 2． 539條。

2.89 計(jì)算機(jī)系統(tǒng) inputer system
　　由一臺(tái)或多臺(tái)計(jì)算機(jī)和相關(guān)軟件組成的一種功能裝置。

2.90 并發(fā)進(jìn)程 concurrent processes
　　可以同時(shí)地在多處理機(jī)上執(zhí)行或異步地在單處理機(jī)上執(zhí)行的若干進(jìn)程。各并發(fā)進(jìn)程可以相互作用，一個(gè)進(jìn) 程在接受另一進(jìn)程的信息之前或一外部事件出現(xiàn)之前可以把執(zhí)行掛起。與2.426相對(duì)照。

2.91 條件控制結(jié)構(gòu) conditionnal control structure
　　一種程序設(shè)計(jì)控制結(jié)構(gòu)，它允許程序中使用根據(jù)指定條件的滿足情況而加以選擇的控制流。例如，按情況、如果…··唄小…··否則……。

2.92 配置 configuration
　　a.計(jì)算機(jī)系統(tǒng)或網(wǎng)絡(luò)按照其功能部件的特點(diǎn)、數(shù)量和主要特性而確定的排列。具體地講，配置一詞可以指硬件配置或軟件配置。
　　b.為確定系統(tǒng)或系統(tǒng)組成部分的特定版本而提出的需求、設(shè)計(jì)和實(shí)現(xiàn)。
　　c.在技術(shù)文檔中制定的并在產(chǎn)品中體現(xiàn)的硬件、軟件的功能和（或）物理特性。

2.93、配置審計(jì) configuration audit
　　證明所要求的全部配置項(xiàng)均已產(chǎn)生出來(lái)，當(dāng)前的配置與規(guī)定的需求相符。技術(shù)文件說(shuō)明書(shū)完全而準(zhǔn)確地描述了各個(gè)配置項(xiàng)目，并且曾經(jīng)提出的所有更動(dòng)請(qǐng)求均已得到解決的過(guò)程。

2.94配置控制 configuration control
　　a.在配置項(xiàng)的配置標(biāo)識(shí)正式確定之后，對(duì)配置項(xiàng)的更動(dòng)情況所做的估價(jià)、協(xié)調(diào)、批準(zhǔn)或不批準(zhǔn)的過(guò)程。
　　b.在配置項(xiàng)的配置標(biāo)識(shí)正式確定之后，對(duì)配置項(xiàng)所進(jìn)行的有系統(tǒng)的估價(jià)、協(xié)調(diào)、所表示的批準(zhǔn)或不批準(zhǔn)。以及配置中被批準(zhǔn)的更動(dòng)的具體實(shí)現(xiàn)過(guò)程。

2.95 配置控制委員會(huì) configuration control board
　　對(duì)提出的工程上的更動(dòng)負(fù)責(zé)進(jìn)行估價(jià)、審批，對(duì)核準(zhǔn)進(jìn)行的更動(dòng)確保其實(shí)現(xiàn)的權(quán)力機(jī)構(gòu)。

2.96 配置標(biāo)識(shí) configuration identification
　　a.標(biāo)出系統(tǒng)中的配置項(xiàng)并對(duì)其特性進(jìn)行記錄的過(guò)程。
　　b.經(jīng)批準(zhǔn)同意的確定一配置項(xiàng)的文件說(shuō)明書(shū)。
　　c.當(dāng)前已批準(zhǔn)的或有條件地批準(zhǔn)的針對(duì)一配置項(xiàng)的技術(shù)文檔說(shuō)明，如載于規(guī)格說(shuō)明中的圖和相關(guān)的表及文檔說(shuō)明。

2.97 配置項(xiàng) configuration item
　　a.為了配置管理目的而作為一個(gè)單位來(lái)看待的硬件和／或軟件成分。
　　b.滿足最終應(yīng)用功能并被指名用于配置管理的硬件／軟件，或它們的集合體。 配置項(xiàng)在復(fù)雜性、規(guī)模和型號(hào)上差異甚大，可從航空、電子或船舶系統(tǒng)到測(cè)試儀表甚至一發(fā)子彈 在開(kāi)發(fā)和初始生產(chǎn)階段，配置項(xiàng)就是合同中（或與之相當(dāng)?shù)膬?nèi)部協(xié)定中）直接引用的說(shuō)明項(xiàng)。在亞三 一行和維護(hù)期間，被指明要分別獲得的任何可維護(hù)的項(xiàng)也是配置項(xiàng)。

2.98 配置管理 configuration management
　　a.標(biāo)識(shí)和確定系統(tǒng)中配置項(xiàng)的過(guò)程，在系統(tǒng)整個(gè)生存周期內(nèi)控制這些項(xiàng)的投放和吏動(dòng)，記錄并報(bào)告配置的狀態(tài)和更動(dòng)要求，驗(yàn)證配置項(xiàng)的完整性和正確性。參見(jiàn)2.61條、2.96條、2.94條、2.99條、2.3條。
　　b.對(duì)下列工作進(jìn)行技術(shù)和行政指導(dǎo)與監(jiān)督的一套規(guī)范：
　　——對(duì)一配置項(xiàng)的功能和物理特性進(jìn)行標(biāo)識(shí)和文件編制工作；
　　——控制這些特性的更動(dòng)情況；
　　——記錄并報(bào)告對(duì)這些更動(dòng)進(jìn)行的處理和實(shí)現(xiàn)的狀態(tài)。

2.99 配置狀態(tài)報(bào)告 configuration status accounting
　　記錄和報(bào)告為有效地管理某一配置所需的信息。包括列出經(jīng)批準(zhǔn)的配置標(biāo)識(shí)表、列出對(duì)配置提出更動(dòng)的狀態(tài)表和經(jīng)批準(zhǔn)的更動(dòng)的實(shí)現(xiàn)狀態(tài)。

2.100 監(jiān)護(hù) confinement
　　a.在被核準(zhǔn)訪問(wèn)期間，防止對(duì)數(shù)據(jù)做未經(jīng)核準(zhǔn)的改變、使用、破壞和拋棄。參見(jiàn) 2.247條。
　　b.對(duì)程序和進(jìn)程施加的限制，目的是使它們不能訪問(wèn)或影響未經(jīng)核準(zhǔn)的數(shù)據(jù)、程序或進(jìn)程。

2.201 故障撒播 fault seeding

　　為了估計(jì)程序中的固有故障數(shù)，有意地在計(jì)算機(jī)程序已有的故障上添加已知數(shù)目的故障的過(guò)程。與2.55條同義。

　　2.202容錯(cuò) fault tolerance

　　在出現(xiàn)有限數(shù)目的硬件或軟件故障的情況下，系統(tǒng)仍可連續(xù)正確運(yùn)行的內(nèi)在能力。

　　2.203功能性配置審計(jì) FCA—functionl configuration audit

　　驗(yàn)證一個(gè)配置項(xiàng)的實(shí)際工作性能是否符合它的需求規(guī)格說(shuō)明的一項(xiàng)審查，以便為軟件的設(shè)計(jì)和編碼建立一個(gè)基線。

　　2.204文件，文卷 file

　　作為一個(gè)單位來(lái)看待的一組相關(guān)的記錄。參見(jiàn)2.276條。

　　2.205有限狀態(tài)機(jī) finite state machine

　　由有限個(gè)狀態(tài)及這些狀態(tài)之間變遷構(gòu)成的計(jì)算模型。

　　2.2 0 6固件 firmware

　　a.裝于某類(lèi)存儲(chǔ)器中的在處理期間不能由計(jì)算機(jī)動(dòng)態(tài)地修改的計(jì)算機(jī)程序和數(shù)據(jù)。參見(jiàn) 2.292 條、2.293條。

　　b.含有在用戶環(huán)境下不能修改、不會(huì)丟失的計(jì)算機(jī)程序和數(shù)據(jù)的器件。包含在固件中的計(jì)算機(jī)程序和數(shù)據(jù)歸類(lèi)為軟件;含有計(jì)算機(jī)程序和數(shù)據(jù)的電路歸類(lèi)為硬件。

　　c.存儲(chǔ)在只讀存儲(chǔ)器中的程序指令。

　　d.由硬件裝置和計(jì)算機(jī)程序集成形成一個(gè)功能實(shí)體的組件，在正常運(yùn)行期間該實(shí)體配置不能改變。計(jì)算機(jī)程序存儲(chǔ)在集成電路形式的硬件裝置中，邏輯配置是固定的，以滿足具體應(yīng)用或工作需求。

　　2.207標(biāo)志 flag

　　a.通知出現(xiàn)了某種錯(cuò)誤、狀態(tài)或其它條件的指示符。

　　b.用于表示各種指示符中的任何一種。例如，字標(biāo)。

　　c.通知出現(xiàn)了一定條件。如字的結(jié)束的字符。

　　d.指示程序中的錯(cuò)誤、狀態(tài)，或其它規(guī)定條件。

　　2.208控制流 flow of control

　　在執(zhí)行某一算法時(shí)所完成的操作序列。

　　2.209流程圖 flowchart

　　問(wèn)題定義、分析或求解的二種圖形表示。在這種表示中，用符號(hào)表示操作、數(shù)據(jù)、流程和設(shè)備。與 2.48相對(duì)照。

　　2.210形式語(yǔ)言 formal language

　　一種語(yǔ)言，其規(guī)則在使用前就已明顯地確立。與 2.2 8條同義。例如 FORTRAN和Ada等程序設(shè)計(jì)語(yǔ)言，以及諸如謂詞演算之類(lèi)的數(shù)學(xué)或邏輯語(yǔ)言。與2.307條對(duì)照。

　　2.211形參 formal parameter

　　子程序中使用的變量。用來(lái)表示調(diào)用例行程序時(shí)要傳送給子程序的數(shù)據(jù)或程序元素。與2.161 條同義。與2.14條相對(duì)照。

　　2.212正式規(guī)格說(shuō)明、形式規(guī)格說(shuō)明 formal sPecification

　　a.根據(jù)已建立的標(biāo)準(zhǔn)書(shū)寫(xiě)并獲準(zhǔn)的規(guī)格說(shuō)明。

　　b.在正確性證明中，對(duì)一系統(tǒng)或系統(tǒng)組成部分外部可見(jiàn)行為用形式語(yǔ)言進(jìn)行的描述。

　　2.213正式測(cè)試 formal testing

　　根據(jù)已批準(zhǔn)的測(cè)試計(jì)劃進(jìn)行測(cè)試活動(dòng)并報(bào)告結(jié)果。

　　2.214功能，函數(shù) function

　　a.一實(shí)體或其特征動(dòng)作能實(shí)現(xiàn)特定目的能力。

　　b.由自變量的值可得到確定結(jié)果的特定于程序。函數(shù)通常用函數(shù)名來(lái)調(diào)用，計(jì)算函數(shù)值的變量以參數(shù)的形式提供。

　　2.215功能分解 functional decomposition

　　設(shè)計(jì)系統(tǒng)的一種方法。這種方法把系統(tǒng)分成若干部分，使其直接與系統(tǒng)功能和子功能對(duì)應(yīng)。參見(jiàn) 2.222條。

　　2.216功能設(shè)計(jì) functional design

　　制定數(shù)據(jù)處理系統(tǒng)各部分的功能及相互之間接口的規(guī)格說(shuō)明。參見(jiàn)2.343條。

　　2.217功能需求 functional requirement

　　規(guī)定系統(tǒng)或系統(tǒng)組成部分必須能夠執(zhí)行的功能的需求。

　　2.218 功能規(guī)格說(shuō)明 functional sPecification

　　確定系統(tǒng)或系統(tǒng)組成部分必須執(zhí)行的功能的規(guī)格說(shuō)明。參見(jiàn)2.336條。

　　2.219功能部件 functional unit

　　能實(shí)現(xiàn)某一特定目標(biāo)的硬件、軟件或兩者兼而有之的實(shí)體。

　　2.220硬件 hardware

　　數(shù)據(jù)處理中使用的物理設(shè)備，相對(duì)計(jì)算機(jī)程序、過(guò)程、規(guī)則和相關(guān)的文件而言。與2.433條相對(duì)照。

　　2.221硬件配置項(xiàng) HCI—hardware configuration item

　　整個(gè)系統(tǒng)體系結(jié)構(gòu)中的硬件的一個(gè)配置項(xiàng)。

　　2.222層次結(jié)構(gòu)分解 hierarchical decomPosition

　　設(shè)計(jì)系統(tǒng)的一種方法。這種方法通過(guò)一系列自頂向下逐步求精的辦法把系統(tǒng)分成若干部分。參見(jiàn) 2.215條、2.298條、2.472條。

　　2.223層次結(jié)構(gòu) hierarchy

　　一種結(jié)構(gòu)。其組成部分根據(jù)一組特定的規(guī)則排列成若干層次。

　　2.224高級(jí)語(yǔ)言 hish level language

　　與 2.225同義。

　　2.225高級(jí)語(yǔ)言higher order language

　　一種程序設(shè)計(jì)語(yǔ)言。它通常包括如下一些特點(diǎn)：嵌套表達(dá)式、用戶定義的數(shù)據(jù)類(lèi)型和通常在低級(jí)語(yǔ)言中沒(méi)有的參數(shù)傳遞;它不反映任何一臺(tái)計(jì)算機(jī)或一類(lèi)計(jì)算機(jī)的結(jié)構(gòu)，從而可以用它書(shū)寫(xiě)與機(jī)器無(wú)關(guān)的源程序。一個(gè)單一的高級(jí)語(yǔ)言語(yǔ)句可以表示多個(gè)機(jī)器操作。與2·279條、2·31條相對(duì)照。

　　2.226宿主機(jī) host machine

　　a.程序或文件所裝入的計(jì)算機(jī)。

　　b.用以開(kāi)發(fā)供另一臺(tái)計(jì)算機(jī)用的軟件的計(jì)算機(jī)。與 2· 502條相對(duì)照。

　　c.用以模仿另一臺(tái)計(jì)算機(jī)的計(jì)算機(jī)。與2·502條相對(duì)照。

　　d.在計(jì)算機(jī)網(wǎng)絡(luò)中，為該網(wǎng)絡(luò)的用戶提供處理能力的計(jì)算機(jī)。

　　2.227標(biāo)識(shí)符identifier

　　a.用以命名、指示或定位的符號(hào)。標(biāo)識(shí)符可以和數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)項(xiàng)或程序位置相關(guān)聯(lián)。

　　b.用以標(biāo)識(shí)。數(shù)據(jù)項(xiàng)或給。數(shù)據(jù)項(xiàng)命名，也可能指出該數(shù)據(jù)某些特性的一個(gè)或一組字符。

　　2.228不完全的隱錯(cuò)排除 imPerfect debugging

　　在可靠性模擬中，糾正或清除已經(jīng)發(fā)現(xiàn)故障的意圖并非總是成功的一種假定。

　　2.229實(shí)現(xiàn) imPlementation

　　a.以較為具體的項(xiàng)來(lái)體現(xiàn)。抽象的概念;特別是用硬件、軟件或兩者一起來(lái)體現(xiàn)一抽象的概念。

　　b.程序的一種機(jī)器可執(zhí)行形式，或者能被自動(dòng)地翻譯成機(jī)器可執(zhí)行的形式的某種形式的程序。

　　c.把設(shè)計(jì)翻譯成代碼，然后對(duì)此代碼排除隱錯(cuò)的過(guò)程。

　　2.230實(shí)現(xiàn)階段 imPlementation Phase

　　軟件生存周期中的一段時(shí)間。在這段時(shí)間內(nèi)，根據(jù)設(shè)計(jì)文件制造軟件產(chǎn)品并排除其中的隱錯(cuò)。參 見(jiàn) 2.238條、2.513條。

　　2.231實(shí)現(xiàn)需求implementation requ1rement

　　對(duì)軟件設(shè)計(jì)的實(shí)現(xiàn)產(chǎn)生影響或限制的任何需求。例如，設(shè)計(jì)描述沁軟件開(kāi)發(fā)標(biāo)準(zhǔn)丸程序設(shè)計(jì)語(yǔ)言 需求、軟件質(zhì)量保證標(biāo)準(zhǔn)等。

　　2.232獨(dú)立驗(yàn)證和確認(rèn) independent verification and validation

　　a.由某機(jī)構(gòu)對(duì)軟件產(chǎn)品進(jìn)行的驗(yàn)證和確認(rèn)，該機(jī)構(gòu)在技術(shù)上和行政管理上都與負(fù)責(zé)開(kāi)發(fā)該軟件產(chǎn)品的機(jī)構(gòu)是分開(kāi)的。

　　b.由個(gè)人或小組對(duì)軟件產(chǎn)品進(jìn)行的驗(yàn)證和確認(rèn)。這些個(gè)人或小組不是軟件產(chǎn)品的原始設(shè)計(jì)人，但可以和后者同屬一個(gè)機(jī)構(gòu)。獨(dú)立的程度取決于該軟件的重要性。

　　2.233原有故障 indigenous fault

　　計(jì)算機(jī)程序中存在的一種故障。這種故障不是作為故障撒播過(guò)程的一部分而插入的。

　　2.234歸納斷言法 inductive assertion method

　　一種正確性證明技術(shù)。采用這種技術(shù)時(shí)要寫(xiě)出描述程序輸入、輸出和中間條件的斷言，推導(dǎo)出當(dāng) 輸入條件滿足時(shí)，使輸出條件得到滿足的一一組定理，并且這些定理被證明是成立的。

　　2.235信息隱蔽 information hiding

　　將模塊中的軟件設(shè)計(jì)決策封裝起來(lái)的技術(shù)，使模塊內(nèi)部工作情況盡可能少在模塊的接口處暴露。這樣，系統(tǒng)中每個(gè)模塊對(duì)其它模塊而言是個(gè)“黑盒子”。信息隱蔽的原則禁止使用在模塊接口中沒(méi)有說(shuō)明的信息。參見(jiàn)2·175條。

　　2.236輸入斷言 inPut assertion

　　邏輯表達(dá)式。它規(guī)定了程序的輸入必須滿足的一個(gè)或多個(gè)條件。

　　2.237審查 insPection

　　a.一種正式的評(píng)定技術(shù)。由除作者之外的某人或某一小組仔細(xì)檢查軟件需求、設(shè)計(jì)或代碼，以找出故障、違反開(kāi)發(fā)標(biāo)準(zhǔn)之處和其它一些問(wèn)題。與 2.545條相對(duì)照。參見(jiàn) 2.63條。

　　b.質(zhì)量管理的一個(gè)階段。在此階段借助檢查。觀察或測(cè)量來(lái)確定材料、必須品、零部件、附屬 品、系統(tǒng)、過(guò)程或結(jié)構(gòu)是否符合預(yù)定的質(zhì)量要求。

　　2.238 安裝檢驗(yàn)階段 installation and check-out phase

　　軟件生存周期中的一段時(shí)間。在此時(shí)間內(nèi)，軟件產(chǎn)品被結(jié)合到工作環(huán)境中，并在該環(huán)境中加以測(cè) 試，以保證它能按照要求進(jìn)行工作。

　　2.239指令 instruction

　　a.使計(jì)算機(jī) 執(zhí)行一個(gè)特定操作或執(zhí)行一組特定操作的程序語(yǔ)句。

　　b.在程序設(shè)計(jì)語(yǔ)言中，規(guī)定某種操作，且如果有操作數(shù)則對(duì)操作數(shù)進(jìn)行標(biāo)識(shí)的一個(gè)有含義的表述。

　　2.240指令集合(指令系統(tǒng)) instruction set

　　計(jì)算機(jī)的指令集合，程序設(shè)計(jì)語(yǔ)言指令集合，或程序設(shè)計(jì)系統(tǒng)中程序設(shè)計(jì)語(yǔ)言的指令集合。

　　2.241指令集合結(jié)構(gòu) instruction set architecture

　　用指令集合表征的抽象機(jī)。

　　2.242指令跟蹤 instruction trace

　　參見(jiàn) 2.530條。

　　2.24 3探測(cè) instrumentation

　　參見(jiàn) 2.358條。

　　2.244探測(cè)工具 instrumentation tool

　　一種軟件工具。它在被測(cè)程序中的適當(dāng)位置上產(chǎn)生并插入起計(jì)數(shù)器或其它探頭作用的語(yǔ)句，以提供有關(guān)程序執(zhí)行情況的統(tǒng)計(jì)數(shù)字，如程序中的代碼被執(zhí)行到的覆蓋程度。

　　2.245集成 integration

　　把軟件、硬件元素或兩者合成為一個(gè)完整的系統(tǒng)的過(guò)程。

　　2.246組裝測(cè)試 integration testing

　　有序進(jìn)行的一種測(cè)試。這種測(cè)試中，把軟件元素、硬件元素或兩者一并進(jìn)行測(cè)試，直到整個(gè)系統(tǒng) 成為一體。參見(jiàn)2.497條。

　　2.247完整性 integrity

　　在計(jì)算機(jī)系統(tǒng)中，對(duì)軟件或數(shù)據(jù)所受到的未經(jīng)獲準(zhǔn)的存取或修改可加以控制的程度。參見(jiàn)2.420 條。

　　2.248交互系統(tǒng) interactive system

　　指這樣一個(gè)系統(tǒng)。在這種系統(tǒng)中，每一個(gè)用戶的輸入均能得到該系統(tǒng)的響應(yīng)。

　　2.249接口，界面 interface

　　a .一個(gè)共有的邊界。接口可能是連接兩個(gè)設(shè)備的硬件組成部分，也可能是由兩個(gè)或多個(gè)計(jì)算機(jī)程序所訪問(wèn)的一部分存儲(chǔ)器或寄存器。

　　b.與另一系統(tǒng)組成部分的交互作用或通信。

　　2.250接口需求 Interface requirement

　　規(guī)定一個(gè)系統(tǒng)或系統(tǒng)組成部分必須與之接口的硬件、軟件或數(shù)據(jù)庫(kù)元素的需求。或由這樣一個(gè)接口而引起的對(duì)格式、時(shí)間關(guān)系或其它因素提出的條件。

　　2.251接口規(guī)格說(shuō)明 interface sPecification

　　規(guī)定系統(tǒng)或系統(tǒng)組成部分的接口需求的規(guī)格說(shuō)明。

　　2.252接口測(cè)試 interface testing

　　為確保程序或系統(tǒng)組成部分彼此正確地傳遞信息或控制而進(jìn)行的測(cè)試。

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

　　a .兩個(gè)或多個(gè)系統(tǒng)交換信息并相互使用已交換的信息的能力。與2.71條相比較。

　　b.兩個(gè)或兩個(gè)以上系統(tǒng)可互相操作的能力。

　　2.254解釋 interPret

　　逐條翻譯并立即執(zhí)行計(jì)算機(jī)程序的每一源語(yǔ)言語(yǔ)句。與2.29條、2.72條相對(duì)照。

　　2.255解釋程序，解釋器 interPreter

　　a.用來(lái)解釋計(jì)算機(jī)程序的軟件、硬件或固件。與2.30條、2.73條相對(duì)照。

　　b.用于進(jìn)行解釋的計(jì)算機(jī)程序。

　　2.256中斷 interruPt

　　把一進(jìn)程(如計(jì)算機(jī)程序)的執(zhí)行暫停。這一暫停是由該進(jìn)程之外的事件引起的，中斷處理后，被暫停的進(jìn)程應(yīng)能恢復(fù)。

　　2.257迭代 iteration

　　a.重復(fù)執(zhí)行給定的程序設(shè)計(jì)語(yǔ)言語(yǔ)句序列，直到滿足給定條件或當(dāng)給定條件為真時(shí)為止的過(guò)程。

　　b.對(duì)循環(huán)的一次執(zhí)行。

　　2.258核心，內(nèi)核 kernel

　　a.操作系統(tǒng)的基礎(chǔ)，操作系統(tǒng)的最小的不可缺少的部分。

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

　　c.在計(jì)算機(jī)選擇研究中用以評(píng)價(jià)計(jì)算機(jī)性能的模型。

　　2.259關(guān)鍵字 key

　　數(shù)據(jù)集合中的一個(gè)或多個(gè)字符。它含有有關(guān)該集合的信息，包括其標(biāo)識(shí)。

　　2.260標(biāo)號(hào) label

　　a.數(shù)據(jù)集合內(nèi)或附加于數(shù)據(jù)集合上的一個(gè)或多個(gè)字符。其中含有有關(guān)該集合的信息，包括其標(biāo)識(shí)。

　　b.在計(jì)算機(jī)程序設(shè)計(jì)中，指令的標(biāo)識(shí)符。

　　c.一個(gè)帶或盤(pán)文件的標(biāo)識(shí)記錄。

　　2.261語(yǔ)言處理程序 language processor

　　a.一種計(jì)算機(jī)程序。它執(zhí)行這樣一些功能，諸如處理指定程序設(shè)計(jì)語(yǔ)言所需的翻譯、解釋功能和其它任務(wù)。例如FORTRAN處理程序、COBOL處理程序。

　　b.一種軟件工具。它完成這樣一些功能，諸如處理指定的語(yǔ)言(如需求規(guī)格說(shuō)明語(yǔ)言、設(shè)計(jì)語(yǔ)言或程序設(shè)計(jì)語(yǔ)言)所需的翻譯、解釋或其它任務(wù)。

　　2.262級(jí)層 level

　　a.一個(gè)項(xiàng)在某一層次排列中下屬的級(jí)數(shù)。

　　b.層次結(jié)構(gòu)中的等級(jí)。若一項(xiàng)目沒(méi)有從屬項(xiàng)則屬最低級(jí)，若沒(méi)有比它高的項(xiàng)則為最高級(jí)。

　　2.263 文檔等級(jí) level of documentation

　　指明文檔的范圍、內(nèi)容、格式以及質(zhì)量。文檔等級(jí)可根據(jù)項(xiàng)目成本、預(yù)期用途、作用范圍、及其它 因素進(jìn)行選擇。

　　2.264資料管理員 librarian

　　參見(jiàn) 2.446條。

　　2.265庫(kù) library

　　參見(jiàn) 2.447條、2.494條。

　　2.266生存周期 life cycle

　　參見(jiàn)2.448條。

　　2.267生存周期模型 life-cycle model

　　一個(gè)框架，它含有從需求定義到使用終止，跨越整個(gè)生存期的系統(tǒng)開(kāi)發(fā)、操作和維護(hù)中所需實(shí)施 的過(guò)程、活動(dòng)和任務(wù)。

　　2.268連接編輯程序 linkage editor

　　一個(gè)計(jì)算機(jī)程序。它利用一個(gè)或多個(gè)獨(dú)立地編譯而得到的目標(biāo)模塊或裝入模塊而建立一個(gè)裝入模塊。為此要在目標(biāo)模塊當(dāng)中解決交叉引用。也可能需要把一些元素重新定位。注意并不是所有的目標(biāo)模塊在執(zhí)行之前都需要連接。

　　2.269連接表 linked list

　　參見(jiàn)2.60條。

　　2.270列表，清單，表list

　　a.數(shù)據(jù)有序集。

　　b.將滿足規(guī)定準(zhǔn)則的數(shù)據(jù)項(xiàng)進(jìn)行打印或顯示。

　　c.參見(jiàn)2.60條。

　　2.271列表處理 list ProceSSing

　　一種用表的形式來(lái)處理數(shù)據(jù)的方法。通常使用鏈接表，這樣就能改變項(xiàng)的邏輯順序而無(wú)需改變它們的物理位置。

　　2.272列表 listing

　　a.以人們易讀的列表形式給出的計(jì)算機(jī)輸出。

　　b.人們易讀的、正文形式的計(jì)算機(jī)輸出。

　　2.273裝入映象表 load maP

　　計(jì)算機(jī)生成的表，它標(biāo)識(shí)駐留在內(nèi)存中的計(jì)算機(jī)程序或駐留在內(nèi)存中的數(shù)據(jù)的全部或指定部分的位置或大小。

　　2.274裝入模塊 load module

　　適合于裝入到主存中去等待執(zhí)行的程序單位。它通常是連接編輯程序的輸出。

　　2.275裝入程序 loader

　　a.一種例行程序。它在目標(biāo)程序執(zhí)行之前把目標(biāo)程序讀入到主存中去。

　　b.一種例行程序。通常是計(jì)算機(jī)程序。它把數(shù)據(jù)讀入到主存中去。

　　2.276邏輯文件 logical file

　　與物理環(huán)境無(wú)關(guān)的文件。同一邏輯文件的各部分可以放在不同的物理文件中;幾個(gè)邏輯文件或幾個(gè)邏輯文件的各部分可以放在一個(gè)物理文件中。

　　2.277邏輯記錄 logical record

　　與物理環(huán)境無(wú)關(guān)的記錄。同一邏輯記錄的各部分可以放在不同的物理記錄中;幾個(gè)邏輯記錄或幾個(gè)邏輯記錄的各部分可以放在一個(gè)物理記錄中。

　　2.278循環(huán) IOOP

　　當(dāng)某個(gè)條件成立時(shí)可以反復(fù)執(zhí)行一組指令的程序結(jié)構(gòu)。參見(jiàn)2.257條。

　　2.279機(jī)器語(yǔ)言 machine language

　　指令和數(shù)據(jù)的表示。此表示能直接由計(jì)算機(jī)執(zhí)行。與2.31條、2.225條相對(duì)照。

　　2.280宏 macro

　　a.一個(gè)預(yù)先定義好的指令序列。在匯編或編譯期間要把該指令序列插入到程序中每一處出現(xiàn)相應(yīng)宏指令的地方。

　　b.與 2.281條同義。

　　2.281宏指令 macroinstuction

　　源語(yǔ)言中的一條指令。它將用同一源語(yǔ)言書(shū)寫(xiě)的預(yù)先定義的指令序列所代替。

　　2.282宏處理程序 macroprocessor

　　某些匯編程序和編輯程序的部分。它允許程序員定義和使用宏。

　　2.283可維護(hù)性 maintainability

　　a.對(duì)軟件進(jìn)行維護(hù)的容易程度。

　　b.按照預(yù)定的需要對(duì)某一功能部件進(jìn)行維護(hù)的容易程度。

　　c、按照規(guī)定的使用條件，在給定時(shí)間間隔內(nèi)一個(gè)項(xiàng)保持在某一指定狀態(tài)或恢復(fù)到某一指定狀態(tài)的能力。在此狀態(tài)下，若在規(guī)定的條件下實(shí)現(xiàn)維護(hù)并使用所指定的過(guò)程和資源時(shí)，它能實(shí)現(xiàn)要求的功能。

　　2.284維護(hù)者 maintainer

　　執(zhí)行維護(hù)活動(dòng)的一個(gè)機(jī)構(gòu)。

　　2.285維護(hù) maintenance

　　參見(jiàn) 2.449條。

　　2.286維護(hù)階段規(guī) maintenance phase

　　參見(jiàn) 2.317條。

　　2.287維護(hù)計(jì)劃 maintenance plan

　　維護(hù)軟件產(chǎn)品時(shí)使用的說(shuō)明管理方法和技術(shù)途徑的文檔。典型的維護(hù)計(jì)劃內(nèi)容包括：工具、資源、設(shè)施、及日程。

　　2.288映象程序 maP Program

　　編譯程序或匯編程序中具有生成裝入映象性能的部分。

　　2.289主庫(kù) master library

　　存放軟件和文件的正式公布版本的軟件庫(kù)。與2.351條相對(duì)照。

　　2.290元編譯程序 metacompiler

　　參見(jiàn) 2.75條。

　　2.291無(wú)語(yǔ)言 metalanguage

　　用來(lái)說(shuō)明一個(gè)語(yǔ)言或多個(gè)語(yǔ)言的基本語(yǔ)言。

　　2.292微碼 microcode

　　a.微程序的符號(hào)表示。

　　b.微程序在其存儲(chǔ)媒體中的內(nèi)部表示。參見(jiàn)2.206條。

　　2·293微程序 microprogram

　　計(jì)算機(jī)操作相對(duì)的微指令序列。它被保存在專(zhuān)用存儲(chǔ)器中，并且是由計(jì)算機(jī)指令寄存器中的計(jì)算機(jī)指令來(lái)啟動(dòng)執(zhí)行，微程序常常用于代替硬接線邏輯。參見(jiàn)2.206條。

　　2.294里程碑 milestone

　　項(xiàng)目有關(guān)人員或管理人員負(fù)責(zé)的在預(yù)定時(shí)間將發(fā)生的事件，用來(lái)標(biāo)志工作進(jìn)度。例如，正式的復(fù)審、規(guī)格說(shuō)明的頒布、產(chǎn)品的交付。

　　2.295助記符號(hào) mnemonic symbol

　　為便于人們記憶而選用的一種符號(hào)。例：“multiPly”的縮寫(xiě)是“mul”。

　　2.296模型 model

　　現(xiàn)實(shí)世界中進(jìn)程、設(shè)備或概念的一種表示。參見(jiàn)2.23條、2.42條、2.129條、2.180條、2.398條、

　　2.430條、2.472條。

　　2.297修改 modification

　　a.對(duì)軟件進(jìn)行的更改。

　　b.更改軟件的過(guò)程。

　　2.298模塊分解 modular decomposition

　　借助于把系統(tǒng)分成若干模塊來(lái)設(shè)計(jì)系統(tǒng)的方法。參見(jiàn)2.222條。

　　2.299模塊化程序設(shè)計(jì) modular programming

　　把系統(tǒng)或程序作為一組模塊集合來(lái)開(kāi)發(fā)的一種技術(shù)。

　　2.300模塊性 modularity

　　軟件由若干離散部分組成的離散程度，即軟件模塊化的程度(表明改變一個(gè)組成部分時(shí)對(duì)另外的組成部分有多大的影響)。

?