Acceptance Testing－－可接受性測試

一般由用戶/客戶進行的確認是否可以接受一個產品的驗證性測試。

 

actual outcome－－實際結果       

被測對象在特定的條件下實際產生的結果。

 

Ad Hoc Testing－－隨機測試       

測試人員通過隨機的嘗試系統的功能，試圖使系統中斷。

 

algorithm－－算法       

（1）一個定義好的有限規則集，用于在有限步驟內解決一個問題；（2）執行一個特定任務的任何操作序列。

 

algorithm analysis－－算法分析       

一個軟件的驗證確認任務，用于保證選擇的算法是正確的、合適的和穩定的，并且滿足所有精確性、規模和時間方面的要求。

 

Alpha Testing－－Alpha測試       

由選定的用戶進行的產品早期性測試。這個測試一般在可控制的環境下進行的。

 

analysis－－分析       

（1）分解到一些原子部分或基本原則，以便確定整體的特性；（2）一個推理的過程，顯示一個特定的結果是假設前提的結果；（3）一個問題的方法研究，并且問題被分解為一些小的相關單元作進一步詳細研究。

 

anomaly－－異常       

在文檔或軟件操作中觀察到的任何與期望違背的結果。

 

application software－－應用軟件       

滿足特定需要的軟件。

 

architecture－－構架       

一個系統或組件的組織結構。

 

ASQ－－自動化軟件質量（Automated Software Quality）

使用軟件工具來提高軟件的質量。

 

assertion－－斷言       

指定一個程序必須已經存在的狀態的一個邏輯表達式，或者一組程序變量在程序執行期間的某個點上必須滿足的條件。

 

assertion checking－－斷言檢查       

用戶在程序中嵌入的斷言的檢查。

 

audit－－審計       

一個或一組工作產品的獨立檢查以評價與規格、標準、契約或其它準則的符合程度。

 

audit trail－－審計跟蹤       

系統審計活動的一個時間記錄。

 

Automated Testing－－自動化測試       

使用自動化測試工具來進行測試，這類測試一般不需要人干預，通常在GUI、性能等測試中用得較多

Backus-Naur Form－－BNF范式       
一種分析語言，用于形式化描述語言的語法

baseline－－基線       
一個已經被正式評審和批準的規格或產品，它作為進一步開發的一個基礎，并且必須通過正式的變更流程來變更。

Basic Block－－基本塊       
一個或多個順序的可執行語句塊，不包含任何分支語句。

basis test set－－基本測試集       
根據代碼邏輯引出來的一個測試用例集合，它保證能獲得100%的分支覆蓋。

behaviour－－行為       
對于一個系統的一個函數的輸入和預置條件組合以及需要的反應。一個函數的所有規格包含一個或多個行為。

benchmark－－標桿/指標/基準       
一個標準，根據該標準可以進行度量或比較。

Beta Testing－－Beta測試       
在客戶場地，由客戶進行的對產品預發布版本的測試。這個測試一般是不可控的。

big-bang testing－－大錘測試/一次性集成測試       
非漸增式集成測試的一種策略，測試的時候把所有系統的組件一次性組合成系統進行測試。

Black Box Testing－－黑盒測試       
根據軟件的規格對軟件進行的測試，這類測試不考慮軟件內部的運作原理，因此軟件對用戶來說就像一個黑盒子。

bottom-up testing－－由低向上測試       
漸增式集成測試的一種，其策略是先測試底層的組件，然后逐步加入較高層次的組件進行測試，直到系統所有組件都加入到系統。

boundary value－－邊界值       
一個輸入或輸出值，它處在等價類的邊界上。

boundary value coverage－－邊界值覆蓋       
通過測試用例，測試組件等價類的所有邊界值。

boundary value testing－－邊界值測試       
通過邊界值分析方法來生成測試用例的一種測試策略。

Boundry Value Analysis－－邊界值分析       
該分析一般與等價類一起使用。經驗認為軟件的錯誤經常在輸入的邊界上產生，因此邊界值分析就是分析軟件輸入邊界的一種方法。

branch－－分支       
在組件中，控制從任何語句到其它任何非直接后續語句的一個條件轉換，或者是一個無條件轉換。

branch condition－－分支條件       

branch condition combination coverage－－分支條件組合覆蓋       
在每個判定中所有分支條件結果組合被測試用例覆蓋到的百分比。

branch condition combination testing－－分支條件組合測試       
通過執行分支條件結果組合來設計測試用例的一種方法。

branch condition coverage－－分支條件覆蓋       
每個判定中分支條件結果被測試用例覆蓋到的百分比。

branch condition testing－－分支條件測試
通過執行分支條件結果來設計測試用例的一種方法。

branch coverage－－分支覆蓋       
通過測試執行到的分支的百分比。

branch outcome－－分支結果       
見判定結果（decision outcome）

branch point－－分支點       
見判定（decision）

branch testing－－分支測試       
通過執行分支結果來設計測試用例的一種方法。

Breadth Testing－－廣度測試       
在測試中測試一個產品的所有功能，但是不測試更細節的特性。

bug－－缺陷

 

capture/playback tool－－捕獲/回放工具       
參考capture/replay tool

Capture/Replay Tool－－捕獲/回放工具       
一種測試工具，能夠捕獲在測試過程中傳遞給軟件的輸入，并且能夠在以后的時間中，重復這個執行的過程。這類工具一般在GUI測試中用的較多。

CASE－－計算機輔助軟件工程（computer aided software engineering）
用于支持軟件開發的一個自動化系統。

CAST－－計算機輔助測試       
在測試過程中使用計算機軟件工具進行輔助的測試。

cause-effect graph－－因果圖       
一個圖形，用來表示輸入（原因）與結果之間的關系，可以被用來設計測試用例。

certification        －－證明       
一個過程，用于確定一個系統或組件與特定的需求相一致。

change control－－變更控制       
一個用于計算機系統或系統數據修改的過程，該過程是質量保證程序的一個關鍵子集，需要被明確的描述。

code audit        －－代碼審計       
由一個人、組或工具對源代碼進行的一個獨立的評審，以驗證其與設計規格、程序標準的一致性。正確性和有效性也會被評價。

Code Coverage－－代碼覆蓋率       
一種分析方法，用于確定在一個測試套執行后，軟件的哪些部分被執行到了，哪些部分沒有被執行到。

Code Inspection－－代碼檢視       
一個正式的同行評審手段，在該評審中，作者的同行根據檢查表對程序的邏輯進行提問，并檢查其與編碼規范的一致性。

Code Walkthrough－－代碼走讀       
一個非正式的同行評審手段，在該評審中，代碼被使用一些簡單的測試用例進行人工執行，程序變量的狀態被手工分析，以分析程序的邏輯和假設。

code-based testing－－基于代碼的測試       
根據從實現中引出的目標設計測試用例。

coding standards－－編程規范       
一些編程方面需要遵循的標準，包括命名方式、排版格式等內容。

Compatibility Testing－－兼容性測試       
測試軟件是否和系統的其它與之交互的元素之間兼容，如：瀏覽器、操作系統、硬件等。

complete path testing        －－完全路徑測試       
參考窮盡測試（exhaustive testing）

completeness－－完整性       
實體的所有必須部分必須被包含的屬性。

complexity        －－復雜性       
系統或組件難于理解或驗證的程度。

Component－－組件       
一個最小的軟件單元，有著獨立的規格

Component Testing－－組件測試       
參考單元測試

computation data use－－計算數據使用       
一個不在條件中的數據使用。

computer system security－－計算機系統安全性       
計算機軟件和硬件對偶然的或故意的訪問、使用、修改或破壞的一種保護機制。

condition－－條件       
一個不包含布爾操作的布爾表達式，例如：A

condition coverage－－條件覆蓋       
通過測試執行到的條件的百分比。

condition outcome－－條件結果       
條件為真為假的評價。

configuration control－－配置控制       
配置管理的一個方面，包括評價、協調、批準、和實現配置項的變更。

configuration management－－配置管理       
一套技術和管理方面的原則用于確定和文檔化一個配置項的功能和物理屬性、控制對這些屬性的變更、記錄和報告變更處理和實現的狀態、以及驗證與指定需求的一致性。

conformance criterion－－ 一致性標準       
判斷組件在一個特定輸入值上的行為是否符合規格的一種方法。

Conformance Testing－－ 一致性測試       
測試一個系統的實現是否和其基于的規格相一致的測試。

consistency        －－ 一致性       
在系統或組件的各組成部分和文檔之間沒有矛盾，一致的程度。

consistency checker－－ 一致性檢查器       
一個軟件工具，用于測試設計規格中需求的一致性和完整性。

control flow－－控制流       
程序執行中所有可能的事件順序的一個抽象表示。

control flow graph－－控制流圖       
通過一個組件的可能替換控制流路徑的一個圖形表示。

conversion testing－－轉換測試       
用于測試已有系統的數據是否能夠轉換到替代系統上的一種測試。

corrective maintenance－－故障檢修       
用于糾正硬件或軟件中故障的維護。

correctness        －－正確性       
軟件遵從其規格的程度。

correctness        －－正確性       
軟件在其規格、設計和編碼中沒有故障的程度。軟件、文檔和其它項滿足需求的程度。軟件、文檔和其它項滿足用戶明顯的和隱含的需求的程度。

coverage        －－覆蓋率       
用于確定測試所執行到的覆蓋項的百分比。

coverage item－－覆蓋項       
作為測試基礎的一個入口或屬性：如語句、分支、條件等。

crash－－崩潰       
計算機系統或組件突然并完全的喪失功能。

criticality－－關鍵性       
需求、模塊、錯誤、故障、失效或其它項對一個系統的操作或開發影響的程度。

criticality analysis－－關鍵性分析       
需求的一種分析，它根據需求的風險情況給每個需求項分配一個關鍵級別。

cyclomatic complexity－－循環復雜度       
一個程序中獨立路徑的數量。

data corruption－－數據污染       
違背數據一致性的情況。

data definition－－數據定義       
一個可執行語句，在該語句上一個變量被賦予了一個值。

data definition C-use coverage－－數據定義C-use覆蓋       
在組件中被測試執行到的數據定義C-use使用對的百分比。

data definition C-use pair－－數據定義C-use使用對       
一個數據定義和一個計算數據使用，數據使用的值是數據定義的值。

data definition P-use coverage－－數據定義P-use覆蓋       
在組件中被測試執行到的數據定義P-use使用對的百分比。

data definition P-use pair－－數據定義P-use使用對       
一個數據定義和一個條件數據使用，數據使用的值是數據定義的值。

data definition-use coverage－－數據定義使用覆蓋       
在組件中被測試執行到的數據定義使用對的百分比。

data definition-use pair        －－數據定義使用對       
一個數據定義和一個數據使用，數據使用的值是數據定義的值。

data definition-use testing－－數據定義使用測試       
以執行數據定義使用對為目標進行測試用例設計的一種技術。

data dictionary－－數據字典       
（1）一個軟件系統中使用的所有數據項名稱，以及這些項相關屬性的集合。（2）數據流、數據元素、文件、數據基礎、和相關處理的一個集合。

data flow analysis－－數據流分析       
一個軟件驗證和確認過程，用于保證輸入和輸出數據和它們的格式是被適當定義的，并且數據流是正確的。

data flow coverage－－數據流覆蓋       
測試覆蓋率的度量是根據變量在代碼中的使用情況。

data flow diagram－－數據流圖       
把數據源、數據接受、數據存儲和數據處理作為節點描述的一個圖形，數據之間的邏輯體現為節點之間的邊。

data flow testing－－數據流測試       
根據代碼中變量的使用情況進行的測試。

data integrity－－數據完整性       
一個數據集合完全、正確和一致的程度。

data use－－數據使用       
一個可執行的語句，在該語句中，變量的值被訪問。

data validation－－數據確認       
用于確認數據不正確、不完整和不合理的過程。

dead code－－死代碼       
在程序操作過程中永遠不可能被執行到的代碼。

Debugging－－調試       
發現和去除軟件失效根源的過程。

decision－－判定       
一個程序控制點，在該控制點上，控制流有兩個或多個可替換路由。

Decision condition－－判定條件       
判定內的一個條件。

decision coverage－－判定覆蓋       
在組件中被測試執行到的判定結果的百分比。

decision outcome－－判定結果       
一個判定的結果，決定控制流走哪條路徑。

decision table－－判定表       
一個表格，用于顯示條件和條件導致動作的集合。

Depth Testing－－深度測試       
執行一個產品的一個特性的所有細節，但不測試所有特性。比較廣度測試。

design of experiments－－實驗設計       
一種計劃實驗的方法，這樣適合分析的數據可以被收集。

design-based testing－－基于設計的測試       
根據軟件的構架或詳細設計引出測試用例的一種方法。

desk checking－－桌面檢查       
通過手工模擬軟件執行的方式進行測試的一種方式。

diagnostic－－診斷       
檢測和隔離故障或失效的過程。

dirty testing－－骯臟測試       
參考負面測試（negative testing）

disaster recovery－－災難恢復       
一個災難的恢復和重建過程或能力。

documentation testing        －－文檔測試       
測試關注于文檔的正確性。

domain－－域       
值被選擇的一個集合。

domain testing－－域測試       
參考等價劃分測試（equivalence partition testing）

dynamic analysis－－動態分析       
根據執行的行為評價一個系統或組件的過程。

Dynamic Testing－－動態測試       
通過執行軟件的手段來測試軟件。

 

embedded software－－嵌入式軟件       
軟件運行在特定硬件設備中，不能獨立于硬件存在。這類系統一般要求實時性較高。

emulator－－仿真       
一個模仿另一個系統的系統或設備，它接受相同的輸入并產生相同的輸出。

End-to-End testing－－端到端測試       
在一個模擬現實使用的場景下測試一個完整的應用環境，例如和數據庫交互，使用網絡通信等。

entity relationship diagram－－實體關系圖       
描述現實世界中實體及它們關系的圖形。

entry point        －－入口點       
一個組件的第一個可執行語句。

Equivalence Class－－等價類       
組件輸入或輸出域的一個部分，在該部分中，組件的行為從組件的規格上來看認為是相同的。

equivalence partition coverage－－等價劃分覆蓋       
在組件中被測試執行到的等價類的百分比。

equivalence partition testing－－等價劃分測試       
根據等價類設計測試用例的一種技術。

Equivalence Partitioning－－等價劃分       
組件的一個測試用例設計技術，該技術從組件的等價類中選取典型的點進行測試。

error－－錯誤       
IEEE的定義是：一個人為產生不正確結果的行為。

error guessing－－錯誤猜測       
根據測試人員以往的經驗猜測可能出現問題的地方來進行用例設計的一種技術。

error seeding－－錯誤播種/錯誤插值       
故意插入一些已知故障（fault）到一個系統中去的過程，目的是為了根據錯誤檢測和跟蹤的效率并估計系統中遺留缺陷的數量。

exception－－異常/例外       
一個引起正常程序執行掛起的事件。

executable statement－－可執行語句       
一個語句在被編譯后會轉換成目標代碼，當程序運行是會被執行，并且可能對程序數據產生動作。

Exhaustive Testing－－窮盡測試       
測試覆蓋軟件的所有輸入和條件組合。

exit point－－出口點       
一個組件的最后一個可執行語句。

expected outcome－－期望結果       
參考預期結果（predicted outcome）。

 

failure－－失效       
軟件的行為與其期望的服務相背離。

fault－－故障       
在軟件中一個錯誤的表現。

feasible path－－可達路徑       
可以通過一組輸入值和條件執行到的一條路徑。

feature testing－－特性測試       
參考功能測試（Functional Testing）

FMEA－－失效模型效果分析（Failure Modes and Effects Analysis）
可靠性分析中的一種方法，用于在基本組件級別上確認對系統性能有重大影響的失效。

FMECA－－失效模型效果關鍵性分析(Failure Modes and Effects Criticality Analysis)
FMEA的一個擴展，它分析了失效結果的嚴重性。

FTA－－故障樹分析(Fault Tree Analysis)
引起一個不需要事件產生的條件和因素的確認和分析，通常是嚴重影響系統性能、經濟性、安全性或其它需要特性。

functional decomposition－－功能分解       
參考模塊分解（modular decomposition）

Functional Specification        －－功能規格說明書       
一個詳細描述產品特性的文檔。

Functional Testing－－功能測試       
測試一個產品的特性和可操作行為以確定它們滿足規格。

 

glass box testing－－玻璃盒測試       
參考白盒測試（White Box Testing）

IEEE－－美國電子與電器工程師學會（Institute of Electrical and Electronic Engineers）

incremental testing－－漸增測試       
集成測試的一種，組件逐漸被增加到系統中直到整個系統被集成。

infeasible path－－不可達路徑       
不能夠通過任何可能的輸入值集合執行到的路徑。

input domain－－輸入域       
所有可能輸入的集合。

inspection－－檢視       
對文檔進行的一種評審形式。

installability testing－－可安裝性測試       
確定系統的安裝程序是否正確的測試。

instrumentation－－插裝       
在程序中插入額外的代碼以獲得程序在執行時行為的信息。

instrumenter－－插裝器       
執行插裝的工具

Integration Testing－－集成測試       
測試一個應用組合后的部分以確保它們的功能在組合之后正確。該測試一般在單元測試之后進行。

interface－－接口       
兩個功能單元的共享邊界。

interface analysis－－接口分析       
分析軟件與硬件、用戶和其它軟件之間接口的需求規格。

interface testing－－接口測試       
測試系統組件間接口的一種測試。

invalid inputs－－無效輸入       
在程序功能輸入域之外的測試數據。

isolation testing－－孤立測試       
組件測試（單元測試）策略中的一種，把被測組件從其上下文組件之中孤立出來，通過設計驅動和樁進行測試的一種方法。

 

Job－－工作       
一個用戶定義的要計算機完成的工作單元。

job control language－－工作控制語言       
用于確定工作順序，描述它們對操作系統要求并控制它們執行的語言。

LCSAJ－－線性代碼順序和跳轉（Linear Code Sequence And Jump）
包含三個部分：可執行語句線性順序的起始，線性順序的結束，在線性順序結束處控制流跳轉的目標語句。

LCSAJ coverage－－LCSAJ覆蓋       
在組件中被測試執行到的LCSAJ的百分比。

LCSAJ testing－－LCSAJ測試       
根據LCSAJ設計測試用例的一種技術。

Load Testing－－負載測試       
通過測試系統在資源超負荷情況下的表現，以發現設計上的錯誤或驗證系統的負載能力。

logic analysis－－邏輯分析       
（1）評價軟件設計的關鍵安全方程式、算法和控制邏輯的方法。（2）評價程序操作的順序并且檢測可能導致災難的錯誤。

logic-coverage testing－－邏輯覆蓋測試       
參考結構化測試用例設計（structural test case design）

maintainability－－可維護性       
一個軟件系統或組件可以被修改的容易程度，這個修改一般是因為缺陷糾正、性能改進或特性增加引起的。

maintainability testing－－可維護性測試       
測試系統是否滿足可維護性目標。

modified condition/decision coverage－－修改條件/判定覆蓋       
在組件中被測試執行到的修改條件/判定的百分比。

modified condition/decision testing        －－修改條件/判定測試       
根據MC/DC設計測試用例的一種技術。

Monkey Testing－－跳躍式測試       
隨機性，跳躍式的測試一個系統，以確定一個系統是否會崩潰。

MTBF－－平均失效間隔實際（mean time between failures）
兩次失效之間的平均操作時間。

MTTF－－平均失效時間        （mean time to failure）
第一次失效之前的平均時間

MTTR－－平均修復時間（mean time to repair）
兩次修復之間的平均時間

multiple condition coverage－－多條件覆蓋       
參考分支條件組合覆蓋（branch condition combination coverage）

mutation analysis－－變體分析       
一種確定測試用例套完整性的方法，該方法通過判斷測試用例套能夠區別程序與其變體之間的程度。

 

Negative Testing－－逆向測試/反向測試/負面測試       

測試瞄準于使系統不能工作。

 

non-functional requirements testing－－非功能性需求測試       

與功能不相關的需求測試，如：性能測試、可用性測試等。

 

N-switch coverage－－N切換覆蓋       

在組件中被測試執行到的N轉換順序的百分比。

 

N-switch testing－－N切換測試        

根據N轉換順序設計測試用例的一種技術，經常用于狀態轉換測試中。

 

N-transitions－－N轉換       

N＋1轉換順序

 

operational testing－－可操作性測試       

在系統或組件操作的環境中評價它們的表現。

 

output domain－－輸出域       

所有可能輸出的集合。

 

partition testing－－分類測試       
參考等價劃分測試（equivalence partition testing）

path－－路徑       
一個組件從入口到出口的一條可執行語句順序。

path coverage－－路徑覆蓋       
在組件中被測試執行到的路徑的百分比。

path sensitizing－－路徑敏感性       
選擇一組輸入值強制組件走一個給定的路徑。

path testing－－路徑測試       
根據路徑設計測試用例的一種技術，經常用于狀態轉換測試中。

performance testing－－性能測試       
評價一個產品或組件與性能需求是否符合的測試。

portability testing－－可移植性       
測試瞄準于證明軟件可以被移植到指定的硬件或軟件平臺上。

Positive Testing－－正向測試       
測試瞄準于顯示系統能夠正常工作。

precondition－－預置條件       
環境或狀態條件，組件執行之前必須被填充一個特定的輸入值。

predicate－－謂詞       
一個邏輯表達式，結果為‘真’或‘假’。

predicate data use－－謂詞數據使用       
在謂詞中的一個數據使用。

program instrumenter－－程序插裝       
參考插裝（instrumenter）

progressive testing－－遞進測試       
在先前特性回歸測試之后對新特性進行測試的一種策略。

pseudo-random－－偽隨機       
看似隨機的，實際上是根據預先安排的順序進行的。

 

QA－－質量保證（quality assurance）
（1）已計劃的系統性活動，用于保證一個組件、模塊或系統遵從已確立的需求。（2）采取的所有活動以保證一個開發組織交付的產品滿足性能需求和已確立的標準和過程。

QC－－質量控制（quality control）
用于獲得質量需求的操作技術和過程，如測試活動。

Race Condition－－競爭狀態       
并行問題的根源。對一個共享資源的多個訪問，至少包含了一個寫操作，但是沒有一個機制來協調同時發生的訪問。

recovery testing－－恢復性測試       
驗證系統從失效中恢復能力的測試。

regression analysis and testing－－回歸分析和測試       
一個軟件驗證和確認任務以確定在修改后需要重復測試和分析的范圍。

Regression Testing－－回歸測試       
在發生修改之后重新測試先前的測試以保證修改的正確性。

release－－發布       
一個批準版本的正式通知和分發。

reliability－－可靠性       
一個系統或組件在規定的條件下在指定的時間內執行其需要功能的能力。

reliability assessment－－可靠性評價       
確定一個已有系統或組件的可靠性級別的過程。

requirements-based testing－－基于需求的測試       
根據軟件組件的需求導出測試用例的一種設計方法。

review－－評審       
在產品開發過程中，把產品提交給項目成員、用戶、管理者或其它相關人員評價或批準的過程。

risk－－風險       
不期望效果的可能性和嚴重性的一個度量。

risk assessment－－風險評估       
對風險和風險影響的一個完整的評價。

safety－－（生命）安全性       
不會引起人員傷亡、產生疾病、毀壞或損失設備和財產、或者破壞環境。

safety critical－－嚴格的安全性       
一個條件、事件、操作、過程或項，它的認識、控制或執行對生命安全性的系統來說是非常關鍵的。

Sanity Testing－－理智測試       
軟件主要功能成分的簡單測試以保證它是否能進行基本的測試。參考冒煙測試

SDP－－軟件開發計劃（software development plan）
用于一個軟件產品開發的項目計劃。

security testing－－安全性測試       
驗證系統是否符合安全性目標的一種測試。

security.－－（信息）安全性       
參考計算機系統安全性（computer system security）

serviceability testing－－可服務性測試       
參考可維護性測試（maintainability testing）

simple subpath－－簡單子路徑       
控制流的一個子路徑，其中沒有不必要的部分被執行。

simulation－－模擬       
使用另一個系統來表示一個物理的或抽象的系統的選定行為特性。

simulation－－模擬       
使用一個可執行模型來表示一個對象的行為。

simulator－－模擬器       
軟件驗證期間的一個設備、軟件程序、或系統，當它給定一個控制的輸入時，表現的與一個給定的系統類似。

SLA－－服務級別協議（service level agreement）
服務提供商與客戶之間的一個協議，用于規定服務提供商應當提供什么服務。

Smoke Testing－－冒煙測試       
對軟件主要功能進行快餐式測試。最早來自于硬件測試實踐，以確定新的硬件在第一次使用的時候不會著火。

software development process－－軟件開發過程       
一個把用戶需求轉換為軟件產品的開發過程。

software diversity－－軟件多樣性       
一種軟件開發技術，其中，由不同的程序員或開發組開發的相同規格的不同程序，目的是為了檢測錯誤、增加可靠性。

software element－－軟件元素       
軟件開發或維護期間產生或獲得的一個可交付的或過程內的文檔。

software engineering－－軟件工程       
一個應用于軟件開發、操作和維護的系統性的、有紀律的、可量化的方法。

software engineering environment－－軟件工程環境       
執行一個軟件工程工作的硬件、軟件和固件。

software life cycle－－軟件生命周期       
開始于一個軟件產品的構思，結束于該產品不再被使用的這段期間。

SOP－－標準操作過程（standard operating procedures）
書面的步驟，這對保證生產和處理的控制是必須的。

source code－－源代碼       
用一種適合于輸入到匯編器、編譯器或其它轉換設備的計算機指令和數據定義。

source statement－－源語句       
參考語句（statement）

 

specification－－規格       
組件功能的一個描述，格式是：對指定的輸入在指定的條件下的輸出。

specified input－－指定的輸入       
一個輸入，根據規格能預知其輸出。

spiral model        －－螺旋模型       
軟件開發過程的一個模型，其中的組成活動，典型的包括需求分析，概要設計，詳細設計，編碼，集成和測試等活動被迭代的執行直到軟件被完成。

SQL－－結構化查詢語句（structured query language）
在一個關系數據庫中查詢和處理數據的一種語言。

state－－狀態       
一個系統、組件或模擬可能存在其中的一個條件或模式。

state diagram－－狀態圖       
一個圖形，描繪一個系統或組件可能假設的狀態，并且顯示引起或導致一個狀態切換到另一個狀態的事件或環境。

state transition－－狀態轉換       
一個系統或組件的兩個允許狀態之間的切換。

state transition testing        －－狀態轉換測試       
根據狀態轉換來設計測試用例的一種方法。

statement－－語句       
程序語言的一個實體，是典型的最小可執行單元。

statement coverage－－語句覆蓋       
在一個組件中，通過執行一定的測試用例所能達到的語句覆蓋百分比。

statement testing－－語句測試       
根據語句覆蓋來設計測試用例的一種方法。

Static Analysis－－靜態分析       
分析一個程序的執行，但是并不實際執行這個程序。

 

Static Analyzer－－靜態分析器       
進行靜態分析的工具。

Static Testing－－靜態測試       
不通過執行來測試一個系統。

statistical testing－－統計測試       
通過使用對輸入統計分布進行分析來構造測試用例的一種測試設計方法。

stepwise refinement－－逐步優化       
一個結構化軟件設計技術，數據和處理步驟首先被廣泛的定義，然后被逐步的進行了細化。

storage testing－－存儲測試       
驗證系統是否滿足指定存儲目標的測試。

Stress Testing－－壓力測試       
在規定的規格條件或者超過規定的規格條件下，測試一個系統，以評價其行為。類似負載測試，通常是性能測試的一部分。

structural coverage－－結構化覆蓋       
根據組件內部的結構度量覆蓋率。

structural test case design－－結構化測試用例設計       
根據組件內部結構的分析來設計測試用例的一種方法。

structural testing－－結構化測試       
參考結構化測試用例設計（structural test case design）

structured basis testing－－結構化的基礎測試       
根據代碼邏輯設計測試用例來獲得100％分支覆蓋的一種測試用例設計技術。

structured design－－結構化設計       
軟件設計的任何遵循一定紀律的方法，它按照特定的規則，例如：模塊化，有頂向下設計，數據逐步優化，系統結構和處理步驟。

structured programming－－結構化編程       
在結構化程序開發中的任何包含結構化設計和結果的軟件開發技術。

structured walkthrough－－結構化走讀       
參考走讀（walkthrough）

 

stub－－樁       
一個軟件模塊的框架或特殊目標實現，主要用于開發和測試一個組件，該組件調用或依賴這個模塊。

symbolic evaluation－－符號評價       
參考符號執行（symbolic execution）

symbolic execution－－符號執行       
通過符號表達式來執行程序路徑的一種靜態分析設計技術。其中，程序的執行被用符號來模擬，例如，使用變量名而不是實際值，程序的輸出被表示成包含這些符號的邏輯或數學表達式。

symbolic trace－－符號軌跡       
一個計算機程序通過符號執行是經過的語句分支結果的一個記錄。

syntax testing－－語法分析       
根據輸入語法來驗證一個系統或組件的測試用例設計技術。

system analysis－－系統分析       
對一個計劃的或現實的系統進行的一個系統性調查以確定系統的功能以及系統與其它系統之間的交互。

system design－－系統設計       
一個定義硬件和軟件構架、組件、模塊、接口和數據的過程以滿足指定的規格。

system integration－－系統集成       
一個系統組件的漸增的連接和測試，直到一個完整的系統。

System Testing－－系統測試       
從一個系統的整體而不是個體上來測試一個系統，并且該測試關注的是規格，而不是系統內部的邏輯