一種新的基于缺陷的軟件測(cè)試描述語(yǔ)言-DBSTDL

顧濱兵，鄭 梅

(1.中國(guó)人民解放軍91413部隊(duì), 河北 秦皇島 066000; 2.燕山大學(xué), 河北 秦皇島 066000)

一種新的基于缺陷的軟件測(cè)試描述語(yǔ)言-DBSTDL

顧濱兵1，鄭 梅2

(1.中國(guó)人民解放軍91413部隊(duì), 河北 秦皇島 066000; 2.燕山大學(xué), 河北 秦皇島 066000)

缺乏統(tǒng)一的測(cè)試描述語(yǔ)言(TDL)已成為提高測(cè)試效率和復(fù)用程度的瓶頸；以設(shè)備、信號(hào)等為核心的傳統(tǒng)測(cè)試語(yǔ)言不能體現(xiàn)軟件測(cè)試的基本思想，不適用于建立軟件測(cè)試“共享知識(shí)庫(kù)”；為實(shí)現(xiàn)統(tǒng)一描述標(biāo)準(zhǔn)下的測(cè)試知識(shí)積累，在軟件測(cè)試信息模型基礎(chǔ)上，面向軟件缺陷，采用分類法和因素分解法，圍繞缺陷摘要與被測(cè)軟件信息雙重主線，重組軟件測(cè)試信息，設(shè)計(jì)了新的測(cè)試描述語(yǔ)言(DBSTDL)；該語(yǔ)言共包括6類詞，3大類100多條基本語(yǔ)句， 3組句群， 2種主要的語(yǔ)言組合方式，涵蓋了測(cè)試描述語(yǔ)言的框架和基本內(nèi)容；應(yīng)用DBSTDL語(yǔ)言實(shí)現(xiàn)了軟件典型缺陷與測(cè)試樣例庫(kù)，驗(yàn)證了利用DBSTDL語(yǔ)言建庫(kù)的思想，說(shuō)明該語(yǔ)言可用于建立統(tǒng)一的軟件測(cè)試描述標(biāo)準(zhǔn)，提供了規(guī)范描述手段。

測(cè)試描述語(yǔ)言； 測(cè)試信息； 軟件缺陷； 結(jié)構(gòu)化表格

0 引言

測(cè)試描述語(yǔ)言是測(cè)試人員交流測(cè)試信息、共享測(cè)試資源的根本，同時(shí)也是人與機(jī)器互相通信的重要手段，研究測(cè)試描述語(yǔ)言是發(fā)展測(cè)試技術(shù)的基礎(chǔ)性工作。

軟件測(cè)試描述是采用一種語(yǔ)言(包括自然語(yǔ)言)為工具對(duì)測(cè)試的設(shè)計(jì)、執(zhí)行，并得到測(cè)試結(jié)果的全過(guò)程描述。當(dāng)前軟件測(cè)試領(lǐng)域普遍認(rèn)為，軟件測(cè)試的根本目標(biāo)是“為了發(fā)現(xiàn)盡可能多的缺陷，而不是為了證明軟件沒(méi)有缺陷”，軟件缺陷是軟件測(cè)試的主要目標(biāo)，如果脫離了這一目標(biāo)，軟件測(cè)試描述就體現(xiàn)不出測(cè)試的設(shè)計(jì)思想、策略和方法的核心內(nèi)容，測(cè)試的復(fù)用和共享就沒(méi)有了“靈魂”和方向，本文據(jù)此開(kāi)展相關(guān)研究。

1 國(guó)內(nèi)外測(cè)試描述語(yǔ)言現(xiàn)狀

1.1 國(guó)外主要的測(cè)試描述語(yǔ)言

國(guó)外一直視測(cè)試描述語(yǔ)言為自動(dòng)測(cè)試的核心，用專業(yè)化的測(cè)試描述語(yǔ)言來(lái)替代自然語(yǔ)言和早期使用的通用計(jì)算機(jī)語(yǔ)言(C、Ada等)，典型的包括ATLAS-面向測(cè)試的通用語(yǔ)言、STD-信號(hào)和測(cè)試規(guī)范標(biāo)準(zhǔn)、ATML-自動(dòng)測(cè)試標(biāo)記語(yǔ)言，除此之外還包括美國(guó)宇航局使用的GOAL、美國(guó)空軍的PALCE、歐洲宇航局的ETOL等。

1.2 國(guó)內(nèi)測(cè)試描述描述語(yǔ)言研究

國(guó)內(nèi)在跟蹤國(guó)外測(cè)試描述語(yǔ)言的同時(shí)，對(duì)測(cè)試語(yǔ)言的研究取得了較大的進(jìn)展，開(kāi)發(fā)出了許多專業(yè)的測(cè)試語(yǔ)言，包括中科院的C-Tess語(yǔ)言、北京空間飛行器總體設(shè)計(jì)部的表格型語(yǔ)言、中科院空間科學(xué)與應(yīng)用研究中心提出的ATLMIC、北京航空航天大學(xué)基于UUT的TLBUM語(yǔ)言等。

這些語(yǔ)言在一定范圍和領(lǐng)域內(nèi)解決了測(cè)試系統(tǒng)、研發(fā)、使用等之間的信息交流問(wèn)題，促進(jìn)測(cè)試的共享、重用及自動(dòng)化。但這些語(yǔ)言多應(yīng)用硬件設(shè)備檢測(cè)，偏重于信號(hào)、設(shè)備和流程，對(duì)軟件測(cè)試中的一些關(guān)鍵信息缺乏完整的定義和準(zhǔn)確的描述。

1.3 測(cè)試描述語(yǔ)言在軟件測(cè)試中的應(yīng)用

軟件測(cè)試是保證軟件質(zhì)量的關(guān)鍵環(huán)節(jié)和重要手段。當(dāng)前，在軟件測(cè)試領(lǐng)域，迄今為止，還沒(méi)有統(tǒng)一的測(cè)試描述語(yǔ)言，雖然在一些測(cè)試工具中引入了測(cè)試用例描述技術(shù)，但也是五花八門、各自為政；另外，軟件測(cè)試描述主要以測(cè)試用例的復(fù)用為主要目標(biāo)，缺乏對(duì)軟件測(cè)試信息的整體框架分析以及對(duì)關(guān)鍵信息的定位和描述手段，面向軟件測(cè)試的測(cè)試描述語(yǔ)言已成為了提高軟件測(cè)試效率和軟件測(cè)試復(fù)用程度的瓶頸。

2 軟件測(cè)試信息及其描述

2.1 測(cè)試信息

信息來(lái)源于數(shù)據(jù)，是數(shù)據(jù)的抽象表達(dá)。一般測(cè)試信息是被測(cè)件基本信息、資源信息、流程信息、結(jié)果信息的融合。對(duì)于軟件測(cè)試，由于軟件缺陷是測(cè)試的主要目標(biāo)，在基于軟件缺陷的測(cè)試信息中將其獨(dú)立出來(lái)，缺陷信息是提供能夠讓其它人員復(fù)現(xiàn)缺陷的必要信息。

整理測(cè)試信息的主要目的是進(jìn)行共享和復(fù)用，用統(tǒng)一的信息模型標(biāo)準(zhǔn)，才能將測(cè)試信息進(jìn)行交互，數(shù)據(jù)才能被共享、融合和復(fù)用。

2.2 軟件測(cè)試信息模型

信息模型是一系列用于描述軟件測(cè)試知識(shí)和功能特性的抽象定義，通過(guò)測(cè)試信息的模型化提供一個(gè)用于進(jìn)行測(cè)試共享的信息框架。本文提出了基于軟件缺陷的設(shè)計(jì)思想，面向發(fā)現(xiàn)及診斷缺陷來(lái)組織和整理測(cè)試信息。主要思路是：按照發(fā)現(xiàn)缺陷的一般邏輯，即發(fā)現(xiàn)缺陷的過(guò)程是對(duì)特定被測(cè)軟件利用一定的測(cè)試資源及采用合適的測(cè)試手段方法得到測(cè)試結(jié)果的過(guò)程，將測(cè)試信息劃分為3個(gè)獨(dú)立的域：被測(cè)軟件域、測(cè)試域、軟件缺陷域。每個(gè)域中都包含大量的相關(guān)信息。圖1為本文關(guān)于軟件測(cè)試的信息模型示意圖。

圖1 軟件測(cè)試信息模型

2.3 軟件測(cè)試描述及軟件測(cè)試描述語(yǔ)言

由圖1對(duì)于軟件域信息和測(cè)試域信息的描述以格式化表格以及表格中的數(shù)據(jù)枚舉為主要格式，而缺陷域信息還包括大量的類自然語(yǔ)言描述方式。設(shè)計(jì)基于軟件缺陷的測(cè)試描述語(yǔ)言(DBSTDL，defaults-based software test describe language)解決不同軟件測(cè)試項(xiàng)目之間數(shù)據(jù)交換和信息共享問(wèn)題。

3 基于缺陷的軟件測(cè)試描述語(yǔ)言(DBSTDL)

與以往基于信號(hào)或者被測(cè)設(shè)備的測(cè)試描述語(yǔ)言不同，DBSTDL以軟件缺陷為聚焦點(diǎn)的和組織核心。以下用圖2～4來(lái)分別表示基于信號(hào)、被測(cè)設(shè)備和軟件缺陷的測(cè)試描述語(yǔ)言。

圖2 基于信號(hào)的測(cè)試描述語(yǔ)言

圖3 基于被測(cè)設(shè)備的測(cè)試描述語(yǔ)言

圖4 基于軟件缺陷的測(cè)試描述語(yǔ)言

由圖2～4看出，基于信號(hào)和被測(cè)設(shè)備的描述語(yǔ)言都是圍繞一條主線進(jìn)行組織的，而基于軟件缺陷的測(cè)試描述語(yǔ)言是圍繞軟件缺陷和被測(cè)軟件兩條主線進(jìn)行組織的，并且檢索雖然是雙重主線，但測(cè)試復(fù)用卻主要圍繞軟件缺陷主線。比如同樣是面向測(cè)試過(guò)程，面向被測(cè)設(shè)備的測(cè)試描述語(yǔ)言的主要框架是：被測(cè)設(shè)備準(zhǔn)備、測(cè)試步驟1、測(cè)試步驟2、測(cè)試步驟3……、測(cè)試結(jié)果；而面向軟件測(cè)試的測(cè)試描述語(yǔ)言的主要框架是：被測(cè)軟件、軟件缺陷1、測(cè)試步驟1-1、測(cè)試步驟1-2……、測(cè)試結(jié)果1、軟件缺陷2、測(cè)試步驟2-1、測(cè)試步驟2-2……、測(cè)試結(jié)果2、……。

4 DBSTDL的基本框架

4.1 DBSTDL的基本要素和結(jié)構(gòu)

DBSTDL的結(jié)構(gòu)單位為：詞、句子和句群。

4.2 結(jié)構(gòu)化表格在DBSTDL中的定位

DBSTDL中結(jié)構(gòu)化表格是一種按照預(yù)定的表格形式組合而成的結(jié)構(gòu)體，包括兩個(gè)或兩個(gè)以上的詞。被測(cè)軟件單元信息如表1所示。

表1 單元信息表

簡(jiǎn)單結(jié)構(gòu)化表格可以看作是句子，而對(duì)于一些復(fù)雜的結(jié)構(gòu)化表格，表格中的內(nèi)容就包括句子，甚至包括句群，比如測(cè)試用例表格，把它看作是句群。

一般說(shuō)來(lái)，DBSTDL中的結(jié)構(gòu)單位，詞、句子、句群是按級(jí)逐次組合的，但由于這些結(jié)構(gòu)化表格的存在，DBSTDL中的結(jié)構(gòu)單位有時(shí)就不是簡(jiǎn)單地按級(jí)組合在一起，而是多層次地錯(cuò)綜復(fù)雜地組合起來(lái)的。

5 基于軟件缺陷的DBSTDL詳細(xì)設(shè)計(jì)

建立測(cè)試描述語(yǔ)言的主要目的是實(shí)現(xiàn)測(cè)試復(fù)用，而測(cè)試復(fù)用的關(guān)鍵就是“測(cè)試知識(shí)”檢索。基于軟件缺陷的DBSTDL，不但以軟件缺陷的描述為核心，而且為了提高檢索效率，軟件缺陷的描述又圍繞軟件缺陷摘要語(yǔ)句來(lái)展開(kāi)。軟件缺陷摘要語(yǔ)句通過(guò)使用關(guān)鍵詞，進(jìn)行一段簡(jiǎn)單、準(zhǔn)確、專業(yè)的描述來(lái)抓住缺陷的本質(zhì)，即對(duì)軟件產(chǎn)品預(yù)期屬性的偏離情況，同時(shí)，軟件缺陷摘要語(yǔ)句又是檢索點(diǎn)的有機(jī)組合，通過(guò)分類法和因素分解法，本文將該語(yǔ)句進(jìn)行分解，把其中相同或類似的部分列定為固定參數(shù)，其中不同的列定為可變參數(shù)，這樣就形成了參數(shù)化軟件缺陷摘要語(yǔ)句。

5.1 軟件缺陷信息描述

5.1.1 軟件缺陷摘要語(yǔ)句

軟件缺陷摘要語(yǔ)句具有形式化的約束，根據(jù)軟件缺陷的種類，分別采取不同的格式。軟件缺陷摘要語(yǔ)句共包括：文檔類缺陷、代碼度量類缺陷、功能類缺陷、性能余量類缺陷、接口類缺陷、人機(jī)交互界面類缺陷、安全可靠及其它類缺陷7大類語(yǔ)句。本文從這些基本分類開(kāi)始，重點(diǎn)采用因素分析方法設(shè)計(jì)相應(yīng)的描述語(yǔ)句。以性能余量類缺陷為例，介紹缺陷摘要語(yǔ)句：

軟件的性能余量類缺陷主要是指軟件的實(shí)際性能值或相關(guān)的余量值未能達(dá)到預(yù)期的性能余量的指標(biāo)要求。軟件的性能指標(biāo)要求主要來(lái)源于兩類，一是從軟件所屬系統(tǒng)的文檔(如研制總要求、研制方案等)給出的戰(zhàn)術(shù)技術(shù)指標(biāo)中分解或直接引用，二是軟件需求和設(shè)計(jì)階段根據(jù)軟件的自身任務(wù)給出的性能要求。

性能指標(biāo)分為兩大類：

枚舉類：如軟件能處理的信息文件4類：數(shù)據(jù)文件、文本文件、圖像文件、聲音文件；

數(shù)值類：如軟件的信息處理時(shí)間為：<10 s。

對(duì)于第一方面的性能指標(biāo)內(nèi)容一般沒(méi)有余量，但對(duì)于數(shù)值類性能指標(biāo)，可分解出余量指標(biāo)。

按照以上分類，性能余量類軟件缺陷主要分為：

1)軟件的實(shí)際數(shù)值類性能值未能達(dá)到規(guī)定的指標(biāo)值；

2)軟件的實(shí)際枚舉類性能未能全部實(shí)現(xiàn)；

3)軟件的實(shí)際余量值未能達(dá)到規(guī)定的性能指標(biāo)值或默認(rèn)的指標(biāo)值。

5.1.2 基于軟件缺陷的關(guān)鍵詞

DBSTDL基于軟件缺陷，它的描述因素主要考慮軟件缺陷涉及的各個(gè)因素,如表2。按照1.2軟件測(cè)試信息模型，軟件缺陷涉及的因素包括：測(cè)試環(huán)境、測(cè)試數(shù)據(jù)、操作、方法以及狀態(tài)，還有將這些因素連接起來(lái)所必須的連接詞、符號(hào)等。在DBSTDL中，定義了環(huán)境設(shè)備類、測(cè)試數(shù)據(jù)類、操作類、方法類、狀態(tài)類、連接詞共6大類75個(gè)關(guān)鍵詞。其中部分關(guān)鍵詞舉例如表3～表5所示。

表2 性能余量類缺陷摘要描述語(yǔ)句表

注：AAA，BBB，CCC為自由變量。

表2 測(cè)試數(shù)據(jù)類

表3 方法類

表4 狀態(tài)類

在建立相應(yīng)的軟件缺陷知識(shí)庫(kù)時(shí)，重點(diǎn)根據(jù)參數(shù)及關(guān)鍵詞就可以實(shí)現(xiàn)高效檢索了。

5.1.3 基于軟件缺陷的過(guò)程語(yǔ)句

在進(jìn)行過(guò)程描述時(shí)，根據(jù)不同的語(yǔ)句分類，在同類語(yǔ)句中采用因素分解法設(shè)置一致的格式，完整、前后統(tǒng)一地進(jìn)行步驟及相關(guān)信息描述。

5.1.3.1 過(guò)程語(yǔ)句

過(guò)程語(yǔ)句用來(lái)對(duì)軟件缺陷的發(fā)現(xiàn)過(guò)程進(jìn)行清晰詳細(xì)的描述， 測(cè)試一般分為白盒、黑盒測(cè)試，對(duì)于白盒測(cè)試，過(guò)程語(yǔ)句用軟件缺陷的源代碼(文檔)片段+錯(cuò)誤描述來(lái)替代；對(duì)于黑盒測(cè)試，軟件缺陷發(fā)現(xiàn)過(guò)程的描述一般用前提、操作步驟及輸入數(shù)據(jù)、實(shí)際結(jié)果、預(yù)期結(jié)果這四部分以及重復(fù)這四部分來(lái)構(gòu)建的，在測(cè)試用例及執(zhí)行結(jié)果中往往制作結(jié)構(gòu)化表格。

1)前提約束語(yǔ)句：主要包括外部軟硬件環(huán)境的約束，以及當(dāng)前軟件所處的狀態(tài)。對(duì)于句法結(jié)構(gòu)來(lái)說(shuō)，軟硬件環(huán)境約束語(yǔ)句以外部硬件項(xiàng)或軟件項(xiàng)為主語(yǔ)進(jìn)行描述，而軟件當(dāng)前狀態(tài)以被測(cè)軟件為主語(yǔ)進(jìn)行描述。軟硬件環(huán)境主要體現(xiàn)在本身處在何種狀態(tài)以及對(duì)軟件發(fā)送何種信號(hào)或數(shù)據(jù)，當(dāng)前軟件狀態(tài)主要包括軟件進(jìn)入何種界面，接收到了某種數(shù)據(jù)，剛剛完成某項(xiàng)前置任務(wù)。通過(guò)總結(jié)歸納，已整理了8類基本語(yǔ)句可概括當(dāng)前一般的前提約束情況。如語(yǔ)句“(軟件)XXX配置項(xiàng)YYY軟件單元完成了AAA功能，進(jìn)入BBB界面”。

2)操作步驟語(yǔ)句：一般的操作步驟是指人對(duì)通過(guò)I/O硬件對(duì)軟件的操作過(guò)程，操作步驟語(yǔ)句分為4個(gè)部分：主語(yǔ)為測(cè)試人員(測(cè)試人員間接操縱被測(cè)軟件時(shí)，被測(cè)軟件為主語(yǔ))，操作(如點(diǎn)擊、輸入等)，操作對(duì)象，操作結(jié)果。已梳理了40余條基本語(yǔ)句來(lái)概括主要的操作步驟，包括基本語(yǔ)句，如語(yǔ)句：“測(cè)試人員通過(guò)AAA(操作對(duì)象)BBB(操作)，軟件CCC”；異常輸入語(yǔ)句 “測(cè)試人員在AAA對(duì)話框?qū)BB通過(guò)CCC(鍵盤等輸入設(shè)備)輸入異常數(shù)據(jù)DDD”。還包括鼠標(biāo)操作語(yǔ)句、設(shè)備操作語(yǔ)句、發(fā)送報(bào)文/命令語(yǔ)句、記錄語(yǔ)句等。

操作步驟語(yǔ)句較多，并且它通過(guò)多個(gè)步驟，以及與預(yù)期結(jié)果、實(shí)際結(jié)果的結(jié)合迭代，可以表現(xiàn)更為豐富的操作過(guò)程。

3)預(yù)期結(jié)果語(yǔ)句：軟件應(yīng)該達(dá)到的狀態(tài)。包括軟件進(jìn)入了某個(gè)界面，軟件得到并顯示某個(gè)數(shù)據(jù)，軟件完成了某項(xiàng)任務(wù)。

4)實(shí)際結(jié)果語(yǔ)句：軟件實(shí)際達(dá)到的狀態(tài)描述。

5.2 其它軟件測(cè)試信息描述

按照2.2軟件測(cè)試信息模型，除了軟件缺陷信息外，軟件測(cè)試需要描述的還包括軟件域信息和測(cè)試域信息，要對(duì)這些信息進(jìn)行描述，DBSTDL還需要更多的詞、語(yǔ)句并組成相應(yīng)的句群，對(duì)軟件測(cè)試信息進(jìn)行完整、準(zhǔn)確的描述，這些詞和語(yǔ)句包括：

5.2.1 DBSTDL的其它詞

除了軟件缺陷描述的相關(guān)詞，DBSTDL包括可枚舉專用、項(xiàng)目專有名詞、簡(jiǎn)化名稱詞、通用全局變量、自由變量等6類詞。

5.2.2 DBSTDL的其它語(yǔ)句

5.2.2.1 聲明語(yǔ)句

在DBSTDL中，聲明語(yǔ)句包括測(cè)試項(xiàng)目聲明語(yǔ)句、被測(cè)軟件聲明語(yǔ)句、測(cè)試設(shè)備聲明語(yǔ)句、軟件技術(shù)文檔聲明語(yǔ)句、簡(jiǎn)化名稱聲明語(yǔ)句5類語(yǔ)句組成。

5.2.2.2 組成語(yǔ)句

在DBSTDL中，組成語(yǔ)句包括：被測(cè)軟件組成、配置項(xiàng)組成語(yǔ)句、測(cè)試環(huán)境組成語(yǔ)句等4類語(yǔ)句組成。

這些語(yǔ)句大多以格式化表格的形式給出，但對(duì)于不同的語(yǔ)句采用不同形式的格式化表格，如測(cè)試項(xiàng)目聲明語(yǔ)句采用單行格式化表格的形式，被測(cè)軟件聲明語(yǔ)句采用多行三列格式化表格的形式。

5.3 DBSTDL的句群

句群是指若干個(gè)句子，圍繞一個(gè)中心意思，按照一定的邏輯關(guān)系和結(jié)構(gòu)形式構(gòu)成的語(yǔ)流段。DBSTDL包括測(cè)試環(huán)境句群、項(xiàng)目信息句群、測(cè)試過(guò)程句群。

5.4 以軟件缺陷為焦點(diǎn)，軟件缺陷和被測(cè)軟件雙主線的軟件測(cè)試描述

軟件測(cè)試如圖5所示。

圖5 以軟件缺陷為焦點(diǎn)，軟件缺陷和被測(cè)軟件雙主線的軟件測(cè)試描述

6 DBSTDL語(yǔ)言的應(yīng)用

應(yīng)用DBSTDL語(yǔ)言可規(guī)范、準(zhǔn)確地描述軟件缺陷和測(cè)試過(guò)程，解決不同軟件測(cè)試項(xiàng)目技術(shù)人員之間的交流、共享問(wèn)題，達(dá)到軟件缺陷知識(shí)的積累和復(fù)用。具體可建立軟件典型缺陷庫(kù)來(lái)實(shí)現(xiàn)。

在建庫(kù)過(guò)程中如果只按照測(cè)試項(xiàng)目進(jìn)行軟件缺陷進(jìn)行簡(jiǎn)單的組合和聚合，那么很容易得到線性的以測(cè)試項(xiàng)目為中心的測(cè)試信息系統(tǒng)。而本文設(shè)計(jì)DBSTDL可以參數(shù)化的軟件缺陷摘要語(yǔ)句為核心進(jìn)行測(cè)試信息的重組，雖然其它信息語(yǔ)句是可迭代、重復(fù)的，但在一個(gè)缺陷中結(jié)果語(yǔ)句是唯一的。可以實(shí)現(xiàn)測(cè)試信息從測(cè)試項(xiàng)目為中心向軟件缺陷為聚類同質(zhì)群組的中心的轉(zhuǎn)換，提供比較便捷的同類軟件缺陷的查詢和使用。

7 結(jié)束語(yǔ)

本文初步建立了基于軟件缺陷的測(cè)試描述語(yǔ)言TDSBSD，設(shè)計(jì)了6類詞， 3大類100多條基本語(yǔ)句， 3組句群，并分析了2種主要的語(yǔ)言組合方式。應(yīng)用TDSBSD語(yǔ)言實(shí)現(xiàn)了軟件典型缺陷與測(cè)試樣例庫(kù)，驗(yàn)證了TDSBLD語(yǔ)言和建庫(kù)思想，實(shí)現(xiàn)了測(cè)試技術(shù)、測(cè)試經(jīng)驗(yàn)在統(tǒng)一標(biāo)準(zhǔn)下的持續(xù)積累。

[1] 孫維張,劉富華.語(yǔ)言學(xué)概論[M].長(zhǎng)春：吉林大學(xué)出版社,1999.

[2] 宮云戰(zhàn), 楊朝紅, 金大海,等. 軟件缺陷模式與測(cè)試[M]. 北京: 科學(xué)出版社，2011.

[3] 賈彥德.漢語(yǔ)語(yǔ)義學(xué)[M], 北京:北京大學(xué)出版社，1999/2005.

[4] 蔣 嚴(yán),潘海華.形式語(yǔ)義學(xué)引論[M],北京:中國(guó)社會(huì)科學(xué)出版社,1998/2005.

[5] 張仕金,尚趙偉. Cppcheck的軟件缺陷模式分析與定位[J]. 計(jì)算機(jī)工程與應(yīng)用, 2015,51(3):69-73.

[6] 楊 召,肖明清,胡 斌,等.國(guó)外航空自動(dòng)測(cè)試描述語(yǔ)言發(fā)展綜述[J].計(jì)算機(jī)測(cè)量與控制,2013,21(4):833-835.

[7] 胡 璇,劉 斌,陸民燕. 軟件代碼缺陷分類及其應(yīng)用[J].計(jì)算機(jī)工程,2009,35(2):30-33.

[8] 楊朝紅,宮云戰(zhàn),肖 慶,等. 基于軟件缺陷模型的測(cè)試系統(tǒng)[J].北京郵電大學(xué)學(xué)報(bào),2008,31(5):1-4.

[9] 梁成才,章代雨, 林海靜. 軟件缺陷的綜合研究[J].計(jì)算機(jī)工程,2006,32(19):88-90.

[10] 曾福萍,靳慧亮,陸民燕.軟件缺陷模式的研究[J].計(jì)算機(jī)科學(xué),2011,38(2):127-130.

[11] 劉 海,郝克剛. 軟件缺陷原因分析方法[J].計(jì)算機(jī)科學(xué),2009,36(1):242-243.

A New Software Description Language Based on Software Defaults-DBSTDL

Gu Binbing1, Zheng Mei2

(1.91413 Unit of PLA, Qinhuangdao 066000, China; 2.Yanshan University, Qinhuangdao 066000, China)

The lack of uniform test description language (TDL) is becoming as the constrain to improving the efficiency and reusing the test cases. The traditional TDL what makes equipment and signal as center can not reflect the basic idea of software testing and is not applicable for building shared knowledge database. Defaults-based software test description language (DBSTDL) is designed for accumulating the test knowledge under the unified description, based on software test information model, by using the classification method and the factor decomposition method. The new TDL is designed around double mainlines software defaults and tested software, containing six types of words, three types or more than 100 sentences, three groups of sentence groups, two types of combination. By DBSTDL, a database of typical software defaults and test cases is created to verifying the thought of establishing database by DBSTDL. The language can be used to establish a unified description standard and provides a standardized means in the field of software testing.

TDL(test description language), test information, software defaults, structured form

2016-10-18；

2016-11-19。

顧濱兵(1978-)，男，江蘇啟東市人，碩士研究生，高級(jí)工程師，主要從事軟件工程、軟件形式化驗(yàn)證、容錯(cuò)計(jì)算等方向的研究。

1671-4598(2017)04-0113-04

10.16526/j.cnki.11-4762/tp.2017.04.032

TP31

A