高階類型化軟件體系結(jié)構(gòu)建模和驗(yàn)證及案例
摘要：根據(jù)權(quán)威統(tǒng)計(jì)數(shù)據(jù),軟件測(cè)試中發(fā)現(xiàn)的70%以上的錯(cuò)誤由需求獲取或體系結(jié)構(gòu)設(shè)計(jì)引起.因此,應(yīng)用軟件體系結(jié)構(gòu)在設(shè)計(jì)階段的正確性驗(yàn)證非常重要.現(xiàn)有的軟件體系結(jié)構(gòu)設(shè)計(jì)方法不支持需求滿足驗(yàn)證,需求滿足驗(yàn)證需要其他驗(yàn)證工具的支持.面向主流Web應(yīng)用軟件的體系結(jié)構(gòu)設(shè)計(jì)及其需求滿足驗(yàn)證,提出了一種高階類型化軟件體系結(jié)構(gòu)建模和驗(yàn)證語(yǔ)言(SAML)與軟件體系結(jié)構(gòu)建模和驗(yàn)證方法(SAMM).SAML語(yǔ)言通過(guò)定義類型和項(xiàng)的語(yǔ)法及語(yǔ)義,描述軟件體系結(jié)構(gòu)中類型和對(duì)象的構(gòu)造,通過(guò)定義類型規(guī)則及其類型檢查算法來(lái)判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM給出了軟件體系結(jié)構(gòu)建模范式,包括構(gòu)建接口類型Mcls(typeinterface)、組件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)這5層建模過(guò)程,以及生成層內(nèi)與層間類型之間關(guān)系對(duì)應(yīng)的類型規(guī)則,同時(shí)定義了接口類型方法調(diào)用圖(GSA)用以刻畫(huà)軟件體系結(jié)構(gòu)設(shè)計(jì)要求,定義了類型序列及其正確性用以刻畫(huà)需求期望的性質(zhì),并給出了相應(yīng)的驗(yàn)證算法.設(shè)計(jì)實(shí)現(xiàn)了基于該方法的原型工具系統(tǒng)SAMVS,其中,模型編輯環(huán)境支持應(yīng)用軟件的設(shè)計(jì)過(guò)程,驗(yàn)證環(huán)境支持設(shè)計(jì)滿足需求的自動(dòng)化驗(yàn)證.通過(guò)一個(gè)實(shí)際案例,完成了一個(gè)較大規(guī)模"互聯(lián)網(wǎng)+"應(yīng)用軟件系統(tǒng)的體系結(jié)構(gòu)建模和驗(yàn)證.
注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢雜志社。
軟件學(xué)報(bào)雜志
軟件學(xué)報(bào)雜志， 月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：理論計(jì)算機(jī)科學(xué)、系統(tǒng)軟件與軟件工程、模式識(shí)別與人工智能、數(shù)據(jù)庫(kù)技術(shù)、計(jì)算機(jī)網(wǎng)絡(luò)與信息安全、計(jì)算機(jī)體系結(jié)構(gòu)等。于1990年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
- 北大期刊
- CSCD期刊
- 統(tǒng)計(jì)源期刊
- 1-3個(gè)月審核
