您好,歡迎來電子發(fā)燒友網(wǎng)! ,新用戶?[免費注冊]

您的位置:電子發(fā)燒友網(wǎng)>電子百科>電腦硬件>臺式機>

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

2010年04月14日 10:54 srfitnesspt.com 作者:佚名 用戶評論(0
關(guān)鍵字:軟件工程(10942)

軟件工程領(lǐng)域中通用的術(shù)語(二)
 2.401 可重復(fù)性 rePeatability

  參見 2.516條。

  2.402 招標(biāo)(標(biāo)書)request for proposal [tender]

  需方使用的一份文件,用來向潛在的投標(biāo)人表示它要獲得某特定系統(tǒng)、產(chǎn)品或服務(wù)的意圖。

  2.403需求 requirement

  a.用戶為解決某一問題或達(dá)到某個目標(biāo)所需要的條件或能力。

  b.系統(tǒng)或系統(tǒng)部件為滿足或具有的條件或能力以滿足合同、標(biāo)準(zhǔn)、規(guī)格說明或其它正式的強制性文件。所有需求的集合形成了以后開發(fā)系統(tǒng)或系統(tǒng)部件的基礎(chǔ)。參見2.404條、2.406條。2.407條。

  2.404需求分析 requirements analvaia

  a.研究用戶要求以得到系統(tǒng)或軟件需求的定義的過程。

  b.對系統(tǒng)需求或軟件需求的驗證。

  2.405需求審查 requirements InsPection

  參見2.237條。

  2.406需求階段 requirements phase

  軟件生存周期中的一個階段。在此期間對軟件產(chǎn)品的需求(如功能和性能方面的能力)進(jìn)行定義并編制出相應(yīng)的文檔。

  2.407需求規(guī)格說明 requirements specification

  陳述系統(tǒng)或系統(tǒng)部件(例如,軟件配置項)的需求的規(guī)格說明,通常包括功能需求、性能需求。接口需求、設(shè)計需求以及開發(fā)標(biāo)準(zhǔn)。

  2.408需求的規(guī)格說明語言 requirements specification language

  具有特殊構(gòu)造和驗證協(xié)議的形式語言,用于規(guī)定、驗證和編制需求文件。

  2.409需求驗證 requirements verifcation

  參見2.539條。

  2.410退役 retirement

  操作和維護(hù)機構(gòu)撤出現(xiàn)有的支持,全部或部分地由一個新的系統(tǒng)來代替或者安裝一個更新的系統(tǒng)。

  2.411退役階段 retirement Phase

  軟件生存周期中的一個階段。在此階段內(nèi),對軟件產(chǎn)品的支持被終止。

  2.412可重用性,復(fù)用率 reusability

  一個模塊可在多種應(yīng)用中加以利用的程度。

  2.413評審 review

  參見2.142條。

  2.414健壯性 robustness

  盡管引入了不合理的輸入,軟件仍能繼續(xù)正常運行的程度。

  2.415根編譯程序 root compiler

  一種編譯程序。其輸出是與機器無關(guān)的中間表示。當(dāng)它與依賴于機器的代碼生成程序組合時,就構(gòu)成了完整的編譯程序。

  2.416例行程序一,例程 routine

  a.實現(xiàn)特定任務(wù)的一個計算機程序段。參見 2.213條、2.346條、2.482條、2.480條。

  b.廣泛或頻繁使用的程序段,或由程序調(diào)用的指令序列。

  2.417運行態(tài),運行方式 run mode

  當(dāng)計算機正自動地執(zhí)行著存儲在存儲單元中的指令,從而被認(rèn)為是正在履行其功能時的那種狀態(tài)。

  2.418運行時間 run time

  a.執(zhí)行一個程序時所花費時間的度量。運行時間包括中央處理機時間、外圍處理時間和外圍存取時間,例如:sh的運行時間。

  b.程序開始執(zhí)行的瞬間。參見 2.188條。

  2.419可擴展性 scaliability

  是指軟件系統(tǒng)可以在不同規(guī)模、不同檔次的硬件平臺上運行的能力。

  2.420安全性,保密性 security

  對計算機硬件、軟件進(jìn)行的保護(hù),以防止其受到意外的或蓄意的存取、使用、修改、毀壞或泄密。

  安全性也涉及對人圓勁數(shù)據(jù)、通信以及計算機安裝的物理保護(hù)。

  2.4 21 安全核心 security kernal

  與安全性有關(guān)的關(guān)鍵性語句的一個小的、自含的集合,作為操作系統(tǒng)的特權(quán)部分。為了使用一程序或存取某數(shù)據(jù),必須滿足核心所規(guī)定的全部準(zhǔn)則。

  2.422撒播 seeding

  參見2.201條。

  2.423程序段,存儲段,分段 segment

  a.計算機程序中的獨立部分,它可在任一時間執(zhí)行而無需把整個計算機程序都保持在內(nèi)存 中。參見2.77條、2.301條、2.480條。

  b.在兩個相鄰轉(zhuǎn)移分支點之間的計算機程序語句的序列。參見2.328條。

  c.把計算機程序和數(shù)據(jù)分為若干段。

  2.424語義 semantics

  a.字符或字符組與其含義之間的關(guān)系。這種關(guān)系是與它們的解釋和使用的方式無關(guān)的。

  b.符號和它們的含義之間的關(guān)系。

  c.按照元語言表達(dá)計算機語言結(jié)構(gòu)的含義的規(guī)則。 參見2.489條。

  2.425信號量 semaphore

  用于同步并行進(jìn)程的一種共享變量。它用來指明某動作是否已完成或某事件是否已發(fā)生。

  2.426順序進(jìn)程 sequential processes

  以這樣一種方式執(zhí)行的進(jìn)程,即在下一個動作開始之前本動作必須結(jié)束。與2.90條相對照。

  2.427服務(wù)(軟件) service(software)

  與軟件有關(guān)的活動、工作或義務(wù)的實施,例如軟件的開發(fā)、維護(hù)和操作等。

  2.428嚴(yán)重性 severity

  參見2.116條。

  2.429副作用 side effect

  進(jìn)行的處理或活動,或得到的結(jié)果,它們與程序、子程序、或操作的主要功能相比是處于第二位的。

  2.430模擬 simulation

  由另一系統(tǒng)來表示某實際或抽象系統(tǒng)中選定的行為的特征。在數(shù)字計算機系統(tǒng)中,模擬由軟件 來做,例如,

  (a)借助于由計算機系統(tǒng)執(zhí)行的操作表示物理現(xiàn)象。

  (b)用一計算機系統(tǒng)的操作表示 另一個計算機系統(tǒng)的操作。與2.23條相對照。

  2.431模擬器 simulator

  一個設(shè)備、一個數(shù)據(jù)處理系統(tǒng)、或一個計算機程序,它表示了某實際或抽象系統(tǒng)的行為的某些特征。

  2.432規(guī)模估計 sizing

  對一個系統(tǒng)或系統(tǒng)部件所需要的源程序的行數(shù)或計算機存儲的總量的估計。

  2.433軟件 software

  a.與計算機系統(tǒng)的操作有關(guān)的計算機程序、規(guī)程、規(guī)則,以及可能有的文件、文檔及數(shù)據(jù)。參見

  2.25條、2.496條。

  b.與計算機系統(tǒng)的操作有關(guān)的程序、規(guī)程、規(guī)則及任何與之有關(guān)的文檔。與2.220條相對照。

  2.434 軟件部 sottware component

  一個軟件配置項中的一個明確的部分。

  注:一個軟部件含有軟件的多個單元;也可以含有多個較低級的軟部件。

  2.435軟件配置 software configuration

  軟件產(chǎn)品在不同時期的組合。該組合隨著開發(fā)工作的進(jìn)展而不斷變化。

  2.4 3 6軟件配置管理 software configuration management

  參見 2.98條。

  2.4 3 7軟件數(shù)據(jù)庫 software data base

  存放運行軟件系統(tǒng)內(nèi)部公共數(shù)據(jù)的數(shù)據(jù)定義及其當(dāng)前值的文件。

  2.4 3 8軟件開發(fā)周期 software develoPment cycle

  a.從決定開發(fā)一個軟件產(chǎn)品開始到產(chǎn)品交付為止的時間間隔。這個周期通常包括需求階段、 設(shè)計階段、實現(xiàn)階段、測試階段,有時還包括安裝和驗收階段。與2.448條相對照。

  b.從決定開發(fā)軟件產(chǎn)品開始到開發(fā)者不再改進(jìn)產(chǎn)品時為止的時間周期。

  c.有時作為軟件生存周期的同義語使用。

  2.4 3 9軟件開發(fā)庫 software develoPment liabrary

  存放與軟件開發(fā)工作有關(guān)的計算機可讀信息和人們可讀信息的軟件庫。

  2.4 4 0軟件開發(fā)簿 software develppment note book

  有關(guān)給定軟件模塊情況材料的集合。其內(nèi)容通常包括與給定軟件模塊有關(guān)的需求、設(shè)計、技術(shù)報 告、代碼列表清單、測試計劃、測試結(jié)果、問題報告、進(jìn)度、注釋等等。參見2.370條。

  2.4 41軟件開發(fā)計劃 software develoPment plan

  為開發(fā)某一軟件產(chǎn)品而做的項目計劃。與2.86條同義。

  2.4 4 2軟件開發(fā)過程 software develoPment process

  把用戶要求轉(zhuǎn)化為軟件需求,把軟件需求轉(zhuǎn)化為設(shè)計,用代碼來實現(xiàn)設(shè)計,對代碼進(jìn)行測試,完成文檔編制,并確認(rèn)軟件可以投入運行性使用的過程。

  2.4 4 3軟件文檔 software documentation

  以人們可讀的形式出現(xiàn)的技術(shù)數(shù)據(jù)和信息。包括計算機列表和打印輸出,它們描述或規(guī)定軟件設(shè)計或細(xì)節(jié),說明軟件具備的能力,或為使用軟件以便從軟件系統(tǒng)得到所期望的結(jié)果而提供的操作指令。參見 2.157條、2.493條、2.536條。

  2.444軟件工程 software engineering

  軟件開發(fā)、運行、維護(hù)和引退的系統(tǒng)方法。

  2.4 4 5軟件經(jīng)驗數(shù) software experience data

  與軟件的開發(fā)或使用有關(guān)的數(shù)據(jù)。這在開發(fā)軟件模型、可靠性預(yù)測,或軟件的其它定量描述中可能是有用的。

  2.446軟件庫管理員 sofware librarian

  負(fù)責(zé)建立、管理和維護(hù)軟件庫的人員。

  2.447軟件庫 software library

  軟件和有關(guān)的文檔說明的一個受控制的集合。目的是有助于軟件開發(fā)、使用或維護(hù)。類型包括軟件開發(fā)庫、主庫、產(chǎn)品庫、程序庫和軟件儲藏倉。參見2.494條。

  2.448軟件生存周期 sofware life cycle

  從設(shè)計軟件產(chǎn)品開始到產(chǎn)品不能再使用時為止的時間周期。軟件生存周期通常包括需求階段、 設(shè)計階段、實現(xiàn)階段、測試階段、安裝和驗收階段、運行和維護(hù)階段,有時還包括引退階段。與 2.438條相對照。

  2.4 4 9軟件維護(hù) sofware maintenance

  a.在一軟件產(chǎn)品交付之后對其進(jìn)行修改,以糾正故障。

  b.在一軟件產(chǎn)品交付之后對其進(jìn)行修改,以糾正故障,改進(jìn)性能和其它屬性,或使產(chǎn)品適應(yīng)改

  變了的環(huán)境。參見2.16條、 2.109條、2.332條。

  2.450軟件監(jiān)督程序 software monitor

  和另一計算機程序并行執(zhí)行的軟件工具,并對那個程序的執(zhí)行情況提供詳細(xì)的信息。

  2.451軟件產(chǎn)品 software Prodnuet

  指定交付給用戶的軟件實體。

  2.452軟件質(zhì)量 sofwarer requality

  a.軟件產(chǎn)品中能滿足給定需要的性質(zhì)和特性的總體。例如,符合規(guī)格說明。

  b.軟件具有所期望的各種屬性的組合程度。

  c.顧客和用戶覺得軟件滿足其綜合期望的程度。

  d.確定軟件在使用中將滿足顧客預(yù)期要求的程度。

  2.453軟件質(zhì)量保證 software quality assurance

  參見2.383條。

  2.454軟件可靠性 software reliability

  a.在規(guī)定條件下,在規(guī)定的時間內(nèi)軟件不引起系統(tǒng)失效的概率。該概率是系統(tǒng)輸入和系統(tǒng)使用的函數(shù),也是軟件中存在的缺陷的函數(shù)。系統(tǒng)輸入將確定是否會遇到已存在的缺陷(如果有缺陷存在的)。

  b.在規(guī)定的時間周期內(nèi)所述條件下程序執(zhí)行所要求的功能的能力。

  2.455軟件檔案庫 software rePOSitory

  一個軟件庫。它用于存儲軟件和有關(guān)文檔的永久性的檔案。

  2.456軟件潛行分析 software sneak analysis

  施用于軟件的一種技術(shù)。用以識別潛伏的(潛行的)邏輯控制路徑或條件。這些路徑或條件會禁止所期望進(jìn)行的操作或引起不希望有的操作出現(xiàn)。

  2.457軟件工具 software tool

  一種計算機程序。用來幫助開發(fā)、測試、分析或維護(hù)另一計算機程序或它的文件。例如,自動設(shè)計工具、編譯程序、測試工具、維護(hù)工具。

  2.458軟件單元 software unit

  一段可分開編譯的代碼。

  2.459源語言source language

  a.用來書寫源程序的語言。

  b.其語句被翻譯的一種語言。與2.501條相對照。

  2.460源程序source Program

  a.在計算機執(zhí)行之前必須被編譯、匯編或解釋的計算機程序。

  b.用源語言表達(dá)的計算機程序。與2.312條相對照。

  2.461規(guī)格說明,規(guī)范 sPecification

  a.以一種完全的、精確的、可驗證的方法規(guī)定系統(tǒng)或系統(tǒng)部件的需求、設(shè)計、性能或其它特性的文件。參見2.143條、2.211條、2.218條、2.251條、2.335條、2.407條。

  b.制定規(guī)格說明的過程。

  c.對某產(chǎn)品、某種材料或進(jìn)程將要滿足的一組需求的扼要陳述,并在適當(dāng)?shù)臅r候,指明一種過程,根據(jù)該過程可確定給定需求是否得到滿足。

  2.462規(guī)格說明語言 sPecification language

  一種語言。常常是機器可處理的自然語言和形式語言的組合。用來規(guī)定系統(tǒng)或系統(tǒng)組成成分的需求、設(shè)計、性能或其它特性。參見2.138條、2.408條。

  2.463規(guī)格說明驗證 sPecification verification

  參見2.539條。

  2.464穩(wěn)定性 stability

  a.在有干擾或破壞事件影響下仍能保持不變的能力。

  b.在干擾或破壞性事件之后返回到原始狀態(tài)的能力。

  2.465棧 stack

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

  2.466標(biāo)準(zhǔn)實施器 standards enforcer

  一種軟件工具。它確定指定的開發(fā)標(biāo)準(zhǔn)是否得到遵循。標(biāo)準(zhǔn)可以包括模塊大小、模塊結(jié)構(gòu)、注釋的約定、某些語句形式的使用以及文件編制約定。

  2.467狀態(tài)圖 state diagram

  一種有向圖。其中的結(jié)點對應(yīng)于系統(tǒng)的內(nèi)部狀態(tài),也對應(yīng)于遷移;常常用來通過狀態(tài)的改變來描述系統(tǒng)。參見2.337條。

  2.468靜態(tài)分析 static analysis

  估計程序而無需執(zhí)行程序的過程。參見2.146條、2.63條、2.237條、2.545條、2·164條。

  2.4 69靜態(tài)分析程序 static analyzer

  一種軟件工具。它有助于分析計算機程序而無需執(zhí)行該程序,例如語法檢驗程序、編譯程序、交叉引用表生成程序、標(biāo)準(zhǔn)實施器以及流程圖。與2.165條相對照。

  2.470靜態(tài)結(jié)合 static binding

  在程序執(zhí)行之前實現(xiàn)的,執(zhí)行期間不加改變的結(jié)合。與2.166條反義。

  2.471統(tǒng)計測試模型 statistical test model

  一種模型。它把程序故障與輸入數(shù)據(jù)集(或多個數(shù)據(jù)集)聯(lián)系起來。模型也給出了這些故障將引起程序失效的概率。

  2.472逐步細(xì)化(法) stePwise refinement

  系統(tǒng)開發(fā)方法學(xué),在其中首先概括地決定數(shù)據(jù)定義和處理步驟,然后逐步增加細(xì)節(jié)。參見 2.22 2 條、2.526條、2.52條。

  2.473串 string

  實體。如字符或物理元素的線性序列。

  2.474強類型 strong tyPing

  一種程序設(shè)計語言特性。它要求對每個數(shù)據(jù)對象的數(shù)據(jù)類型都作出說明,并排除操作符施用于 不適當(dāng)?shù)臄?shù)據(jù)對象上的情況。因此,防止了不相容類型的數(shù)據(jù)對象的相互作用。

  2.475結(jié)構(gòu)化設(shè)計 structured design

  進(jìn)行軟件設(shè)計的一種帶有約束性的方法。它遵循一組指定的規(guī)則。這些規(guī)則是建立在諸如自頂向下設(shè)計、逐步求精法和數(shù)據(jù)流分析等原則基礎(chǔ)上的。

  2.476結(jié)構(gòu)化程序 structured Program

  由一組基本的控制結(jié)構(gòu)構(gòu)造而成的程序。每一個控制結(jié)構(gòu)有一個入口點和一個出口點。控制結(jié)構(gòu)組典型地包括:由兩條或多條指令組成的序列;兩個或多個指令或指令序列的條件選擇;一個指令或指令序列的重復(fù)執(zhí)行。

  2.477結(jié)構(gòu)化程序設(shè)計 structured Programming

  a.一種定義良好的軟件開發(fā)技術(shù)。它采用自頂向下設(shè)計和實現(xiàn)方法,并嚴(yán)格地使用結(jié)構(gòu)化程序的控制構(gòu)造。

  b.不嚴(yán)格地講,指組織和編寫程序的一種技術(shù)。這種技術(shù)可簡化復(fù)雜性,改進(jìn)明晰度,并便于排除隱錯和修改。

  2.478結(jié)構(gòu)化程序設(shè)計語言 structured programming language

  一種程序設(shè)計語言。它提供了結(jié)構(gòu)化程序的構(gòu)造并有利于結(jié)構(gòu)化程序的開發(fā)工作。

  2.479樁模塊 stub

  a.在較高級的模塊和測試期間所使用的取代低層模塊的虛程序模塊。

  b.用來代替程序單位并指明該單位是在別處定義或?qū)⒃趧e處定義的程序語句。

  2.480分包商 sub-contractor

  依據(jù)合同向合同當(dāng)事人的一方提供系統(tǒng)、產(chǎn)品或服務(wù)的一個機構(gòu)。

  2.481子程序 subProgram

  可以被一個或多個其它的程序單位所調(diào)用的程序單位。例如,過程、函數(shù)、子例行程序。

  2.482子例行程序,子例程 subroutine

  a.一組順序的語句。可在一個或多個計算機程序中以及在一個計算機程序內(nèi)的一處或多處使用。

  b.可以作為另一例行程序一部分的例行程序。

  c.由調(diào)用語句所調(diào)用的子程序。它可以接受或不接受輸入值,并通過參數(shù)名、程序變量或機構(gòu)而不是子例行程序名自身來返回任何輸出值。與2.213條相對照。參見2.346條。

  2.483子系統(tǒng) subsystem

  一組裝配件或部件,或兩者的組合,以實現(xiàn)單一的功能。

  2.484管理程序 suPervisor

  參見2.485條。

  2.485管理程序 suPervisory Program

  一種計算機程序,通常是操作系統(tǒng)的一部分。它控制其它計算機程序的執(zhí)行并且調(diào)節(jié)數(shù)據(jù)處理系統(tǒng)中的工作流程。與 2.190條、 2.484條同義。

  2.486供方 suPPlier

  按照所簽的合同向需方提供系統(tǒng)、產(chǎn)品或服務(wù)的一個機構(gòu)(是合同當(dāng)事人、生產(chǎn)者、賣方、批發(fā)商的同義詞)。 注:需方可以指定它的機構(gòu)中的某一部門做為供方。

  2.487支持軟件 suPPort software

  用于幫助和支持開發(fā)的軟件。

  2.488符號執(zhí)行 symbolic execution

  一種驗證技術(shù)。在這種技術(shù)中,模擬程序的執(zhí)行是使用符號而不是真實的值來代表輸入數(shù)據(jù),而程序輸出則表示成包含這些符號的邏輯或數(shù)學(xué)表達(dá)式。

  2.489語法 syntax

  a.字符或字符組之間的關(guān)系。這種關(guān)系與它們的含義或它們的解釋及使用的方法無關(guān)。

  b.語言中表達(dá)式的結(jié)構(gòu)。

  c.管轄語言結(jié)構(gòu)的規(guī)則。參見2.424條。

  2.490系統(tǒng) system

  a.人、機器和方法的集合。用來實現(xiàn)一組規(guī)定的功能。

  b.一個完整的整體。它由種類不同的、相互作用的、專門的結(jié)構(gòu)和子功能部件所組成。

  c.由某些相互作用或相互依賴關(guān)系聯(lián)合起來的小組或子系統(tǒng)。它可執(zhí)行多種職能,但是作為一個單位而發(fā)揮其作用。

  2.491系統(tǒng)體系結(jié)構(gòu) system architecture

  系統(tǒng)各部件之間的結(jié)構(gòu)和關(guān)系。系統(tǒng)體系結(jié)構(gòu)也可以包括系統(tǒng)和它的運行環(huán)境之間的界面。

  2.492系統(tǒng)設(shè)計 system design

  a.為系統(tǒng)定義硬件和軟件結(jié)構(gòu)、部件、模塊、接口及數(shù)據(jù),以滿足規(guī)定的系統(tǒng)需求的過程。

  b.系統(tǒng)設(shè)計過程的結(jié)果。

  2.493系統(tǒng)文檔 system documentation

  表達(dá)系統(tǒng)的需求、設(shè)計思想、設(shè)計細(xì)節(jié)、能力、限制,以及其它特性的文檔。與2.536條相對照。

  2.494系統(tǒng)庫 system library

  駐留于系統(tǒng)中的受控軟件的集合??晒┐嫒『褪褂茫蛲ㄟ^引用而合并到其它程序中去。例如,在需要時由連接編輯程序合并到某程序中去的一組例行程序。參見2.447條。

  2.495系統(tǒng)可靠性 system reliability

  包括全部硬件和軟件子系統(tǒng)在內(nèi)的某個系統(tǒng)在規(guī)定的環(huán)境中及規(guī)定的時間里正確執(zhí)行所要求的任務(wù)或使命的概率。參見2.318條、2.454條。

  2.496系統(tǒng)軟件 system software

  管理、使用和維護(hù)計算機系統(tǒng)資源的軟件。例如,操作系統(tǒng)、編譯程序、實用程序。與2.25條相對照。

  2.497系統(tǒng)測試 system testing

  測試整個硬件和軟件系統(tǒng)的過程。以驗證系統(tǒng)是否滿足規(guī)定的需求。參見2.6條、2.381條。

  2.498系統(tǒng)確認(rèn) system validation

  參見2.538條。

  2.499系統(tǒng)驗證 system verification

  參見2.539條。

  2.500表格table

  a.數(shù)據(jù)的一個陣列,其中每一項均可借助于一個或多個變元清楚地予以標(biāo)識。

  b.數(shù)據(jù)的一個集合,其中每一項可由標(biāo)號、位置,或按某些其它方法唯一地標(biāo)識。

  2.501目標(biāo)語言 target language

  由源語句翻譯成的語言。與2.459條相對照。

  2.502目標(biāo)機 target machine

  a.打算在其上運行程序的計算機。

  b.由另一臺計算機加以模擬的計算機。與2.226條相對照。

  2.503任務(wù) task

  構(gòu)成活動的基本元素,由若干個任務(wù)構(gòu)成一項活動。

  2.504終止性證明 termination Proof

  正確性證明中的一項內(nèi)容,它證明在全部規(guī)定的輸入條件下,程序?qū)⒔K止。

  2.505測試臺 test bed

  a.測試環(huán)境。其中包括測試系統(tǒng)或系統(tǒng)部件所必須的硬件、探測工具、模擬程序,以及其它支持軟件。

  b.在測試系統(tǒng)或系統(tǒng)的部件時所必需的全部測試用例的匯集。

  2.506測試用例 test case

  測試數(shù)據(jù)及與之相關(guān)的測試規(guī)程的一個特定的集合。它是為了特定目的(如考察特定程序路徑或驗證是否符合特定的需求)而產(chǎn)生出來的。參見2.520條。

  2.507測試用例生成器 test case generator

  參見2.38條。

  2.508測試范圍 test coverage

  一個范圍,在此范圍內(nèi)測試程序測試系統(tǒng)需求能否滿足。

  2.509測試數(shù)據(jù) test data

  用來測試系統(tǒng)或系統(tǒng)部件的數(shù)據(jù)。參見2.506條。

  2.510 測試數(shù)據(jù)生成器 test data generator

  參見 2.38條。

  2.511測試驅(qū)動程序 test driver

  一種驅(qū)動程序。它調(diào)用被測試的對象,它還可以提供測試輸入并報告測試結(jié)果。

  2.512測試日志 test log

  按年月日所做的測試活動的全部有關(guān)細(xì)節(jié)的記錄。

  2.513測試階段 test phase

  軟件生存周期中的一段時間。在此期間對軟件產(chǎn)品的部件進(jìn)行評價且進(jìn)行集成。并評價軟件產(chǎn)品以確定需求是否已得到滿足。

  2.514測試計劃 test plan

  一個文件,它敘述了對于預(yù)定的測試活動將要采取的途徑。典型的計劃中包括:標(biāo)識要測試的項 目、要完成的測試、測試進(jìn)度表、人事安排要求、報告要求、評價準(zhǔn)則,以及任何臨界的要求的臨 時計劃。

  2.515測試規(guī)程 test procedure

  對給定的測試,就其建立、運行和結(jié)果估計所作的詳細(xì)說明。常常把一組有關(guān)的過程組合起來形成測試過程文件。

  2.516測試可重現(xiàn)性 test rePeatability

  測試的一種屬性。指明相同環(huán)境、不同時間進(jìn)行的測試是否產(chǎn)生相同的結(jié)果。

  2.517 測試報告 test report

  描述對系統(tǒng)或系統(tǒng)部件進(jìn)行的測試行為及結(jié)果的文件。

  2.518測試有效性 test validity

  完成測試規(guī)定目標(biāo)的程度。

  2.519可測試性 testablility

  a.軟件的一種性質(zhì)。它表明了既便于測試準(zhǔn)則的建立又便于就這些準(zhǔn)則對軟件進(jìn)行評價的程度。

  b.需求的定義便于對需求進(jìn)行分析以建立測試準(zhǔn)則的程度。

  2.520測試 testing

  由人工或自動方法來執(zhí)行或評價系統(tǒng)或系統(tǒng)部件的過程,以驗證它是否滿足規(guī)定的需求;或識別出期望的結(jié)果和實際結(jié)果之間有無差別。比較2.12 8條。

  2.521吞吐量 throughput

  對計算機系統(tǒng)在一段時間內(nèi)實現(xiàn)工作總量的度量。例如,每天的作業(yè)數(shù)。

  2.522分時 time sharing

  a.計算機系統(tǒng)的一種操作技術(shù)。它提供了在一臺處理機中在時間上交替進(jìn)行兩個或多個進(jìn)程。

  b.指在一個計算機系統(tǒng)上時間的交替使用,它能使兩個或多個用戶并發(fā)地執(zhí)行計算機程序。

  2.523計時分析程序 timing analyzer

  一種軟件工具。用于估計或度量計算機程序的執(zhí)行時間或部分計算機程序的執(zhí)行時間。這可通過求每條路徑中指令的執(zhí)行時間之和得到,或由在程序中的規(guī)定點處插入探頭并度量探頭之間的執(zhí)行時間而得到。

  2.524容錯 toIerance

  系統(tǒng)在各種異常條件下提供繼續(xù)操作的能力。

  2.525工具 tool

  a.參見 2.457條。

  b.用來分析軟件或其性能的執(zhí)行時間而得到。

  2.526自頂向下toP-down

  指從層次的最高級部件處開始,逐步推進(jìn)到較低級的方法。例如,自頂向下設(shè)計、自頂向下程序設(shè)計、自頂向下測試。與2.52條相對照。

  2.527自頂向下設(shè)計 toP-down design

  由整體到局部逐級細(xì)化的設(shè)計過程,即先標(biāo)出系統(tǒng)的主要部件,并把它們分解為較低級成分,然后重復(fù)進(jìn)行直到不能(或不必)再分解為止。與 2.5 3條相對照。

  2.528自頂向下測試 toP-down testing

  通過對較低級部件進(jìn)行模擬的辦法來從頂?shù)降字鸩降貦z查按層次方式所構(gòu)造的程序的過程。

  2.529完全正確性 total correctness

  在正確性證明中,指出程序的輸出斷言是它的輸入斷言和處理步驟的合乎邏輯的結(jié)果,并且在全部規(guī)定的輸入條件下程序能終止。與2.326條相對照。

  2.530蹤跡,追蹤 trace

  a.計算機程序執(zhí)行情況的記錄;它顯示指令執(zhí)行的順序。

  b.在計算機程序執(zhí)行期間出現(xiàn)的全部或某類指令或程序事件的記錄。

  c.產(chǎn)生一個蹤跡。

  2.531追蹤程序 tracer

  用于追蹤的軟件工具。

  2.532翻譯程序,轉(zhuǎn)換程序 trandator

  一種程序。它把。種語言的語句序列變換為另。種語言中的等價的語句序列。參見 2· 30條、 2.73條、 2.255條。

  2.533 樹 tree

  由通過分支互相連接的結(jié)點組成的抽象的層次結(jié)構(gòu)。其中:(a)每個分支把7個結(jié)點連接到一個直屬的下級結(jié)點;(b)有唯一稱為根的一個結(jié)點,它不附屬于任何其它結(jié)點;(c)根之外的每個結(jié)點只直接從屬于另一個結(jié)點。

  2.534類型 type

  參見2.127條。

  2.535用戶 user

  使用可操作的系統(tǒng)完成。項特定的功能的個人或機構(gòu)。(可以是買主或需方的同義詞。)

  2.536用戶文檔 user documentation

  一套文檔。它為使用系統(tǒng)以期獲得所希望結(jié)果的最終用戶提供系統(tǒng)指令方面的信息。例如,用戶手冊。與2.493條相對照。

  2.537實用軟件 utility software

  計算機程序或例行程序。設(shè)計這種程序的目的是為其它應(yīng)用軟件、操作系統(tǒng)或系統(tǒng)用戶提供他們所要求的某些通用支持功能。

  2.538確認(rèn) validation

  在軟件開發(fā)過程結(jié)束時對軟件進(jìn)行評價,以確認(rèn)它和軟件需求是否相一致的過程。參見2·5” 條。

  2.539驗證 verification

  a.確定軟件開發(fā)周期中的。個給定階段的產(chǎn)品是否達(dá)到前階段確立的需求的過程。參見 2.538條。

  b.程序正確性的形式說明。參見2.374條。

  c.評審、審查、測試、檢查、審計等活動,或?qū)δ承╉?、處理、服?wù)或文件等是否和規(guī)定的需求相一致進(jìn)行判斷和提出報告。

  2.540驗證系統(tǒng) verification System

  參見2.39條。

  2.541版本 version

  某一配置項的一個可標(biāo)識的實例。 注:軟件某版本的修改產(chǎn)生一個新的版本,但它需要配置管理活動。

  2.542虛擬機 virtual machine

  對計算機及其有關(guān)設(shè)備的功能模擬。

  2.543虛擬空間 virtual sPace

  a.計算機制圖中的坐標(biāo)空間,空間中的每一單元由用戶定義的坐標(biāo)系表示。

  b.用戶程序運行的一個邏輯地址空間。

  2.544虛擬存儲器 virtul storage

  可以被計算機系統(tǒng)的用戶看作可編址主存儲器的存儲空間。在程序運行時虛地址被映射為實地址。虛擬存儲器的大小由計算機系統(tǒng)的編址方式及所能使用的輔助存儲器的總?cè)萘看_定,而不受主存儲器的實際容量所限制。

  2.545走查walk-through

  評審過程在此過程中設(shè)計者或程序員引導(dǎo)開發(fā)小組中一名或多名其它成員通讀已書寫的設(shè)計或編碼,其它成員負(fù)責(zé)提出問題并對有關(guān)技術(shù)、風(fēng)格、可能的錯誤、是否違背開發(fā)標(biāo)準(zhǔn)的地方等進(jìn)行評論。與2.237條相對照。
2.101 連接 connection
  a. 程序的某。部分對程序另。部分的標(biāo)識符(即,在另外地方發(fā)現(xiàn)的標(biāo)識)的引用。參見2.249條。
  b.為了傳遞信息而在功能部件之間建立的關(guān)系。

2.102 合同 contract
  通過法律約束當(dāng)事雙方的一個協(xié)議,或是在一個機構(gòu)內(nèi)部為了提供服務(wù)的一個內(nèi)部協(xié)議,該協(xié)議提供的服務(wù)適用于一個系統(tǒng)或系統(tǒng)一部分的供應(yīng)、開發(fā)、生產(chǎn)、操作或維護(hù)。

2.103合同所要求的審計 contractually required audit
  合同所要求的審核過程。一般由需方或由獨立的機構(gòu)主持進(jìn)行。此過程對產(chǎn)品或服務(wù)提供一個獨立的評價,以決定產(chǎn)品或服務(wù)是否符合它們的需求。

2.104 控制數(shù)據(jù) control data
  選擇一程序中的操作方式或子方式,給順序流指向,或者直接影響軟件操作的數(shù)據(jù)。

2.105控制語句 control statement
  影響操作執(zhí)行順序的程序設(shè)計語言的語句。

2.106控制結(jié)構(gòu) control structure
  通過計算機程序決定控制流的構(gòu)造。參見2.91條。

2.107轉(zhuǎn)換 conversion
  對現(xiàn)有軟件進(jìn)行修改,使之在不同環(huán)境工作時能具有等同的功能,例如,把二個程序從FOR-TRAN變換成Ad。。把在一臺計算機上運行的程序變換成能在另一臺計算機上運行的程序。

2.108 協(xié)同例行程序 co-routines
  彼此能調(diào)用,但不存在上下級關(guān)系的兩個或兩個以上的模塊。

2.109改正性維護(hù) corrective maintenance
  專門為克服現(xiàn)有故障而進(jìn)行的維護(hù)。參見2.449條。

2.110正確性 correctness
  a.軟件無設(shè)計缺陷和編碼缺陷的程度,即無故障。
  b.軟件符合規(guī)定的需求的程度。
  c.軟件滿足用戶期望的程度。

2.111正確性證明 correctness proof
  參見 2. 374條。

2.112耦合度 coupling
  計算機程序中模塊之間相互依賴的量度。與2.67條相對照。

2. 113 臨界的,關(guān)鍵的 critical
  系指:
  a. 由于設(shè)計不當(dāng),一個系統(tǒng)或一個軟件的某些環(huán)節(jié)或部分在運行時超出了臨界范圍,或存在著潛在的、未檢測出的錯誤,會導(dǎo)致死機、人員傷害、任務(wù)失敗、數(shù)據(jù)丟失、財經(jīng)上的損失或災(zāi)難性的設(shè)備損壞等嚴(yán)重后果?;蛑福?br>  b.要使用的軟件開發(fā)技術(shù)的成熟程度和有關(guān)的風(fēng)險。

2.114 關(guān)鍵部分優(yōu)先 critical Piece first
  軟件開發(fā)的一種途徑。它首先把注意力集中在軟件系統(tǒng)中最關(guān)鍵部分的實現(xiàn)。關(guān)鍵部分可以根據(jù)所提供的服務(wù)、風(fēng)險程度、困難程度或其它一些準(zhǔn)則來確定。
2.115關(guān)鍵段,臨界段 critical section
  將要被執(zhí)行的一段代碼。其執(zhí)行與另一關(guān)鍵段的代碼的執(zhí)行是互斥的。如果一些代碼段競相使用一計算機資源和數(shù)據(jù)項時,就要求這些段互斥地執(zhí)行。

2. 116危急程度 criticality
  根據(jù)軟件錯誤或故障對系統(tǒng)的開發(fā)和運行的影響程度所做的估價進(jìn)而對這些軟件錯誤或故障進(jìn)行的分類(通常用來判定是否要對某一故障進(jìn)行校正,以及何時予以校正)。

2.117交叉匯編程序 cross assembler
  在一臺計算機上為另一臺不同的計算機產(chǎn)生目標(biāo)代碼的匯編程序。

2.118交叉編譯程序 cross comPiler
  在一臺計算機上為另一臺不同計算機產(chǎn)生匯編代碼或目標(biāo)代碼的編譯程序。

2.119數(shù)據(jù) data
  事實、概念或指令的形式化的表現(xiàn)形式,它適于由人或自動裝置進(jìn)行通信、解釋或處理。參見 2.79條、2.104條、2.179條、2.395條、2.445條。

2. 120 數(shù)據(jù)抽象 data abstraction
  通過選擇特定的數(shù)據(jù)類型及其相關(guān)的功能特性的辦法,僅僅保持或抽取數(shù)據(jù)的本質(zhì)特性所得的結(jié)果,從而使其與細(xì)節(jié)部分的表現(xiàn)方式分開或把它們隱藏起來。參見2.235條。

2. 121數(shù)據(jù)庫,數(shù)據(jù)基 data base
  a. 一數(shù)據(jù)集,或一數(shù)據(jù)集的部分或全體,它至少包括足夠為一給定目的或給定數(shù)據(jù)處理系統(tǒng)使用的一個文件。
  b. 對一系統(tǒng)來說是基本的數(shù)據(jù)集合。

2. 122數(shù)據(jù)字典加 data diCtionary
  a.軟件系統(tǒng)中使用的所有數(shù)據(jù)項的名字及與這些數(shù)據(jù)項有關(guān)的特性(例如,數(shù)據(jù)項長度、表示等)的集合。
  b. 分層數(shù)據(jù)流圖中涉及的數(shù)據(jù)流、數(shù)據(jù)元素、文件、數(shù)據(jù)基和進(jìn)程之定義的集合。

2.12 3數(shù)據(jù)流圖 data flow chart
  系統(tǒng)的一種圖形表示,其中表示出數(shù)據(jù)源、數(shù)據(jù)匯、存儲和以結(jié)點形式對數(shù)據(jù)執(zhí)行的處理,以及在結(jié)點間作為連接部分的邏輯數(shù)據(jù)流。與2.124條、2.125條同義。

2.124 數(shù)據(jù)流圖 data flow diagram
  參見 2. 123條。

2.125數(shù)據(jù)流圖 data flow graph
  參見 2. 123條。

2.126數(shù)據(jù)結(jié)構(gòu) data structure
  數(shù)據(jù)項之間的次序安排和可訪問性的一種形式表示,其中不涉及其實際存儲排列方法。

2.127數(shù)據(jù)類型 data type
  一類數(shù)據(jù)。用屬于該類的元素和可對之施行的操作來表征。例如,整型、實型、邏輯型。

2.128 排錯,調(diào)試 debugging
  查找、分析和糾正錯誤的過程。

2.129排錯模型 debugging model
  參見 2. 180條。

2.130判定表 decision table
  a.在敘述一問題中要考慮的所有可能發(fā)生的情況及對每一組可能發(fā)生的情況將要采取的行動的一張表。
  b.對一組情況及其相應(yīng)動作以矩陣形式或列表形式所做的表示。

2.131缺陷 defect
  參見 2. 198條。

2. 132 定義階段deftnion phase
  參見2.406條。

2.133交付 delivery
  a.軟件研制周期中的一個階段。在此階段上將產(chǎn)品提交給計劃中的用戶供其使用。
  b.軟件研制周期中的一個階段。在此階段上產(chǎn)品由其預(yù)定的用戶接受。 2.134設(shè)計design
  a.為使一軟件系統(tǒng)滿足規(guī)定的需求而確定軟件體系結(jié)構(gòu)、部件、模塊、接口、測試途徑和數(shù)據(jù)的過程。
  b.設(shè)計過程的結(jié)果。

2. 135 設(shè)計分析design analysis
  a.對一設(shè)計進(jìn)行估計以確定其相對于預(yù)定需求的正確性、符合設(shè)計標(biāo)準(zhǔn)的程度、系統(tǒng)效率和是否符合其它一些準(zhǔn)則。
  b.對其它替代性設(shè)計途徑的估計。

2.136設(shè)計分析器 desiyn analyzer
  一種自動設(shè)計工具。它接收有關(guān)程序的設(shè)計方面的信息,并產(chǎn)生以下方面的輸出,如模塊層次圖、控制和數(shù)據(jù)結(jié)構(gòu)的圖形表示,以及被訪問的數(shù)據(jù)塊的一覽表等。

2.137設(shè)計審查 desisn insPection
  參見2.237條。

2.138設(shè)計語言 design language
  一種具有專門構(gòu)造,有時還可驗證的語言。用以開發(fā)、分析設(shè)計并為其書寫文件。

2.139設(shè)計方法學(xué)desiyn methodology
  進(jìn)行設(shè)計的系統(tǒng)途徑。由專門選擇的工具、技術(shù)、準(zhǔn)則的有序應(yīng)用所構(gòu)成。

2.140設(shè)計階段 desisn phase
  軟件生存周期中的一段時間。在這段時間內(nèi),進(jìn)行體系結(jié)構(gòu)、軟件組成部分、接口和數(shù)據(jù)的設(shè)計,為設(shè)計編制文件,并對其進(jìn)行驗證,以滿足預(yù)定需求。

2.141設(shè)計需求 desisn requirement
  影響或限制軟件系統(tǒng)或軟件系統(tǒng)組成部分的設(shè)計的需求:例如,功能需求、物理需求、性能需求,軟件開發(fā)標(biāo)準(zhǔn),軟件質(zhì)量保證標(biāo)準(zhǔn)。參見2.407條。

2.142設(shè)計評審 desisn review
  a.在正式會議上,把系統(tǒng)的初步的或詳細(xì)的設(shè)計提交給用戶、客戶或有關(guān)人士供其評審或批準(zhǔn)。
  b.對現(xiàn)有的或提出的設(shè)計所做的正式評估和審查,其目的是找出可能會影響產(chǎn)品,過程或服務(wù)工作的適用性和環(huán)境方面的設(shè)計缺陷并采取補救措施,以及(或者)找出在性能、安全性和經(jīng)濟(jì)方面的可能的改進(jìn)。

2.143設(shè)計規(guī)格說明 design sPecification
  一種描述設(shè)計要求的正式文檔,按照這種文檔對系統(tǒng)或系統(tǒng)組成部分(如,軟件配置項)進(jìn)行設(shè)計。典型內(nèi)容包括系統(tǒng)或系統(tǒng)組成部分算法、控制邏輯、數(shù)據(jù)結(jié)構(gòu)設(shè)定與使用(set-use)信息、輸入輸出格式和接口描述。參見2.407條。

2.144設(shè)計驗證 design verification
  參見2.539條。

2.145設(shè)計定查 design walk-throngh
  參見2.545條。

2.146桌面檢查 desk checking
  對程序執(zhí)行情況進(jìn)行人工模擬,用逐步檢查源代碼中有無邏輯或語法錯誤的辦法來檢測故障。 參見2.468條。

2.147詳細(xì)設(shè)計 detailed design
  a.推敲并擴充初步設(shè)計,以獲得關(guān)于處理邏輯、數(shù)據(jù)結(jié)構(gòu)和數(shù)據(jù)定義的更加詳盡的描述,直到設(shè)計完善到足以能實現(xiàn)的地步。
  b.詳細(xì)設(shè)計過程的結(jié)果。

2.148開發(fā)者 develoPer
  在軟件生存周期中執(zhí)行開發(fā)活動(包括需求分析、設(shè)計直至驗收)的一個機構(gòu)。

2.149開發(fā)周期 development cycle
  參見2.438條。

2. 150開發(fā)生存周期 develoPment life cycle
  參見2.438條。

2.151開發(fā)方法學(xué) develoPment methodology
  編制軟件的系統(tǒng)方法。它確定開發(fā)的各個階段,規(guī)定每一階段的活動、產(chǎn)品、驗證步驟和完成準(zhǔn)則。

2. 152開發(fā)規(guī)格說明 development specifocation
  與2.407條同義。

2. 153診斷 diagnstic
  a.計算機程序產(chǎn)生的信息。它用來指示另一系統(tǒng)組成部分中可能的故障。例如,由編譯程序標(biāo)識的語法錯誤。
  b.涉及故障或失效的探測和隔離。

2.154有向圖 digraph
  參見 2. 155條。

2.155定向圖 directed graph
  一種圖,其中的邊均是單方向的。

2.156文檔,文件 document
  a.一種數(shù)據(jù)媒體和其上所記錄的數(shù)據(jù)。它具有永久性并可以由人或機器閱讀。通常僅用于描述人工可讀的內(nèi)容。例如,技術(shù)文件、設(shè)計文件、版本說明文件。
  b.編制文件。

2. 157文檔、文檔編制,文檔管理documentation
  a.關(guān)于一給定主題的文件集合。參見2.536條、2.443條、2.493條。
  b. 文檔管理可能包括下述活動:對文檔的識別、獲取、處理、存儲和發(fā)放。
  c.產(chǎn)生一個文檔的過程。
  d.為了對活動、需求、過程或結(jié)果進(jìn)行描述、定義、規(guī)定、報告或認(rèn)證的任何書面或圖示的信
息。

2.158文檔級 documentation leVel
  參見 2. 263條。

2.159驅(qū)動程序 driver
  一個程序。它借助模擬較高一級的系統(tǒng)組成部分的辦法來履行系統(tǒng)或系統(tǒng)組成部分的作用。參見 2.511條。

2.160雙份編碼dualcoding
  一種開發(fā)技術(shù)。由不同的程序員或不同的程序設(shè)計小組,根據(jù)同一份規(guī)格說明書開發(fā)出功能上完全相同的程序的兩個版本。所獲得的源代碼可以采用同一種語言,也可以采用不同的語言。雙份編碼的目的在于提供錯誤檢測,提高可靠性,提供附加的文件說明,或使系統(tǒng)的程序設(shè)計錯誤或編譯程序錯誤影響最終結(jié)果的概率降低。

2.161虛參數(shù) dummy parameter
  參見 2. 211條。

2.162卸出,轉(zhuǎn)儲 dumP
  a.已被轉(zhuǎn)儲的數(shù)據(jù)。
  b.為了某一專門目的。如允許存儲器另作它用,或作為預(yù)防故障和錯誤的措施;或為了進(jìn)行與排除錯誤有關(guān)的工作,將一存儲器(通常是內(nèi)部存儲器)的全部或部分內(nèi)容寫到外部媒體上。

2.163動態(tài)分配 dynamic allocation
  把可編址的存儲器和其它資源分配給正在執(zhí)行的程序。

2.164動態(tài)分析 dynamic analysis
  根據(jù)程序的執(zhí)行情況對程序進(jìn)行估計的過程。與2.468條相對照。

2. 165動態(tài)分析器 dynamic analyzer
  借助對程序執(zhí)行情況的監(jiān)督,幫助對計算機程序進(jìn)行估計的軟件工具。例如探測工具、軟件監(jiān)督器和跟蹤器。與2.469相對照。
2.166動態(tài)結(jié)合,動態(tài)聯(lián)編 dynamic binding
  在程序執(zhí)行期間進(jìn)行的結(jié)合。與2.470相對照。
2.167動態(tài)重組 dynamic restructuring
  a.一系統(tǒng)正在運行時,改變軟件組成部分或結(jié)構(gòu)的過程。
  b.在程序執(zhí)行期間重新組合數(shù)據(jù)庫或數(shù)據(jù)結(jié)構(gòu)的過程。

2.168編輯程序editor
  可以對計算機中所存儲的數(shù)據(jù)進(jìn)行有選擇性的修正的計算機程序。

2.16 9效率 efficiency
  軟件以最小的計算資源消耗實現(xiàn)其預(yù)定功能的程度。

2.170無效程序設(shè)計 egoless Programming
  在對程序開發(fā)采用小組負(fù)責(zé)制的概念的基礎(chǔ)上進(jìn)行軟件開發(fā)的一種方式。
  其目的是防止程序員 與其產(chǎn)生的輸出的關(guān)系過于密切,以免使客觀估計受到損害。

2.171嵌入式計算機系統(tǒng)一bedded computer system
  歸結(jié)在一個其主要目的不是進(jìn)行計算的較大系統(tǒng)中成為其完整不可分開的部分的計算機系統(tǒng)。
  例如,在武器、航空、指揮控制、或運輸系統(tǒng)中的計算系統(tǒng)。

2.172嵌入式軟件 embedded software
  嵌入式計算機系統(tǒng)用的軟件。

2.173仿真 emulation
  用一個計算機系統(tǒng),主要是通過硬件,模仿另一個計算機系統(tǒng)的全部或部分功能,使進(jìn)行模仿的系統(tǒng)接受的數(shù)據(jù)、執(zhí)行的程序和實現(xiàn)的結(jié)果均與被模仿的系統(tǒng)所接受的數(shù)據(jù),執(zhí)行的程序和實現(xiàn)的結(jié)果相同。

2.174仿真器 emullator
  執(zhí)行仿真的硬件、軟件或固件。

2.175封裝 encapsulation
  將系統(tǒng)功能隔離在一個模塊中,并為該模塊提供精確的規(guī)格說明的技術(shù)。參見 2. 2 3 5條。

2.176錯誤,出錯,誤差 error
  a.計算、觀察、測量的值或條件與實際的、規(guī)定的或理論上的值或條件不符合。
  b.導(dǎo)致產(chǎn)生含有缺陷的軟件的人為行動。例如,遺漏或誤解軟件說明書中的用戶需求,不正確的翻譯或遺漏設(shè)計規(guī)格說明書中的需求。參見2.192條、2.198條。

2.177出錯分析 error analysis
  a. 對觀察到的軟件故障進(jìn)行調(diào)查的過程,調(diào)查的目的是跟蹤那個故障以找出故障源。
  b.對觀察到的軟件故障進(jìn)行調(diào)查以找出以下一些信息,例如故障原因。該故障是在開發(fā)過程中哪一個階段發(fā)生的,預(yù)防或較早地探測出軟件故障的方法。
  c.調(diào)查軟件錯誤、失效和故障以確定定量速率和趨勢的過程。

2. 178出錯類別 error category
  錯誤、故障或失效可能歸并到其中的“組類別之二,當(dāng)錯誤、故障或失效發(fā)生或發(fā)現(xiàn)后,可根據(jù)其原因、危急程度、效果、故障所屬的生存周期階段或其它特性而確定其類別。

2.179出錯數(shù)據(jù)error data
  出錯數(shù)據(jù)通常(但不是精確地)用于:描述軟件的問題、故障、失效及其更動,它們的特性,以及遇到或改正這些問題的條件。

2.180出錯模型 error model
  用于描述或估計一軟件系統(tǒng)存在的故障數(shù)目、可靠性、需要的測試時間或類似特性。參見 2. 181 條。

2.181出錯預(yù)測 error Prediction
  對有關(guān)軟件系統(tǒng)中軟件問題、故障或失效的預(yù)期目的或性質(zhì)所作的定量陳述。參見 2. 180條。

2.182出錯預(yù)測模型 error Prediction model
  參見2.180條。

2.183出錯恢復(fù) error recovery
  參見2.197條。

2.184錯誤的撒播 error seeding
  參見2.201條。

2.185評價 evaluation
  決定某產(chǎn)品、項目、活動或服務(wù)是否符合它的規(guī)定的準(zhǔn)則的過程。

2.186異常 excePtion
  引起正常程序執(zhí)行掛起的事件。

2.187執(zhí)行 execution
  由計算機運行計算機程序中一條或多條指令的過程。

2.188執(zhí)行時間 execution time
  a. 執(zhí)行一個程序所用的實際時間或中央處理機所用的時間。
  b.程序處于執(zhí)行過程中的一段時間間隔。參見 2. 418條。

2.189執(zhí)行時間理論 execution time theory
  采用累計執(zhí)行時間作為估計軟件可靠性基礎(chǔ)的一種理論。

2.190執(zhí)行程序 executive program
  參見2.485條。

2.191退出,終止,出口 exit
  a. 計算機程序、例程或子例程中的一條指令。在執(zhí)行它之后,該計算機程序、例程或子例程就不再具有控制權(quán)。
  b.例程不再具有控制權(quán)的轉(zhuǎn)折點。

2.192失效 failure
  a.功能部件執(zhí)行其功能的能力的喪失。
  b.系統(tǒng)或系統(tǒng)部件喪失了在規(guī)定的限度內(nèi)執(zhí)行所要求功能的能力。當(dāng)遇到故障情況時系統(tǒng)就可能失效。
  c.程序操作背離了程序需求。

2.193失效類別 failur category
  參見2.178條。

2.194失效數(shù)據(jù) failure data
  參見2.179條。

2.195失效率 failure rate
  a.失效數(shù)與給定測量單位的比率;例如,每單位時間的失效次數(shù)、若干次事務(wù)處理中的失效次數(shù),若干次計算機運行中的失效次數(shù)。
  b.在可靠性模擬中,給定類別或具有一定嚴(yán)重程度的失效數(shù)與給定時間間隔之比率;例如,每秒執(zhí)行時間的失效次數(shù),每月失效次數(shù)。與2.196條同義。

2. 196失效比 failurer ratio
  參見 2. 195條。

2.197失效恢復(fù) failure recovery
  系統(tǒng)失效后又回到可靠的運行狀態(tài)。

2.198故障,缺陷 fauIt
  a. 功能部件不能執(zhí)行所要求的功能。
  b.在軟件中表示 2.176b關(guān)于錯誤的解釋。如果遇到,它可能引起失效。與 2. 5 4條同義。
  2.199故障類別 fault category
  參見 2. 178條。

2.200故障插入 fauIt insertion
  參見 2.201條。

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

( 發(fā)表人:admin )

      發(fā)表評論

      用戶評論
      評價:好評中評差評

      發(fā)表評論,獲取積分! 請遵守相關(guān)規(guī)定!

      ?