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

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

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