實(shí)驗(yàn)室系統(tǒng)結(jié)構(gòu)信息科學(xué)與工程學(xué)院

—、 可能會(huì)互相影響而導(dǎo)致問(wèn)題的出現(xiàn)，需求改變帶來(lái)的復(fù)雜性可能導(dǎo)致錯(cuò)誤，，革或更新須結(jié)合面向?qū)ο蠹夹g(shù)的特點(diǎn)，研究性的面向?qū)ο筌浖臏y(cè)試?yán)?，僅會(huì)使開發(fā)商的費(fèi)用和用戶的使用成本大幅增加還可能產(chǎn)生其他的責(zé)任風(fēng)展，為了使程序更易于理解開發(fā)了結(jié)構(gòu)化程序設(shè)計(jì)，如PL/1，PASCAL等；為了提高重用性開發(fā)了面向?qū)ο蟮某绦蛟O(shè)計(jì)語(yǔ)言，如Simlasa等，這使得建立基于自及運(yùn)行等階段。軟件開發(fā)生存期的V模型說(shuō)明了何時(shí)應(yīng)進(jìn)試。圖2-1所示的簡(jiǎn)單V2-1單元在單元測(cè)試過(guò)，對(duì)執(zhí)行路徑的選擇性測(cè)試是最主要的任務(wù)。測(cè)試用例應(yīng)基本路徑和循環(huán)測(cè)試是發(fā)現(xiàn)路徑錯(cuò)誤的一種有效技術(shù)。集成集成（Integration），缺點(diǎn)是在較模塊時(shí)，底層出來(lái)采用樁模塊替代真實(shí)情況，英雌測(cè)較模塊時(shí)，所需的下層模塊功能均已具備，所以不需要樁模塊。，系統(tǒng)系統(tǒng)測(cè)試是對(duì)已經(jīng)集成好的軟件系統(tǒng)進(jìn)地的測(cè)試以驗(yàn)證軟件的正確性面向?qū)ο蟮能浖y(cè)試是根據(jù)軟件開發(fā)各階段的規(guī)格說(shuō)明書或程序內(nèi)部結(jié)構(gòu)驗(yàn)證該結(jié)果是否與預(yù)期的一致，然后做相應(yīng)的調(diào)整和評(píng)價(jià)。備好的測(cè)試用例，對(duì)被測(cè)軟件進(jìn)行完整的測(cè)試，測(cè)試與糾錯(cuò)通常是反復(fù)交替進(jìn)成特定功能的功能模塊測(cè)試過(guò)不能僅僅檢查輸入數(shù)據(jù)產(chǎn)生的輸出結(jié)果是否類的重要特征之一是信息隱蔽與封裝性它把數(shù)據(jù)和數(shù)據(jù)的方法封裝在到了不可逾越的。子程序（模塊、進(jìn)程VWOOA、OOD、面向?qū)ο蟮拈_發(fā)模型突破了傳統(tǒng)的瀑布模型，將開發(fā)分為面向?qū)ο蠓治觯∣OA（OODTestTestTestTestIntegrateTest，面向?qū)ο笙到y(tǒng)測(cè)試（OOSystemTest）面向?qū)ο蠓治龅臏y(cè)試（OOA是把E-R的形式進(jìn)行描述。面向?qū)ο笤O(shè)計(jì)的測(cè)試（OOD造型的觀點(diǎn)OOA為基礎(chǔ)歸納出類，并建立類結(jié)構(gòu)或進(jìn)一步構(gòu)OODOOD是OOA的進(jìn)一步細(xì)化和更的抽象，OOD確定類和類結(jié)構(gòu)不僅是面向?qū)ο缶幊痰臏y(cè)試（OOP測(cè)試方面（c++為例數(shù)據(jù)成員是否滿足數(shù)據(jù)封裝的統(tǒng)內(nèi)多個(gè)類快可以并行進(jìn)試。無(wú)意義，OO面向?qū)ο蟮能浖y(cè)試技面向?qū)ο蟮念悳y(cè)基于狀態(tài)的測(cè)試類的實(shí)例在其生命周期各種狀態(tài)下的情況面向?qū)ο蟮念惔販y(cè)類簇是一組相互合作的類類簇測(cè)試主要一組協(xié)同操作的類之間的相互擇其中主動(dòng)發(fā)送消息的類的測(cè)試用例為此測(cè)試的用例，加載驅(qū)動(dòng)程序運(yùn)試面向?qū)ο蟮南到y(tǒng)測(cè)測(cè)試用例可以從對(duì)象—行為模型和作為對(duì)象分析的一部分的流圖中導(dǎo)出。面向?qū)ο蟮能浖y(cè)試方基于狀態(tài)的測(cè)（EFSM基于方法序列的面向?qū)ο蟪绦蛑蟹椒ǖ恼{(diào)用時(shí)有一定次序的如果了次序就會(huì)產(chǎn)生錯(cuò)誤。Mtss次序執(zhí)行,哪些方法可以并發(fā)執(zhí)行等等。如一個(gè)對(duì)象使用時(shí)只有先初始化，才（Mtss（Mtss（Mtss根據(jù)序列規(guī)范生成相應(yīng)的消息序列規(guī)范執(zhí)試?；诜椒ㄐ蛄械腢ML為面向?qū)ο筌浖峁┝藦?qiáng)大的建模工具,同時(shí)它也可以作為測(cè)試的依UML從而決定對(duì)類進(jìn)試的順序。另外,采用類圖可以生成檢驗(yàn)類之間關(guān)系是否這種流程圖表示了對(duì)象間消息傳遞的順序,與程序流程圖在形式上極為類似,徑集中的每一條路徑都是一個(gè)消息序列,即測(cè)試用例。換為一個(gè)狀態(tài)模型,然后參照狀態(tài)測(cè)試的方法進(jìn)試。目前的最流行的單元測(cè)試工具是xUnit系列常用的根據(jù)語(yǔ)言不同分為JUni（javaCppUni（C++DUnit（DelphiNUni（.netPhpUni（PhpJtest：Jtestparasoftjavajava性。parasoft同時(shí)的還有C++test，是一款C/C++白盒測(cè)試工具。RationalRobot、和查找問(wèn)題LoadRunner能夠?qū)φ麄€(gè)企業(yè)架構(gòu)進(jìn)試通過(guò)使用LoadRunner，JUnit是一個(gè)Java語(yǔ)言的單元測(cè)試框KentBeck和ErichG建試的情況下可以大大的提高開發(fā)的效率Inctive推出的一種預(yù)測(cè)系統(tǒng)行為和性能的負(fù)載測(cè)是業(yè)界第一個(gè)基于Web的測(cè)個(gè)用于規(guī)范和管理日常測(cè)試項(xiàng)目工作的平不足：繁瑣Junit測(cè)試檢驗(yàn)其