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

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

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

2.301模塊module

a.是離散的程序單位。且對(duì)于編譯、對(duì)于和其它單位相結(jié)合，對(duì)于裝入來說是可識(shí)別的，例如，匯編程序、編譯程序、連接編輯程序或執(zhí)行的例行程序的輸入或輸出。

b.程序中一個(gè)能邏輯地分開的部分。

2.302模塊強(qiáng)度modulestrength

參見2.67條。

2.303多級(jí)安全性multllevelsecurity

一種操作方式。當(dāng)至少有某些用戶對(duì)系統(tǒng)中包括的全部數(shù)據(jù)既不清楚也不需要知道時(shí)，它允許處于各種安全級(jí)上的數(shù)據(jù)并行地在（計(jì)算機(jī)）系統(tǒng)中存儲(chǔ)和處理。

2.304多道程序設(shè)計(jì)mul（TI）prog（ram）（mi）ng

a.一種操作方式。它可以使單處理機(jī)交替地執(zhí)行兩個(gè)或多個(gè)計(jì)算機(jī)程序。

b.由一臺(tái)計(jì)算機(jī)對(duì)兩個(gè)或多個(gè)計(jì)算機(jī)程序并行執(zhí)行。

c.兩個(gè)或多個(gè)功能的并行執(zhí)行，就好象每個(gè)功能單獨(dú)操作一樣。

2.305變異mutaTIon

參見2.360條。

2.306N一進(jìn)制N-ary

a.由n個(gè)不同可能的值或狀態(tài)的挑選、選取或條件所表征。

b.具有基數(shù)n的固定基數(shù)數(shù)制系統(tǒng)。

2.307自然語言natura1language

一種語言。其規(guī)則是根據(jù)當(dāng)前的習(xí)慣用法而不是顯式的方法規(guī)定的。例如英語、漢語、法語以及斯瓦希利語。與2.210條相對(duì)照。

2.308嵌套nest

a.把某一類的一個(gè)結(jié)構(gòu)或多個(gè)結(jié)構(gòu)合并到同一類結(jié)構(gòu)中去。例如，把一個(gè)循環(huán)(被嵌套的循環(huán))嵌套到另一個(gè)循環(huán)(嵌套的循環(huán))中去;把一個(gè)子例行程序(被嵌套的子例行程序)嵌套到另一個(gè)子例行程序(嵌套的子例行程序)中去。

b.把子例行程序或數(shù)據(jù)放在處于另一不同層次級(jí)別上的另一個(gè)子例行程序或數(shù)據(jù)中，使得該子例行程序可作為遞歸子例行程序被執(zhí)行，或該數(shù)據(jù)能被遞歸地存取。

2.309網(wǎng)絡(luò)network

a.一組互連或相關(guān)的結(jié)點(diǎn)。

b.涉及約束性或面向問題的修飾詞、（資料）、文件以及人力資源的組合，通過設(shè)計(jì)把這些組合起來以實(shí)現(xiàn)某些目標(biāo)。例如：社會(huì)科學(xué)網(wǎng)絡(luò)、科學(xué)信息網(wǎng)絡(luò)。

2.310結(jié)點(diǎn)，節(jié)點(diǎn)node

a.網(wǎng)絡(luò)或圖中任何分支的端點(diǎn)，或?qū)儆趦蓚€(gè)或多個(gè)分支的公共結(jié)點(diǎn)。

b.在樹形結(jié)構(gòu)中，下屬數(shù)據(jù)項(xiàng)由之發(fā)源的一點(diǎn)。

c.在網(wǎng)絡(luò)中，一個(gè)或多個(gè)功能部件在此互連傳輸線的點(diǎn)。

d.借助于圖上的點(diǎn)表示狀態(tài)或事件。

2.311不交付項(xiàng)non-deliveravlei（te）m

不需要按合同交付的、但在軟件的開發(fā)中可能用到的硬件和軟件。

2.312目標(biāo)程序objectProgram

已完成編譯或匯編已準(zhǔn)備好裝入到計(jì)算機(jī)中的程序。與2.460條相對(duì)照。

2.313現(xiàn)貨產(chǎn)品of-the-sheIfproduct

由供方、需方或第三方提供的、已經(jīng)開發(fā)出來的、可得到、可使用的、現(xiàn)成的或需要加以修改的產(chǎn)品。

2.314開放系統(tǒng)opensystem

一種按標(biāo)準(zhǔn)建立起來的計(jì)算機(jī)系統(tǒng)。開放系統(tǒng)的主要特征是：

兼容性(compaTIbility)參見2.71條;

可移植性(portability)參見2.340條;

互操作性(interoperability)參見2.253條;

可擴(kuò)展性(scaliability)參見2.419條。

開放系統(tǒng)可以使用戶擺脫特定廠商的控制，并有利于提高軟件廠商的效益。

2.315操作對(duì)象，操作數(shù)oPerand

a.對(duì)之施行操作的一個(gè)實(shí)體。

b.施行操作的目標(biāo)。操作對(duì)象通常由指令的地址部分標(biāo)識(shí)。參見2.320條。

2.316操作系統(tǒng)oPeraTIngsystem

控制程序執(zhí)行的軟件。操作系統(tǒng)可以提供以下的服務(wù)，例如，資源分配調(diào)度、輸入/輸出控制和數(shù)據(jù)管理。雖然操作系統(tǒng)目前主要是一種軟件，但部分或全部地用硬件來實(shí)現(xiàn)是可能的。操作系統(tǒng)是在單一點(diǎn)上提供支持，而不是強(qiáng)制每個(gè)程序去關(guān)心如何控制硬件。參見2.496條。

2.317運(yùn)行和維護(hù)階段oPerationandmaintenancephase

軟件生存周期中的一個(gè)階段，在此階段軟件產(chǎn)品在規(guī)定的運(yùn)行環(huán)境中進(jìn)行使用、監(jiān)視，需要時(shí)對(duì)軟件產(chǎn)品進(jìn)行修改以改正問題或?qū)ψ兓说男枨笞鞒鲰憫?yīng)，以獲得滿意的功能和性能。

2.318運(yùn)行可靠性oPertionalreliability

在實(shí)際使用環(huán)境中，系統(tǒng)或軟件子系統(tǒng)的可靠性。運(yùn)行可靠性可能與規(guī)定環(huán)境或（測試）環(huán)境中的可靠性有很大的不同。

2.319運(yùn)行測試oPerationaltesting

由最終用戶在軟件的正常操作環(huán)境里對(duì)軟件執(zhí)行的測試。

2.320操作符，操作員operator

a.在符號(hào)處理中，表示操作中要實(shí)現(xiàn)的動(dòng)作的符號(hào)。如十、一、*、/。

b.在描述一進(jìn)程時(shí)，指明對(duì)操作對(duì)象執(zhí)行的動(dòng)作。

c.操作機(jī)器的人或運(yùn)行系統(tǒng)的一個(gè)機(jī)構(gòu)。參見2.315條。

2.321組織過程organizationalprocess

為構(gòu)成自始至終的一個(gè)完整過程，由機(jī)構(gòu)指定并以項(xiàng)目為例說明的一套軟件工程和管理過程。

2.322輸出斷言outputassertion

一個(gè)邏輯表達(dá)式。它說明為了保證程序是正確的，程序輸出必須滿足的一個(gè)或多個(gè)條件。

2.323覆蓋overlay

a.在計(jì)算機(jī)程序中，不永久存儲(chǔ)在內(nèi)存里的一個(gè)段。

b.在程序的不同階段反復(fù)使用內(nèi)存的同一區(qū)域的技術(shù)。

c.在計(jì)算機(jī)程序的執(zhí)行過程中，把計(jì)算機(jī)程序的存儲(chǔ)段裝到當(dāng)前不再需要的程序部分所占用的存儲(chǔ)區(qū)域中。

2.324參數(shù)parameter

a.是一種變量，針對(duì)每一指定用途，可賦予它一個(gè)固定值，并可用這個(gè)變量代表該用途。

b.用來在程序之間傳遞值的變量。參見2.14條、2.210條。

2.325語法分析Pa（rs）e

確定人工語言或自然語言單位的句法結(jié)構(gòu)的過程。方法是把上述單位分解為多個(gè)基本子單位并建立子單位之間的關(guān)系，例如，塊、語句，表達(dá)式可分解為語句、表達(dá)式及操作符和操作對(duì)象。

2.326部分正確性partialcorrectness

在正確性證明中，指出程序的輸出斷言是它的輸入斷言和處理步驟的合乎邏輯的結(jié)果。與2.529條相對(duì)照。

2.327（修補(bǔ)）patch

a.對(duì)目標(biāo)程序的修改。辦法是用修改的機(jī)器代碼代替已有的部分機(jī)器代碼。

b.修改目標(biāo)程序而無需重新編譯源程序。

2.328路徑分析Pathanalysis

對(duì)程序進(jìn)行的一種分析。以標(biāo)識(shí)通過該程序的所有可能的路徑，檢測不完全的路徑，或發(fā)現(xiàn)不處在任何路徑上的程序部分。

2.329路徑條件pathcondition

為了要執(zhí)行特定的程序路徑所必須滿足的一組條件。

2.330路徑表達(dá)式Pathexpression

一個(gè)邏輯表達(dá)式。它說明為了執(zhí)行特定程序路徑，所必須滿足的輸入條件。

2.331物理配置審計(jì)PCA—Physicalconfigurationaudit

對(duì)照設(shè)計(jì)規(guī)格說明（檢驗(yàn)）已建立的某個(gè)配置項(xiàng)，其目的是為軟件的設(shè)計(jì)和編碼建立一個(gè)基線。

2.332完善性維護(hù)pe（rf）ect1vemaintenance

為改善性能、可維護(hù)性或其它軟件屬性而進(jìn)行的維護(hù)。參見2.16條、2.109條。

2.333性能performance

a.計(jì)算機(jī)系統(tǒng)或子系統(tǒng)實(shí)現(xiàn)其功能的能力。

b.對(duì)計(jì)算機(jī)系統(tǒng)或子系統(tǒng)執(zhí)行其功能的能力的度量。例如，響應(yīng)時(shí)間、吞吐能力、事務(wù)處理數(shù)。參見2.335條。

2.334性能評(píng)價(jià)performanceevaluation

對(duì)系統(tǒng)或系統(tǒng)部件的技術(shù)評(píng)價(jià)，以確定運(yùn)行目標(biāo)達(dá)到了何種有效程度。

2.335性能需求Performancerequirement

對(duì)系統(tǒng)或系統(tǒng)部件必須具有的性能(例如，速度、精度、頻率)作出規(guī)定的需求。

2.336性能規(guī)格說明Performancespecification

a.規(guī)定系統(tǒng)或系統(tǒng)部件性能需求的規(guī)格說明。

b.與2.407條同義。

c.參見2.218條。

2.337Petri網(wǎng)petrinet

信息流的一個(gè)抽象的、形式的模型。指出一系統(tǒng)的靜態(tài)和動(dòng)態(tài)性質(zhì)。petri網(wǎng)通常表示成圖。圖中有兩類用弧彼此相連的結(jié)點(diǎn)(稱為地點(diǎn)和變換)和指示其動(dòng)態(tài)性能的（標(biāo)記）(稱為記號(hào))。參見2.467條。

2.338物理需求Physicalrequirement

規(guī)定系統(tǒng)或系統(tǒng)部件必須具有的物理特征的一種需求，例如，材料、形狀、大小、重量。

2.339指針pointer

a.指明數(shù)據(jù)項(xiàng)位置的標(biāo)識(shí)符。

b.一種數(shù)據(jù)項(xiàng)。其值是另一數(shù)據(jù)項(xiàng)的位置。

2.340可移植性Portability

軟件不加改動(dòng)地從一種運(yùn)行環(huán)境轉(zhuǎn)移到另一種運(yùn)行環(huán)境下運(yùn)行的能力。

2.341精度PreCiation

a.分辨幾乎相等諸值的能力的一種度量。例如，4位數(shù)字在精度上小于6位數(shù)字;但適當(dāng)?shù)赜?jì)算所得出的4位數(shù)字可以比不適當(dāng)?shù)赜?jì)算所得的6位數(shù)字更精確。

b.對(duì)所提及的數(shù)量的可分辨的程度。例如，三位數(shù)字可分辨1000種可能性。與2.9條相對(duì)照。2.2.342預(yù)編譯程序precom（pi）ler一種計(jì)算機(jī)程序。它對(duì)源代碼(其中有一部分可能是編譯程序無法接受的)進(jìn)行預(yù)處理，以產(chǎn)生與之等效但可為編譯程序接受的代碼。例如，把結(jié)構(gòu)化FORTRAN轉(zhuǎn)換為GB3507FORTRAN的預(yù)處理程序。

2.343概要設(shè)計(jì)Prdliminarydesign

a.分析各種設(shè)計(jì)方案和定義軟件體系結(jié)構(gòu)的過程。典型的概要設(shè)計(jì)包括計(jì)算機(jī)程序組成成分和數(shù)據(jù)的定義及構(gòu)造、界面的定義，并提出時(shí)間和規(guī)模方面的估計(jì)。

b.概要設(shè)計(jì)過程的結(jié)果。參見2.135條、2.216條。

2.344預(yù)處理程序preprocesser

進(jìn)行某些初步計(jì)算或組織的計(jì)算機(jī)程序。參見2.342條。

2.345特權(quán)指令privilegedinstruction

只允許管理程序使用的指令。

2.346過程，規(guī)程propedure

a.計(jì)算機(jī)程序的一個(gè)部分。它被命名并實(shí)現(xiàn)一個(gè)特定的任務(wù)。比較2.482條、2.480條、2·213條、2.301條。

b.為解決某一問題而采取的動(dòng)作的經(jīng)過。

c.為解決某一問題而采取的動(dòng)作的經(jīng)過的描述。

d.每次完成一任務(wù)時(shí)要遵循的一組手工的步驟。

2.347進(jìn)程，處理process

a.在計(jì)算機(jī)系統(tǒng)中，根據(jù)在給定條件下所要達(dá)到的目的或效果而定義的若干事件的一個(gè)唯一有限的過程。

b.在進(jìn)程中對(duì)數(shù)據(jù)進(jìn)行的操作。

2.348產(chǎn)品prodcut(software)

要交付給用戶的一套完整的計(jì)算機(jī)程序、過程以及有關(guān)的文檔和數(shù)據(jù)。

2.349產(chǎn)品認(rèn)證productcert（if）ication

參見2.59條。

2.350產(chǎn)品庫Productlibrary

一個(gè)軟件庫。其中含有已被批準(zhǔn)供當(dāng)前運(yùn)行使用的軟件。

2.351產(chǎn)品規(guī)格說明ProductsPecification

與2.143條同義。

2.352程序，計(jì)劃program

a.計(jì)算機(jī)程序。參見2.81條。

b.規(guī)定要采取的動(dòng)作的一個(gè)時(shí)間表。

c.設(shè)計(jì)、編寫并測試計(jì)算機(jī)程序。

2.353程序體系結(jié)構(gòu)programarchitecture

計(jì)算機(jī)程序部件之間的結(jié)構(gòu)和關(guān)系。程序體系結(jié)構(gòu)也可以包括它和程序運(yùn)行環(huán)境之間的程序界面。

2.354程序塊programblock

在面向的語言中，計(jì)算機(jī)程序的子部分，用于把語句分組、發(fā)分例行程序、規(guī)定存儲(chǔ)分區(qū)、確定標(biāo)號(hào)的可使用性、或者為其他一些目的而將計(jì)算機(jī)程序的分段。

2.355程序正確性Programcorrectness

參見2.110條。

2.356程序設(shè)計(jì)語言programdesignlanguage

參見2.138條。

2.357程序擴(kuò)展programextension

對(duì)現(xiàn)存軟件進(jìn)行增強(qiáng)以擴(kuò)大程序能力的范圍。

2.358程序探測programinstrumentation

a.插入到計(jì)算機(jī)程序中的探頭。如指令或斷言，以利于執(zhí)行監(jiān)督、正確性證明、資源監(jiān)督或其它活動(dòng)。

b.準(zhǔn)備探頭并把它插入到計(jì)算機(jī)程序中去的過程。

2.359程序庫programlibrary

計(jì)算機(jī)程序的有組織的集合。參見2.447條、2.494條。

2.360程序變異programmutation

a.對(duì)預(yù)期的程序版本故意進(jìn)行改變而獲得一個(gè)程序版本，用以估計(jì)程序測試用例的能力，看它能否檢測出所做改變。

b.為了估價(jià)程序測試數(shù)據(jù)的選擇是否適當(dāng)而建立程序變異的過程。

2.361程序保護(hù)programprotection

為預(yù)防對(duì)計(jì)算機(jī)程序的任何非授權(quán)存取或修改而施行的內(nèi)部或外部控制。

2.362程序規(guī)格說明programspecification

計(jì)算機(jī)程序的任何規(guī)格說明。參見2.143條、2.218條、2.335條、2.407條。b.與2.143條同義。

2.363程序支持庫ProgramsuPPortlibrary

參見2.439條。

2.364程序綜合programsynthesis

借助軟件（工具）把程序規(guī)格說明變換為實(shí)現(xiàn)那個(gè)規(guī)格說明的程序。

2.365程序確認(rèn)programvalidation

與2.87條同義。參見2.538條。

2.366編程，程序設(shè)計(jì)programming

a.程序的編寫工作。

b.用源程序語言或某種代碼為程序編碼之前的一部分工作作設(shè)計(jì)。

2.367編程語言，程序設(shè)計(jì)語言programminglanguage

用來設(shè)計(jì)生成或表達(dá)程序的人工語言。

2.368程序設(shè)計(jì)支持環(huán)境progsrammingsupportenvironment

通過單一命令語言來使用的工具的完整集合。用以提供在整個(gè)軟件生存周期中的程序設(shè)計(jì)支持能力。典型的環(huán)境包括在設(shè)計(jì)、編輯、編譯、裝入、測試、配置管理及項(xiàng)目管理中所用的工具。

2.369項(xiàng)目文件projectfile

參見2.370條。

2.370項(xiàng)目簿projectnotebook

書面資料(備忘錄、計(jì)劃、技術(shù)報(bào)告等等)的中心儲(chǔ)藏處。與2.369條同義。參見2.440條。

2.371項(xiàng)目計(jì)劃Projectplan

描述工程項(xiàng)目所采取的開發(fā)方案管理文檔。此計(jì)劃通常包括要做的工作、所需要的資源、使用的方法、配置管理和要遵循的質(zhì)量保證規(guī)程、要求的進(jìn)度、項(xiàng)目組織等等。

2.372項(xiàng)目進(jìn)度表projectschedule

與2.371條同義。

2.373提示PromPt

a.通知用戶系統(tǒng)已為執(zhí)行下一條命令、下一條消息、或其它用戶動(dòng)作做好了準(zhǔn)備。

b.通知用戶，系統(tǒng)已為執(zhí)行下一條命令、下一個(gè)元素、或其它輸入做好了準(zhǔn)備。

2.374正確性證明proofofcorresctness

a.數(shù)學(xué)上證明程序滿足它的規(guī)格說明的形式技巧。參見2.326條、2.529條。

b.應(yīng)用此技巧而得到的程序證明。

2.375保護(hù)protection

限制對(duì)計(jì)算機(jī)系統(tǒng)進(jìn)行全部或部分存取或使用的一種安排。

2.376協(xié)議protocl

a.一組約定或規(guī)則。它控制計(jì)算機(jī)系統(tǒng)或網(wǎng)絡(luò)內(nèi)的進(jìn)程或應(yīng)用的相互作用。

b.一組規(guī)則。它控制功能部件的操作以達(dá)到通信的目的。

2.377偽碼pseudocode

在計(jì)算機(jī)程序的設(shè)計(jì)工作中使用的程序設(shè)計(jì)語言和自然語’言的組合。

2.378下推式（存儲(chǔ)器）Pushdownstorage

按后進(jìn)先出(LIFO)的方法處理數(shù)據(jù)的存儲(chǔ)器。在這種方法中下一個(gè)要取的項(xiàng)是仍在存儲(chǔ)器中的最后存入的那個(gè)項(xiàng)。參見2.465條。

2.379鑒定qualification

一個(gè)正式的過程，通過這個(gè)過程決定產(chǎn)品是否符合它的規(guī)格說明，是否可在目標(biāo)環(huán)境中使用。

2.380鑒定需求qulificationrenquirement

準(zhǔn)則或一組條件，當(dāng)一個(gè)產(chǎn)品符合這些準(zhǔn)則或條件時(shí)，就確定它符合規(guī)格說明并可以在其目標(biāo)環(huán)境中使用。

2.381合格性測試qualificationtesting

正式測試。通常是由開發(fā)者(供方)為客戶(需方)進(jìn)行的測試，以顯示軟件符合規(guī)定的需求。參見2.6條、2.497條。

2.382質(zhì)量quality

a.產(chǎn)品或服務(wù)的全部性質(zhì)和特征，能表明產(chǎn)品滿足給定的要求。

b.參見2.452條。

2.383質(zhì)量保證qualityassurance

為使某項(xiàng)目或產(chǎn)品符合已建立的技術(shù)需求提供足夠的置信度，而必須采取的有計(jì)劃和有系統(tǒng)的全部動(dòng)作的模式。

2.384質(zhì)量度量qualitymetric

對(duì)軟件所具有的，影響其質(zhì)量的給定屬性所進(jìn)行的定量（測量）。

2.385隊(duì)列queue

按先進(jìn)先出方法進(jìn)行存取的一個(gè)列表。與2.465條相對(duì)照。

2.386實(shí)時(shí)realtime

a.這一術(shù)語涉及的是：按照計(jì)算機(jī)外部進(jìn)程所提出的時(shí)間要求，使用計(jì)算機(jī)進(jìn)行與該外部進(jìn)程相關(guān)聯(lián)的數(shù)據(jù)處理。也常用這個(gè)術(shù)語描述會(huì)話方式操作的系統(tǒng)，以及在運(yùn)行中可受人工干預(yù)的那些進(jìn)程。

b.關(guān)于物理進(jìn)程發(fā)生的實(shí)際時(shí)間;例如，在有關(guān)物理進(jìn)程發(fā)生的那一段實(shí)際時(shí)間內(nèi)所完成的計(jì)算，以便在引導(dǎo)此物理進(jìn)程中使用計(jì)算的結(jié)果。

2.387記錄record

作為一個(gè)單位來處理的有關(guān)數(shù)據(jù)或字的集合。參見2.277條。

2.388遞歸例行程序recusiveroutine

一種例行程序。它可以作為自己的子例程來使用，它直接調(diào)用它自己或被它所調(diào)用的另一子例程所調(diào)用。使用遞歸例行程序通常要求在某處(例如下推表中)保持其尚未完成的狀態(tài)的記錄。

2.389冗余redundancy

以改善運(yùn)行可靠性而引入重復(fù)或代替的系統(tǒng)元素，確保在一旦元素失效時(shí)系統(tǒng)能繼續(xù)運(yùn)行。

2.39