軟件工程領域中通用的術語(三)
　2.301 模塊 module

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

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

　　2.302模塊強度 module strength

　　參見2.67條。

　　2.303多級安全性 multllevel security

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

　　2.304多道程序設計 multiprogramming

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

　　b.由一臺計算機對兩個或多個計算機程序并行執行。

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

　　2.305變異 mutation

　　參見2.360條。

　　2.306 N一進制 N-ary

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

　　b.具有基數n的固定基數數制系統。

　　2. 307自然語言 natura1 language

　　一種語言。其規則是根據當前的習慣用法而不是顯式的方法規定的。例如英語、漢語、法語以及 斯瓦希利語。與2.210條相對照。

　　2.308嵌套 nest

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

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

　　2.309網絡 network

　　a.一組互連或相關的結點。

　　b.涉及約束性或面向問題的修飾詞、資料、文件以及人力資源的組合，通過設計把這些組合起來以實現某些目標。例如：社會科學網絡、科學信息網絡。

　　2. 310結點，節點 node

　　a.網絡或圖中任何分支的端點，或屬于兩個或多個分支的公共結點。

　　b.在樹形結構中，下屬數據項由之發源的一點。

　　c. 在網絡中，一個或多個功能部件在此互連傳輸線的點。

　　d.借助于圖上的點表示狀態或事件。

　　2. 311不交付項 non-deliveravle item

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

　　2. 312目標程序 object Program

　　已完成編譯或匯編已準備好裝入到計算機中的程序。與2.460條相對照。

　　2. 313現貨產品 of-the-sheIf product

　　由供方、需方或第三方提供的、已經開發出來的、可得到、可使用的、現成的或需要加以修改的產品。

　　2. 314開放系統 open system

　　一種按標準建立起來的計算機系統。開放系統的主要特征是：

　　兼容性(compatibility)參見2.71條;

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

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

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

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

　　2. 315操作對象，操作數 oPerand

　　a.對之施行操作的一個實體。

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

　　2. 316操作系統 oPerating system

　　控制程序執行的軟件。操作系統可以提供以下的服務，例如，資源分配調度、輸入/輸出控制和數 據管理。雖然操作系統目前主要是一種軟件，但部分或全部地用硬件來實現是可能的。操作系統是在單一點上提供支持，而不是強制每個程序去關心如何控制硬件。參見2.496條。

　　2. 317運行和維護階段 oPeration and maintenance phase

　　軟件生存周期中的一個階段，在此階段軟件產品在規定的運行環境中進行使用、監視，需要時對軟件產品進行修改以改正問題或對變化了的需求作出響應，以獲得滿意的功能和性能。

　　2. 318運行可靠性 oPertional reliability

　　在實際使用環境中，系統或軟件子系統的可靠性。運行可靠性可能與規定環境或測試環境中的可靠性有很大的不同。

　　2. 319 運行測試 oPerational testing

　　由最終用戶在軟件的正常操作環境里對軟件執行的測試。

　　2.320操作符，操作員 operator

　　a.在符號處理中，表示操作中要實現的動作的符號。如十、一、*、/。

　　b.在描述一進程時，指明對操作對象執行的動作。

　　c.操作機器的人或運行系統的一個機構。 參見2.315條。

　　2. 321組織過程 organizational process

　　為構成自始至終的一個完整過程，由機構指定并以項目為例說明的一套軟件工程和管理過程。

　　2.322輸出斷言 output assertion

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

　　2.323覆蓋 overlay

　　a.在計算機程序中，不永久存儲在內存里的一個段。

　　b.在程序的不同階段反復使用內存的同一區域的技術。

　　c.在計算機程序的執行過程中，把計算機程序的存儲段裝到當前不再需要的程序部分所占用的存儲區域中。

　　2.324參數 parameter

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

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

　　2.325語法分析 Parse

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

　　2.326部分正確性 partial correctness

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

　　2.327修補 patch

　　a. 對目標程序的修改。辦法是用修改的機器代碼代替已有的部分機器代碼。

　　b.修改目標程序而無需重新編譯源程序。

　　2.328路徑分析Path analysis

　　對程序進行的一種分析。以標識通過該程序的所有可能的路徑，檢測不完全的路徑，或發現不處 在任何路徑上的程序部分。

　　2.329路徑條件 path condition

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

　　2.330路徑表達式 Path expression

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

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

　　對照設計規格說明檢驗已建立的某個配置項，其目的是為軟件的設計和編碼建立一個基線。

　　2.332完善性維護 perfect1ve maintenance

　　為改善性能、可維護性或其它軟件屬性而進行的維護。參見 2. 16條、 2. 109條。

　　2.333性能 performance

　　a. 計算機系統或子系統實現其功能的能力。

　　b.對計算機系統或子系統執行其功能的能力的度量。例如，響應時間、吞吐能力、事務處理數。參見 2. 335條。

　　2.334 性能評價 performance evaluation

　　對系統或系統部件的技術評價，以確定運行目標達到了何種有效程度。

　　2.335性能需求 Performance requirement

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

　　2.336性能規格說明 Performance specification

　　a. 規定系統或系統部件性能需求的規格說明。

　　b. 與2.407條同義。

　　c. 參見 2. 218條。

　　2.337 Petri網 petrinet

　　信息流的一個抽象的、形式的模型。指出一系統的靜態和動態性質。petri網通常表示成圖。圖中有兩類用弧彼此相連的結點(稱為地點和變換)和指示其動態性能的標記(稱為記號)。參見 2.467條。

　　2.338物理需求 Physical requirement

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

　　2.339指針 pointer

　　a. 指明數據項位置的標識符。

　　b.一種數據項。其值是另一數據項的位置。

　　2.340可移植性 Portability

　　軟件不加改動地從一種運行環境轉移到另一種運行環境下運行的能力。

　　2. 341精度 PreCiation

　　a.分辨幾乎相等諸值的能力的一種度量。例如，4位數字在精度上小于6位數字;但適當地計算所得出的4位數字可以比不適當地計算所得的6位數字更精確。

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

　　2. 343概要設計 Prdliminary design

　　a.分析各種設計方案和定義軟件體系結構的過程。典型的概要設計包括計算機程序組成成分和數據的定義及構造、界面的定義，并提出時間和規模方面的估計。

　　b.概要設計過程的結果。參見2.135條、2.216條。

　　2.344預處理程序 preprocesser

　　進行某些初步計算或組織的計算機程序。參見2.342條。

　　2. 345特權指令 privileged instruction

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

　　2.346過程，規程propedure

　　a. 計算機程序的一個部分。它被命名并實現一個特定的任務。比較2.482條、2.480條、2·213 條、2.301條。

　　b.為解決某一問題而采取的動作的經過。

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

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

　　2.347進程，處理 process

　　a.在計算機系統中，根據在給定條件下所要達到的目的或效果而定義的若干事件的一個唯一有限的過程。

　　b.在進程中對數據進行的操作。

　　2. 348產品 prodcut(software)

　　要交付給用戶的一套完整的計算機程序、過程以及有關的文檔和數據。

　　2.349產品認證 product certification

　　參見2.59條。

　　2.350產品庫 Product library

　　一個軟件庫。其中含有已被批準供當前運行使用的軟件。

　　2.351產品規格說明 Product sPecification

　　與 2. 143條同義。

　　2.352程序，計劃 program

　　a. 計算機程序。參見2.81條。

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

　　c.設計、編寫并測試計算機程序。

　　2.353程序體系結構 program architecture

　　計算機程序部件之間的結構和關系。程序體系結構也可以包括它和程序運行環境之間的程序界面。

　　2.354程序塊 program block

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

　　2.355程序正確性 Program correctness

　　參見 2. 110條。

　　2.356程序設計語言 program design language

　　參見 2. 138條。

　　2.357程序擴展 program extension

　　對現存軟件進行增強以擴大程序能力的范圍。

　　2.358程序探測 program instrumentation

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

　　b. 準備探頭并把它插入到計算機程序中去的過程。

　　2. 359程序庫 program library

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

　　2. 360程序變異 program mutation

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

　　b.為了估價程序測試數據的選擇是否適當而建立程序變異的過程。

　　2.361程序保護 program protection

　　為預防對計算機程序的任何非授權存取或修改而施行的內部或外部控制。

　　2.362程序規格說明 program specification

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

　　2.363程序支持庫 Program suPPort library

　　參見 2.439條。

　　2.364程序綜合 program synthesis

　　借助軟件工具把程序規格說明變換為實現那個規格說明的程序。

　　2.365程序確認 program validation

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

　　2.366編程，程序設計 programming

　　a. 程序的編寫工作。

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

　　2.367編程語言，程序設計語言 programming language

　　用來設計生成或表達程序的人工語言。

　　2.368程序設計支持環境 progsramming support environment

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

　　2.369項目文件 project file

　　參見 2. 370條。

　　2.370 項目簿 project notebook

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

　　2.371項目計劃 Project plan

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

　　2.372項目進度表 project schedule

　　與2.371條同義。

　　2.373提示 PromPt

　　a.通知用戶系統已為執行下一條命令、下一條消息、或其它用戶動作做好了準備。

　　b.通知用戶，系統已為執行下一條命令、下一個元素、或其它輸入做好了準備。

　　2.374正確性證明 proof of corresctness

　　a.數學上證明程序滿足它的規格說明的形式技巧。參見 2. 326條、2. 529條。

　　b.應用此技巧而得到的程序證明。

　　2.375保護 protection

　　限制對計算機系統進行全部或部分存取或使用的一種安排。

　　2.376協議 protocl

　　a.一組約定或規則。它控制計算機系統或網絡內的進程或應用的相互作用。

　　b.一組規則。它控制功能部件的操作以達到通信的目的。

　　2.377偽碼 pseudo code

　　在計算機程序的設計工作中使用的程序設計語言和自然語’言的組合。

　　2.378下推式存儲器 Pushdown storage

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

　　2.379鑒定 qualification

　　一個正式的過程，通過這個過程決定產品是否符合它的規格說明，是否可在目標環境中使用。

　　2.380鑒定需求 qulification renquirement

　　準則或一組條件，當一個產品符合這些準則或條件時，就確定它符合規格說明并可以在其目標環境中使用。

　　2.381合格性測試 qualification testing

　　正式測試。通常是由開發者(供方)為客戶(需方)進行的測試，以顯示軟件符合規定的需求。參見 2. 6條、2. 497條。

　　2.382質量 quality

　　a.產品或服務的全部性質和特征，能表明產品滿足給定的要求。

　　b.參見 2. 452條。

　　2.383質量保證 quality assurance

　　為使某項目或產品符合已建立的技術需求提供足夠的置信度，而必須采取的有計劃和有系統的全部動作的模式。

　　2.384質量度量 quality metric

　　對軟件所具有的，影響其質量的給定屬性所進行的定量測量。

　　2.385隊列 queue

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

　　2.386實時 real time

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

　　b.關于物理進程發生的實際時間;例如，在有關物理進程發生的那一段實際時間內所完成的計算，以便在引導此物理進程中使用計算的結果。

　　2.387記錄 record

　　作為一個單位來處理的有關數據或字的集合。參見2.277條。

　　2.388遞歸例行程序 recusive routine

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

　　2.389冗余 redundancy

　　以改善運行可靠性而引入重復或代替的系統元素，確保在一旦元素失效時系統能繼續運行。

　　2.390回歸測試 regression testing

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

　　2.391發行 release

　　一項配置管理行為，它說明某配置項的一個特定版本已準備好用于特定的目的(例如發行測試 產品)。

　　2.392可靠性 reliability

　　a . 在規定時間間隔內和規定條件下，一項配置實現所要求的功能的能力。

　　b.參見 2. 454條。

　　2.393可靠性評估 reliability assessment

　　確定現有系統或系統部件可靠性所達到的水平的過程。

　　2.394可靠性數據 reliability data

　　在軟件生存周期中在選擇的點上評價軟件可靠性所需要的信息。例如可靠性模型中使用的錯誤數據和時間數據，程序屬性(如復雜性)，程序設計特性(如使用的開發技術及程序員的經驗)。

　　2.395可靠性評價 reliability evaluation

　　參見 2. 393條。

　　2.396可靠性增長 reliability growth

　　從糾正軟件故障而得到的軟件可靠性的改進。

　　2.397可靠性模型 reliability model

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

　　2.398 數據可靠性 reliability numerical

　　在規定時間間隔內和規定條件下，一配置項將實現所要求的功能的概率。

　　2.399 重定位機器代碼 relocatable machine code

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

　　2.400 會合 rendezvous

　　在兩個平行任務之間，當一個任務已調用另一任務的入口，并且后一任務也正在為前者執行一相應的接受語句時所出現的相互作用。

?