一種CP-nets模型跡等價(jià)化簡(jiǎn)工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著軟件產(chǎn)業(yè)迅速發(fā)展，并行軟件系統(tǒng)已經(jīng)成為主流的軟件系統(tǒng)，在人們的生產(chǎn)生活中發(fā)揮著十分重要的作用。軟件測(cè)試是軟件生命周期中一項(xiàng)非常重要的工作，對(duì)于保證軟件產(chǎn)品的質(zhì)量具有極其重要的意義。然而由于并行軟件中存在的并行行為，導(dǎo)致并行軟件狀態(tài)空間規(guī)模非常大，甚至呈指數(shù)級(jí)增長(zhǎng)，從而影響軟件產(chǎn)品測(cè)試工作的順利進(jìn)行。
　　當(dāng)前，工業(yè)界和學(xué)術(shù)界使用的一些測(cè)試方法也因?yàn)椴⑿熊浖臓顟B(tài)空間規(guī)模過(guò)大而無(wú)法有效地進(jìn)行測(cè)試工作。本文認(rèn)為可以使用形式化建模語(yǔ)

2、言CP-nets(Coloured Petri nets)對(duì)待測(cè)的并行軟件系統(tǒng)進(jìn)行建模，CP-nets適合于描述并行行為，而且引入了數(shù)據(jù)操作和數(shù)據(jù)類(lèi)型的概念，使得模型更加直觀清晰、易于理解?；诖郎y(cè)并行軟件系統(tǒng)的CP-nets模型及其狀態(tài)空間進(jìn)行測(cè)試是非常有效的方法。
　　然而，并行軟件系統(tǒng)的CP-nets模型仍然具有較大的狀態(tài)空間，導(dǎo)致測(cè)試效果和效率都非常差。因此，本文設(shè)計(jì)并實(shí)現(xiàn)一套CP-nets模型跡等價(jià)化簡(jiǎn)工具，以待測(cè)軟件系

3、統(tǒng)的CP-nets模型文件作為輸入，自動(dòng)完成符合跡等價(jià)化簡(jiǎn)條件的化簡(jiǎn)工作，包括有向弧重定向、弧表達(dá)式重寫(xiě)等，并自動(dòng)輸出化簡(jiǎn)后的CP-nets模型。在并行系統(tǒng)模型中化簡(jiǎn)符合條件的模型元素，其并行特點(diǎn)決定了模型的狀態(tài)空間規(guī)模會(huì)大幅下降。跡等價(jià)指的是輸入輸出行為等價(jià)，軟件功能測(cè)試只關(guān)注系統(tǒng)輸入輸出行為而不關(guān)注內(nèi)部不可觀察行為。因此，基于化簡(jiǎn)后的系統(tǒng)模型進(jìn)行測(cè)試，不但不會(huì)影響測(cè)試工作的正確性，還會(huì)因其狀態(tài)空間規(guī)模的下降而提升測(cè)試的效果和效率。<