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

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

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

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

　　2.302模塊強(qiáng)度 module strength

　　參見2.67條。

　　2.303多級安全性 multllevel security

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

　　2.304多道程序設(shè)計 multiprogramming

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

　　b.由一臺計算機(jī)對兩個或多個計算機(jī)程序并行執(zhí)行。

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

　　2.305變異 mutation

　　參見2.360條。

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

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

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

　　2. 307自然語言 natura1 language

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

　　2.308嵌套 nest

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

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

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

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

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

　　2. 310結(jié)點(diǎn)，節(jié)點(diǎn) node

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

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

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

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

　　2. 311不交付項(xiàng) non-deliveravle item

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

　　2. 312目標(biāo)程序 object Program

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

　　2. 313現(xiàn)貨產(chǎn)品 of-the-sheIf product

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

　　2. 314開放系統(tǒng) open system

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

　　兼容性(compatibility)參見2.71條;

　　可移植性(portability)參見 2. 340條;

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

　　可擴(kuò)展性(scaliability)參見 2. 419條。

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

　　2. 315操作對象，操作數(shù) oPerand

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

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

　　2. 316操作系統(tǒng) oPerating system

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

　　2. 317運(yùn)行和維護(hù)階段 oPeration and maintenance phase

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

　　2. 318運(yùn)行可靠性 oPertional reliability

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

　　2. 319 運(yùn)行測試 oPerational testing

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

　　2.320操作符，操作員 operator

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

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

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

　　2. 321組織過程 organizational process

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

　　2.322輸出斷言 output assertion

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

　　2.323覆蓋 overlay

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

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

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

　　2.324參數(shù) parameter

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

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

　　2.325語法分析 Parse

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

　　2.326部分正確性 partial correctness

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

　　2.327修補(bǔ) patch

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

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

　　2.328路徑分析Path analysis

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

　　2.329路徑條件 path condition

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

　　2.330路徑表達(dá)式 Path expression

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

　　2. 331物理配置審計 PCA—Physical configuration audit

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

　　2.332完善性維護(hù) perfect1ve maintenance

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

　　2.333性能 performance

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

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

　　2.334 性能評價 performance evaluation

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

　　2.335性能需求 Performance requirement

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

　　2.336性能規(guī)格說明 Performance specification

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

　　b. 與2.407條同義。

　　c. 參見 2. 218條。

　　2.337 Petri網(wǎng) petrinet

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

　　2.338物理需求 Physical requirement

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

　　2.339指針 pointer

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

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

　　2.340可移植性 Portability

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

　　2. 341精度 PreCiation

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

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

　　2. 343概要設(shè)計 Prdliminary design

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

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

　　2.344預(yù)處理程序 preprocesser

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

　　2. 345特權(quán)指令 privileged instruction

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

　　2.346過程，規(guī)程propedure

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

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

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

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

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

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

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

　　2. 348產(chǎn)品 prodcut(software)

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

　　2.349產(chǎn)品認(rèn)證 product certification

　　參見2.59條。

　　2.350產(chǎn)品庫 Product library

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

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

　　與 2. 143條同義。

　　2.352程序，計劃 program

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

　　b.規(guī)定要采取的動作的一個時間表。

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

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

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

　　2.354程序塊 program block

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

　　2.355程序正確性 Program correctness

　　參見 2. 110條。

　　2.356程序設(shè)計語言 program design language

　　參見 2. 138條。

　　2.357程序擴(kuò)展 program extension

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

　　2.358程序探測 program instrumentation

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

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

　　2. 359程序庫 program library

　　計算機(jī)程序的有組織的集合。參見 2. 447條、 2. 494條。

　　2. 360程序變異 program mutation

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

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

　　2.361程序保護(hù) program protection

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

　　2.362程序規(guī)格說明 program specification

　　計算機(jī)程序的任何規(guī)格說明。參見 2.143條、 2. 218條、 2. 335條、 2. 407條。 b.與 2. 143條同義。

　　2.363程序支持庫 Program suPPort library

　　參見 2.439條。

　　2.364程序綜合 program synthesis

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

　　2.365程序確認(rèn) program validation

　　與 2. 87條同義。參見 2. 538條。

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

　　a. 程序的編寫工作。

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

　　2.367編程語言，程序設(shè)計語言 programming language

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

　　2.368程序設(shè)計支持環(huán)境 progsramming support environment

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

　　2.369項(xiàng)目文件 project file

　　參見 2. 370條。

　　2.370 項(xiàng)目簿 project notebook

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

　　2.371項(xiàng)目計劃 Project plan

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

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

　　與2.371條同義。

　　2.373提示 PromPt

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

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

　　2.374正確性證明 proof of corresctness

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

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

　　2.375保護(hù) protection

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

　　2.376協(xié)議 protocl

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

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

　　2.377偽碼 pseudo code

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

　　2.378下推式存儲器 Pushdown storage

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

　　2.379鑒定 qualification

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

　　2.380鑒定需求 qulification renquirement

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

　　2.381合格性測試 qualification testing

　　正式測試。通常是由開發(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ì)量保證 quality assurance

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

　　2.384質(zhì)量度量 quality metric

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

　　2.385隊(duì)列 queue

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

　　2.386實(shí)時 real time

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

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

　　2.387記錄 record

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

　　2.388遞歸例行程序 recusive routine

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

　　2.389冗余 redundancy

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

　　2.390回歸測試 regression testing

　　選擇性重新測試，目的是檢測系統(tǒng)或系統(tǒng)部件在修改時所引起的故障，用以驗(yàn)證上述修改未引起不希望的有害效果，或證明修改后的系統(tǒng)或系統(tǒng)部件仍滿足規(guī)定的需求。

　　2.391發(fā)行 release

　　一項(xiàng)配置管理行為，它說明某配置項(xiàng)的一個特定版本已準(zhǔn)備好用于特定的目的(例如發(fā)行測試 產(chǎn)品)。

　　2.392可靠性 reliability

　　a . 在規(guī)定時間間隔內(nèi)和規(guī)定條件下，一項(xiàng)配置實(shí)現(xiàn)所要求的功能的能力。

　　b.參見 2. 454條。

　　2.393可靠性評估 reliability assessment

　　確定現(xiàn)有系統(tǒng)或系統(tǒng)部件可靠性所達(dá)到的水平的過程。

　　2.394可靠性數(shù)據(jù) reliability data

　　在軟件生存周期中在選擇的點(diǎn)上評價軟件可靠性所需要的信息。例如可靠性模型中使用的錯誤數(shù)據(jù)和時間數(shù)據(jù)，程序?qū)傩?如復(fù)雜性)，程序設(shè)計特性(如使用的開發(fā)技術(shù)及程序員的經(jīng)驗(yàn))。

　　2.395可靠性評價 reliability evaluation

　　參見 2. 393條。

　　2.396可靠性增長 reliability growth

　　從糾正軟件故障而得到的軟件可靠性的改進(jìn)。

　　2.397可靠性模型 reliability model

　　預(yù)測、估計或評估可靠性所使用的模型。參見2.393條。

　　2.398 數(shù)據(jù)可靠性 reliability numerical

　　在規(guī)定時間間隔內(nèi)和規(guī)定條件下，一配置項(xiàng)將實(shí)現(xiàn)所要求的功能的概率。

　　2.399 重定位機(jī)器代碼 relocatable machine code

　　要求在計算機(jī)執(zhí)行之前把相對地址翻譯為絕對地址的機(jī)器語言代碼。與2.2條相對照。

　　2.400 會合 rendezvous

　　在兩個平行任務(wù)之間，當(dāng)一個任務(wù)已調(diào)用另一任務(wù)的入口，并且后一任務(wù)也正在為前者執(zhí)行一相應(yīng)的接受語句時所出現(xiàn)的相互作用。

?