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

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

（軟件）工程領域中通用的術語(一)

引言

本標準結(jié)構如下：

a．詞條按英文對應詞字母順序排列；

b．如果一個術語有一個以上的定義，則分別加以說明;

c．凡必要的地方用例子來說明定義;

d．為了說明本標準中一個術語與另一些術語的關系，使用了下述詞語:

——比較…...指補充性的術語;——與…相對照：指一個具有相反含義的或本質(zhì)上不同意義的術語；

——與…同義：指同義的術語;

——參見…：指讓（讀者）參見推薦使用的或與之關系密切的術語。

——還可參見…：指一有關術語。

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

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

2術語

2.1夭折，異常終止abort

在一過程完成之前被迫終止

2.2絕對機器代碼absolu（te）machinecode

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

2.3抽象機abstractmachine

a.過程或機器的一種表示。

b．一個模塊，它象一臺機器那樣處理輸入。

2.4抽象abstracTIon

a．對某一問題的概括。它抽取與某一特定目標相關的本質(zhì)的內(nèi)容而忽略非本質(zhì)的內(nèi)容。

b．形成上述抽象的過程。

2.5驗收準則accePtancecriterion

軟件產(chǎn)品要符合某一測試階段必須滿足的準則，或軟件產(chǎn)品滿足交貨要求的準則。

2.6驗收（測試）accePtancetesTIng

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

2.7可接近性accessibility

使組成軟件的各部分便于選擇使用或維護的程度

2.8訪問控制機制access-controlmechanism

為使某一（計算機）系統(tǒng)或計算機系統(tǒng)的某一部分允許被獲準者和防止未獲準者接觸、訪問而設計的硬件或軟件的特性、操作過程或管理過程。

2.9準確，準確度accuracy

a.無誤差的一種品質(zhì)

b.無誤差程序的一種定性估計，估計越高，對應的誤差越小。

c.誤差大小的一種度量，最好表示成相對誤差的函數(shù)，其準確度越高，對應的誤差越小。

d.對無誤差程度的一種定量估計。與2.341條相對照。

2.10需方acquirer

從供方獲得或得到一個系統(tǒng)、產(chǎn)品或服務的一個機構。

注：需方可以是買主、客戶、擁有者、用戶、采購人圓荊。

2.11獲取acquisi（TI）on

得到一個系統(tǒng)、一個產(chǎn)品或一項服務的過程。

2.12活動文件acTIvefile

尚未超過終止時間的文件。

2.13活動activity

一個過程的組成元素；

注：對基線的改變要經(jīng)有關當局的正式批準。

2.14實參actualpa（ram）eter

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

2.15適應性（ad）aPtability

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

2.16適應性維護adaptivemaintenance

為使軟件產(chǎn)品在改變了的環(huán)境下仍能使用而進行的維護。

2.17地址address

a.標識一寄存器、（存儲器）特定部分、或其他一些數(shù)據(jù)來源或目的地的一個或一組（字符）。

b.用來指定一設備或一個數(shù)據(jù)項。

2.18地址空間addressspace

計算機機程序可以有效利用的地址范圍。

2.19算法algorithm

a.用有限步數(shù)求解某問題的一套明確定義的規(guī)則的集合；例如，求sin（x）到給定精度的一系列算術運算的完整的說明。

b.定義良好的規(guī)則的有限集合，它給出完成一特定任務的運算序列。

2.20算法分析algorithmanalysis

對一算法的檢查。目的在于確定與其預期的用途有關的正確性，確定其運行特性，或為了更充分地理解某一算法以便對其進行修改、簡化或改進。

2.21別名alias

a.某一項目的另一個名字。

b.一個替換標號。例如，可以使用一個標號和一個或多個別名來指示計算機程序中同一數(shù)據(jù)元素或點。

2.22分析階段analysisphase

參見2.406條.

2.23分析模型analyticalmodel

用一組可解方程來表示一個過程或一個現(xiàn)象。與2.430條相對照。

2.24面向應用的語言annlicatlon－orientedllanguage

a.一種面向計算機的語言，具有用于某種單一應用領域的手段或記號；例如，用于統(tǒng)計分析或機器設計的語言。

b.一種面向問題的語言，其語句包含或匯集了用戶職業(yè)的術語。

2.25應用軟件（app）licationsoftware

解決屬于專用領域的，非計算機本身問題的軟件。

2.26體系結(jié)構architecture

參見2.353條、2.491條。

2.27體系結(jié)構設計architecturaldesign

a.定義一組硬件和軟件元素及其（接口）的過程，其目的是為開發(fā)一計算機系統(tǒng)而建立其主體結(jié)構。

b.體系結(jié)構設計過程的結(jié)果。

2.28人工語言artificiallanguage

參見2.210條。

2.29匯編assemble

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

2.30匯編程序assemb

用于進行匯編的計算機程序。與2.73條、2.255條相對照。

2.31匯編語言assemblylanguage

a.一種面向計算機的語言，其指令與計算機指令通常是—一對應的，且能提供使用宏指令的便利。與2.279條、2.225條相對照。參見2.72條、2.73條。

b．一種特定機器語言，其指令通常和計算機指令—一對應。

2.32斷言assertion

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

2.33賦值語句assignmentstatement

用于表達一系列操作，或用于把操作數(shù)賦給指定變量，或符號，或變量和符號兩者的指令。

2.34審計audit

a.為評估是否符合軟件需求、規(guī)格說明、基線、標準、過程、指令、代碼以及合同和特殊要求而進行的一種獨立的檢查。參見2.63條。

b．通過調(diào)查研究確定已制定的過程、指令、規(guī)格說明、代碼和標準或其它的合同及特殊要求是底恰當和被遵守，以及其實現(xiàn)是否有效而進行的活動。

2.35自動設計（工具）automateddesigntool

幫助進行軟件設計的綜合、分析、模擬或文檔編制的軟件工具。自動設計工具的例子如：（仿真器）、分析工具、設計表示處理器和文件生成器。

2.36自動測試用例生成器automatedtestcasegenerator

參見2．38條。

2.37自動測試數(shù)據(jù)生成器automatedtestdatagenerator

參見2．38條。

2.38自動測試生成器automatedtestgenerator

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

2.39自動驗證系統(tǒng)automatedverificationsystem

一種軟件工具，以計算機程序及其規(guī)格的表示作為輸入（可能借助人的幫助），產(chǎn)生該程序的正確與否的證明。參見2.40條。

2.40自動驗證工具automatedverificationtools

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

2.41可用性av（ai）lability

a．軟件在投入使用時能實現(xiàn)其指定的系統(tǒng)功能的概率。

b．系統(tǒng)正常工作時間和總的運行時間之比。

c．在運行時，某一配置項實現(xiàn)指定功能的能力。

2.42可用性模型availabilitymodel

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

2.43后備，后援back－up

發(fā)生系統(tǒng)失效或災害時，為恢復數(shù)據(jù)文件或軟件，重新起動處理，使用備份計算機設備而做的準備。

2.44基線baseline

a.業(yè)已經(jīng)過正式審核與同意，可用作下一步開發(fā)的基礎，并且只有通過正式的修改管理步驟方能加以修改的規(guī)格說明或產(chǎn)品。

b．在配置項目生存周期的某一特定時間內(nèi)，正式指定或固定下來的配置標識文件和一組這樣的文件?；€加上根據(jù)這些基線批準同意的改動構成了當前配置標識。對于配置管理，有以下三種基線：

功能基線——最初通過的功能配置；

分配基線——最初通過的分配的配置；

品基線——最初通過的或有條件地通過的產(chǎn)品配置。

2.45開始——結(jié)束塊begin－endblock

由begin和end分隔符括起來的設計或程序語句序列。其特征是具有單一的入口和單一的出口。

2.46協(xié)約（名），聯(lián)編，約束，結(jié)合binding

把一個值或指定的對象（referent）賦給某一標識符。例如，把一個值賦給一個參數(shù)或把一絕對地址、虛擬地址或設備標識符分配給計算機程序中的符號地址或標號。參見2．166條、2．470條。

2.47塊（名），阻滯（動）blOCk

a.由某些技術或邏輯原因形成的被當作一個實體看待的一串記錄、一串字或一字符串。

b.作為一個單元而記錄下來的一組連續(xù)的記錄。塊與塊之間用間隙分隔，每一塊可以包含一個或多個記錄。

c．被當作一個單元而加以傳送的一組二進制位數(shù)或N進制位數(shù)。通常對這組二進制位數(shù)或N進制位數(shù)采用某種編碼步驟以達到出錯控制的目的。

d．作為一個單元來處理的事物，如字、字符或數(shù)字的集合。

e．參見2．354條。

f．系統(tǒng)中的某些操作因某種原因，暫時不能繼續(xù)執(zhí)行。

2.48框圖blockdiagram

表示某一系統(tǒng)、計算機或設備的圖，圖中主要部分由加有適當解釋的幾何（圖形）來表示，用以說明這些主要部分的基本功能及其功能關系。與2．209條相對照。

2.49塊結(jié)構語言block－structuredlanguage

一種程序設計語言，在這種語言中，語句序列通常是由begin和end界限符劃界。參見2．354條。

2.50引導程序bootstraP

a．一段短的計算機程序，常駐計算機或很容易裝入計算機。引導程序的執(zhí)行能把另一個較大的程序，如操作系統(tǒng)或其裝入程序引入內(nèi)存。

b．一組指令，它能使另外的指令被裝入直到全部計算機程序都存入存儲器中為止。

c．借助自身的動作而使其達到所希望的狀態(tài)的一種技術或設備；例如，一段機器子程序，其前幾條指令足以使其余部分指令從輸入設備輸入到計算機中。

d．用于建立計算機程序另一版本的部分計算機程序。

e．使用一引導程序。

2.51引導裝入程序bootstraPloader

使用預置計算機操作以裝入引導程序的一種輸入例行程序。

2.52自底向上bottom－uP

一種方法，這種方法從層次結(jié)構的最低層軟件組成部分開始，逐級向上直至最高層組成成分為止，例如，自底向上設計、自底向上程序設計、自底向上測試等。與2．526條相對照。

2.53自底向上設計bottom－uPdesign

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

2.54隱錯，缺陷bug

參見2．198條。

2.55隱錯撒播bugseeding

參見2．201條。

2.56構件build

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

2.57構件塊buildingblock

較高一級程序或模塊使用的一個單元或模塊。

2.58（分）情況語句case

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

2.59認證Cert（if）1Cation

a．一個系統(tǒng)或計算機程序符合其規(guī)定的需求的一種書面保證。

b．一種書面認可書，說明某計算機系統(tǒng)是可靠的，可以在一確定的環(huán)境中工作或產(chǎn)生合理的信息。

c．為使系統(tǒng)獲準投入運行性使用，對系統(tǒng)的可接受性所做的正式演示。

d．證實一系統(tǒng)、軟件子系統(tǒng)或計算機程序在其運行環(huán)境中能滿足規(guī)定的需求的過程。認證通常在實際條件下的現(xiàn)場中進行，不僅用于估價軟件本身，而且用于估價作為軟件設計依據(jù)的規(guī)格說明。認證使驗證和確認的過程擴充到實際的或模擬的運行環(huán)境中。

e．一正式的權威機構根據(jù)可付諸實施的需求以書面形式確定、驗證和證明人圓勁處理、過程或條款為合格所采取的步驟和行動。

2.60鏈接表chainedlist

一種表，在這種表中各個項目可以是分散的，但每項都含有指出下一項位置的標識符。與2.269條同義。

2．61更動管理changecontrol

提議作一項更動并對其進行估計、同意或拒絕、調(diào)度和跟蹤的過程。

2.62代碼，編碼code

a.一組無歧義性的規(guī)則，它規(guī)定了使數(shù)據(jù)得以用某種離散形式加以表示的方式。

b.用處理機可以接受的符號形式表示數(shù)據(jù)或計算機程序。

c.書寫例行程序。

d.也可指一個或多個計算機程序，或計算機程序一部分。已為了安全的目的對數(shù)據(jù)進行的加密表示。

2.63代碼審計codeaudit

由某人、某小組、或借助某種工具對源代碼進行的獨立的審查，以驗證其是否符合軟件設計文件和程序設計標準。還可能對正確性和有效性進行估計。參見2．34條、2．468條、2．237條、2．545條。

2.64代碼生成器codegenerator

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

2．65代碼審查codeinspection

參見2.237條。

2.66代碼走查codewalk－through

參見2.545條。

2.67內(nèi)聚度cohesion

單個程序模塊所執(zhí)行的諸任務在功能上的互相關聯(lián)的程度。與2·112條相對照。

2.68命令語言commandlanguage

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

2.69解釋comment

a.在計算機程序、命令語言或數(shù)據(jù)之間的說明信息，旨在給讀者提供澄清性材料，并不影響機器的解釋工作。

b.加到或散置在源語言語句當中的描述、附注或解釋，在目標語言中這些是無效的。

2.70（比較器）comparator

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

2.71兼容性compatibility

a.兩個或兩個以上系統(tǒng)運行同一軟件可得到同樣結(jié)果的能力。

b.兩個或兩個以上系統(tǒng)處理同樣的數(shù)據(jù)文