基于多樣化對象所有權(quán)的軟件可信性質(zhì)研究.pdf

1、計(jì)算機(jī)軟件在快速發(fā)展給人們帶來方便,但同時(shí)由于軟件規(guī)模日趨龐大、形態(tài)日趨復(fù)雜,而使得許多軟件本身的可信性變得越來越脆弱。傳統(tǒng)的軟件工程方法已經(jīng)無法滿足當(dāng)今社會(huì)對軟件可信性的迫切需求,軟件研究面臨可信性的重要科學(xué)挑戰(zhàn)。在研究可信軟件的過程中,如何抽象地表述軟件的各種可信性質(zhì)與具體的代碼相互印證成為構(gòu)建可信軟件的關(guān)鍵技術(shù)之一。研究可信軟件關(guān)鍵技術(shù),設(shè)計(jì)、推理和驗(yàn)證程序中的各種對象依賴和保護(hù)關(guān)系是本論文研究的目的。
　　 在實(shí)驗(yàn)方法上

2、,從研究軟件的可信性質(zhì)出發(fā),重點(diǎn)關(guān)注對象間的依賴和保護(hù)關(guān)系,在現(xiàn)有的單所有權(quán)和多所有權(quán)的基礎(chǔ)上研究多樣化對象所有權(quán)對象,將程序標(biāo)注、程序靜態(tài)分析和可信軟件的研究相結(jié)合,理論與實(shí)踐相結(jié)合。
　　 在多樣化對象所有權(quán)相關(guān)的研究中,第一:設(shè)計(jì)研究所需的程序標(biāo)注,并人為地在面向?qū)ο蟪绦蛑星度脒@些體現(xiàn)各種對象所有權(quán)設(shè)計(jì)意圖的程序標(biāo)注,要求程序可以自動(dòng)獲得源代碼中的程序標(biāo)注對一段給定的源代碼;第二,對給定的java程序代碼,程序可以自動(dòng)顯式