數(shù)字音像內(nèi)容管理系統(tǒng)的測(cè)試?yán)詣?dòng)生成技術(shù)研究.pdf

1、數(shù)字音像內(nèi)容集成管理平臺(tái)(NNM管理系統(tǒng))是基于C/S模式的、在內(nèi)容運(yùn)營(yíng)商系統(tǒng)中實(shí)現(xiàn)對(duì)音像內(nèi)容管理、查詢和維護(hù)的平臺(tái)。對(duì)于運(yùn)營(yíng)商來說,它是對(duì)分布式資源網(wǎng)絡(luò)中所擁有的音像資源、視聽節(jié)目、廣告策略進(jìn)行集中管理的重要單元。這種基于C/S模式的系統(tǒng)由于具有多層體系結(jié)構(gòu),擁有圖形用戶界面、使用面向?qū)ο蟪绦蛟O(shè)計(jì)技術(shù)、數(shù)據(jù)分布存儲(chǔ)、并發(fā)控制以及平臺(tái)異構(gòu)等特征,使得使用傳統(tǒng)的手動(dòng)方式為其生成一致性測(cè)試用例并進(jìn)行測(cè)試有著極大的困難,同時(shí)使用手動(dòng)方式產(chǎn)生的

2、測(cè)試用例帶有一定的盲目性,難以對(duì)軟件系統(tǒng)進(jìn)行充分的測(cè)試,使得軟件開發(fā)的成本居高不下,開發(fā)周期漫長(zhǎng)。 本文為解決以上問題提出在對(duì)NNM管理系統(tǒng)進(jìn)行開發(fā)過程中使用UML語(yǔ)言進(jìn)行形式化建模,給出了將建立好的UML狀態(tài)圖轉(zhuǎn)換為擴(kuò)展的有限狀態(tài)機(jī)(EFSM)的方法,并在擴(kuò)展的有限狀態(tài)機(jī)上使用控制流和數(shù)據(jù)流結(jié)合的測(cè)試?yán)煞椒▉碜詣?dòng)生成NNM管理系統(tǒng)的一致性測(cè)試用例。最后使用生成的測(cè)試?yán)龑?duì)NNM管理系統(tǒng)進(jìn)行一致性測(cè)試。該方法使測(cè)試人員從繁重的