本標準結構如下:
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 驗收準則 aclearcase/" target="_blank" >ccePtance 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.對程序和進程施加的限制,目的是使它們不能訪問或影響未經核準的數據、程序或進程。