軟件工程領域中通用的術語(一)
引言

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

　　1 主題內容與適用范圍

本標準定義軟件工程領域中通用的術語，適用于軟件開發、使用維護、科研、教學和出版等方面。

　　2 術語

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

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

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

2.4 抽象 abstraction
　　a．對某一問題的概括。它抽取與某一特定目標相關的本質的內容而忽略非本質的內容。
　　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 language
　　a. 一種面向計算機的語言，其指令與計算機指令通常是—一對應的，且能提供使用宏指令的便利。與 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 審計 audit
　　a. 為評估是否符合軟件需求、規格說明、基線、標準、過程、指令、代碼以及合同和特殊要求而進行的一種獨立的檢查。參見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 可用性 availability
　　a．軟件在投入使用時能實現其指定的系統功能的概率。
　　b．系統正常工作時間和總的運行時間之比。
　　c．在運行時，某一配置項實現指定功能的能力。

2.42 可用性模型 availability model
　　用于預測、估計、判定可用性的模型。

2.43 后備，后援 back－up
　　發生系統失效或災害時，為恢復數據文件或軟件，重新起動處理，使用備份計算機設備而做的準備。

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

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

2.46 協約（名），聯編，約束，結合 binding
　　把一個值或指定的對象（referent）賦給某一標識符。例如，把一個值賦給一個參數或把一絕對地址、虛擬地址或設備標識符分配給計算機程序中的符號地址或標號。參見2．166條、2．470條。

2.47 塊（名），阻滯（動） blOCk
　　a. 由某些技術或邏輯原因形成的被當作一個實體看待的一串記錄、一串字或一字符串。
　　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 引導程序 bootstraP
　　a．一段短的計算機程序，常駐計算機或很容易裝入計算機。引導程序的執行能把另一個較大的程序，如操作系統或其裝入程序引入內存。
　　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認證 Certif1Cation
　　a．一個系統或計算機程序符合其規定的需求的一種書面保證。
　　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 management
　　a.標識和確定系統中配置項的過程，在系統整個生存周期內控制這些項的投放和吏動，記錄并報告配置的狀態和更動要求，驗證配置項的完整性和正確性。參見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

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

?