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

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

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

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

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

　　2 術(shù)語

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

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

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

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

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

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

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

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

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

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

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

2.12 活動文件 active file
　　尚未超過終止時間的文件。

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

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

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ù)據(jù)來源或目的地的一個或一組字符。
　　b.用來指定一設(shè)備或一個數(shù)據(jù)項(xiàng)。

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

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

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

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

2.22 分析階段 analysis phase
　　參見 2.406條.

2.23 分析模型 analytical model
　　用一組可解方程來表示一個過程或一個現(xiàn)象。與2.430條相對照。

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

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

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

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

2.28 人工語言 artificial language
　　參見2.210條。

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

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

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

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

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

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

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

2.36 自動測試用例生成器 automated test case generator
　　參見2．38條。

2.37 自動測試數(shù)據(jù)生成器 automated test data generator
　　參見2．38條。

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

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

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

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

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

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

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

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

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

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

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

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

2.50 引導(dǎo)程序 bootstraP
　　a．一段短的計(jì)算機(jī)程序，常駐計(jì)算機(jī)或很容易裝入計(jì)算機(jī)。引導(dǎo)程序的執(zhí)行能把另一個較大的程序，如操作系統(tǒng)或其裝入程序引入內(nèi)存。
　　b．一組指令，它能使另外的指令被裝入直到全部計(jì)算機(jī)程序都存入存儲器中為止。
　　c．借助自身的動作而使其達(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)的最低層軟件組成部分開始，逐級向上直至最高層組成成分為 止，例如，自底向上設(shè)計(jì)、自底向上程序設(shè)計(jì)、自底向上測試等。與2．526條相對照。

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

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

2.54 隱錯，缺陷bug
　　參見2．198條。

2.55 隱錯撒播 bug seeding
　　參見2．201條。

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

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

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

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

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

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

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

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

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

2．65 代碼審查 code inspection
　　參見2.237條。

2.66 代碼走查 code walk－through
　　參見2.545條。

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

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

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

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

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

2.72 編譯 comPile
　　將高級語言程序變換成與之等價的浮動的或絕對的機(jī)器代碼。與2．29條相對照。

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

2.74 編譯程序的編譯程序 compiler compiler
　　參見2.75。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)生出來，當(dāng)前的配置與規(guī)定的需求相符。技術(shù)文件說明書完全而準(zhǔn)確地描述了各個配置項(xiàng)目，并且曾經(jīng)提出的所有更動請求均已得到解決的過程。

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

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

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

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

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

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

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

2.201 故障撒播 fault seeding

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

　　2.202容錯 fault tolerance

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

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

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

　　2.204文件，文卷 file

　　作為一個單位來看待的一組相關(guān)的記錄。參見2.276條。

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

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

　　2.2 0 6固件 firmware

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

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

　　c.存儲在只讀存儲器中的程序指令。

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

　　2.207標(biāo)志 flag

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

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

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

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

　　2.208控制流 flow of control

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

　　2.209流程圖 flowchart

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

　　2.210形式語言 formal language

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

　　2.211形參 formal parameter

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

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

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

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

　　2.213正式測試 formal testing

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

　　2.214功能，函數(shù) function

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

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

　　2.215功能分解 functional decomposition

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

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

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

　　2.217功能需求 functional requirement

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

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

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

　　2.219功能部件 functional unit

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

　　2.220硬件 hardware

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

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

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

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

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

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

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

　　2.224高級語言 hish level language

　　與 2.225同義。

　　2.225高級語言higher order language

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

　　2.226宿主機(jī) host machine

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

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

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

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

　　2.227標(biāo)識符identifier

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

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

　　2.228不完全的隱錯排除 imPerfect debugging

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

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

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

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

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

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

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

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

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

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

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

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

　　2.233原有故障 indigenous fault

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

　　2.234歸納斷言法 inductive assertion method

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

　　2.235信息隱蔽 information hiding

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

　　2.236輸入斷言 inPut assertion

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

　　2.237審查 insPection

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

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

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

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

　　2.239指令 instruction

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

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

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

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

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

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

　　2.242指令跟蹤 instruction trace

　　參見 2.530條。

　　2.24 3探測 instrumentation

　　參見 2.358條。

　　2.244探測工具 instrumentation tool

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

　　2.245集成 integration

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

　　2.246組裝測試 integration testing

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

　　2.247完整性 integrity

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

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

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

　　2.249接口，界面 interface

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

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

　　2.250接口需求 Interface requirement

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

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

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

　　2.252接口測試 interface testing

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

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

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

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

　　2.254解釋 interPret

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

　　2.255解釋程序，解釋器 interPreter

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

　　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ì)語言語句序列，直到滿足給定條件或當(dāng)給定條件為真時為止的過程。

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

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

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

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

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

　　2.259關(guān)鍵字 key

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

　　2.260標(biāo)號 label

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

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

　　c.一個帶或盤文件的標(biāo)識記錄。

　　2.261語言處理程序 language processor

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

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

　　2.262級層 level

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

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

　　2.263 文檔等級 level of documentation

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

　　2.264資料管理員 librarian

　　參見 2.446條。

　　2.265庫 library

　　參見 2.447條、2.494條。

　　2.266生存周期 life cycle

　　參見2.448條。

　　2.267生存周期模型 life-cycle model

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

　　2.268連接編輯程序 linkage editor

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

　　2.269連接表 linked list

　　參見2.60條。

　　2.270列表，清單，表list

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

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

　　c.參見2.60條。

　　2.271列表處理 list ProceSSing

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

　　2.272列表 listing

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

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

　　2.273裝入映象表 load maP

　　計(jì)算機(jī)生成的表，它標(biāo)識駐留在內(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)境無關(guān)的文件。同一邏輯文件的各部分可以放在不同的物理文件中;幾個邏輯文件或幾個邏輯文件的各部分可以放在一個物理文件中。

　　2.277邏輯記錄 logical record

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

　　2.278循環(huán) IOOP

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

　　2.279機(jī)器語言 machine language

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

　　2.280宏 macro

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

　　b.與 2.281條同義。

　　2.281宏指令 macroinstuction

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

　　2.282宏處理程序 macroprocessor

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

　　2.283可維護(hù)性 maintainability

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

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

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

　　2.284維護(hù)者 maintainer

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

　　2.285維護(hù) maintenance

　　參見 2.449條。

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

　　參見 2.317條。

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

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

　　2.288映象程序 maP Program

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

　　2.289主庫 master library

　　存放軟件和文件的正式公布版本的軟件庫。與2.351條相對照。

　　2.290元編譯程序 metacompiler

　　參見 2.75條。

　　2.291無語言 metalanguage

　　用來說明一個語言或多個語言的基本語言。

　　2.292微碼 microcode

　　a.微程序的符號表示。

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

　　2·293微程序 microprogram

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

　　2.294里程碑 milestone

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

　　2.295助記符號 mnemonic symbol

　　為便于人們記憶而選用的一種符號。例：“multiPly”的縮寫是“mul”。

　　2.296模型 model

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

　　2.430條、2.472條。

　　2.297修改 modification

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

　　b.更改軟件的過程。

　　2.298模塊分解 modular decomposition

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

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

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

　　2.300模塊性 modularity

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

?