JML在市場(chǎng)網(wǎng)絡(luò)管理平臺(tái)的應(yīng)用.pdf

1、單元測(cè)試作為軟件測(cè)試的一個(gè)重要的組成部分，它是軟件測(cè)試中最小最基本的測(cè)試單位。單元測(cè)試是提高軟件質(zhì)量的一個(gè)有效途徑，然而進(jìn)行單元測(cè)試的成本卻相當(dāng)大。隨著現(xiàn)今軟件的規(guī)模和復(fù)雜程度迅速提高，如何高效率地進(jìn)行單元測(cè)試，開(kāi)始受到開(kāi)發(fā)者的重視。JML（Java Modeling Language）語(yǔ)言是一種精確的形式規(guī)范描述語(yǔ)言，能準(zhǔn)確表達(dá)方法的功能需求，且JML在形式規(guī)范的基礎(chǔ)上，可以利用自身開(kāi)發(fā)的工具進(jìn)行高效率的單元測(cè)試。 本文針對(duì)J

2、ML在一個(gè)實(shí)際開(kāi)發(fā)項(xiàng)目中的應(yīng)用，研究如何使用JML提高軟件的質(zhì)量。首先，根據(jù)聚暉科技有限公司的具體業(yè)務(wù)流程，使用JML語(yǔ)言描述聚暉市場(chǎng)網(wǎng)絡(luò)管理平臺(tái)項(xiàng)目功能模塊的形式規(guī)范。JML可精確地表達(dá)系統(tǒng)功能模塊的行為規(guī)范，避免了使用自然語(yǔ)言產(chǎn)生的需求不精確、可能產(chǎn)生歧義的問(wèn)題。然后，在市場(chǎng)網(wǎng)絡(luò)管理平臺(tái)項(xiàng)目中整合JML的單元測(cè)試工具，開(kāi)發(fā)出能夠方便利用JML形式規(guī)范進(jìn)行單元測(cè)試的工具，改進(jìn)了JML單元測(cè)試工具的輸入測(cè)試數(shù)據(jù)的過(guò)程，提高了使用該單元測(cè)