嵌入式系統(tǒng)廣泛應(yīng)用于諸如航天、航天、交通等安全關(guān)鍵領(lǐng)域,這類系統(tǒng)通常具有較高的安全性和可靠性約束,一旦失效即有可能導(dǎo)致重大的財(cái)產(chǎn)損失、環(huán)境破壞以及人員傷亡等重大后果,因此,我們一般將這類系統(tǒng)稱之為安全關(guān)鍵系統(tǒng)。對(duì)于安全關(guān)鍵系統(tǒng),構(gòu)建其軟件工程體系是十分困難的,其中一個(gè)難點(diǎn)就在于系統(tǒng)要遵循合法的,可控的需求。在軟件開(kāi)發(fā)過(guò)程中,需求是否有缺陷對(duì)安全關(guān)鍵系統(tǒng)的安全性和可靠性有決定作用。因此在安全關(guān)鍵系統(tǒng)開(kāi)發(fā)過(guò)程中,各制品間的可追蹤關(guān)系是非常重要的一個(gè)環(huán)節(jié),尤其是需求和設(shè)計(jì)之間的一致性關(guān)系。目前,由于需求大多是用領(lǐng)域相關(guān)的自然語(yǔ)言來(lái)描述,或者使用如RUCM等半形式化的方法描述。而設(shè)計(jì)模型大多使用的是形式化或者半形式化的語(yǔ)言,從而難以保證安全關(guān)鍵系統(tǒng)的需求和設(shè)計(jì)模型之間的一致性。根據(jù)軟件項(xiàng)目統(tǒng)計(jì)結(jié)果發(fā)現(xiàn):50%以上的系統(tǒng)錯(cuò)誤是由于需求的錯(cuò)誤或缺失導(dǎo)致的,而且在追蹤這些錯(cuò)誤需求要花費(fèi)超過(guò)80%的錯(cuò)誤修正成本。因此如果可以改進(jìn)需求描述,加強(qiáng)需求和設(shè)計(jì)之間的聯(lián)系,那么這些系統(tǒng)錯(cuò)誤可能可以被更早地發(fā)現(xiàn)并且可以盡早解決這些錯(cuò)誤。由此可見(jiàn),減少需求中的缺陷,建立需求和設(shè)計(jì)模型間的追蹤關(guān)系,對(duì)于安全關(guān)鍵系統(tǒng)的... 

【文章頁(yè)數(shù)】：80 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 課題研究背景
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 論文組織結(jié)構(gòu)
第二章 需求驗(yàn)證方法總體概述
    2.1 AADL模型概述
        2.1.1 AADL語(yǔ)言介紹
        2.1.2 AADL錯(cuò)誤模型附件
    2.2 ALISA框架概述
        2.2.1 需求規(guī)約
        2.2.2 驗(yàn)證計(jì)劃
        2.2.3 保障計(jì)劃
    2.3 需求和模型的靜態(tài)語(yǔ)義之間的一致性
    2.4 ATL技術(shù)概述
    2.5 基于ALISA框架的需求驗(yàn)證方法
    2.6 本章小結(jié)
第三章 功能性需求與設(shè)計(jì)模型的一致性驗(yàn)證方法
    3.1 限定自然語(yǔ)言需求模板
    3.2 元模型分析
        3.2.1 需求模板的元模型分析
        3.2.2 需求規(guī)約的元模型分析
        3.2.3 驗(yàn)證計(jì)劃的元模型分析
    3.3 根據(jù)需求和AADL模型生成驗(yàn)證計(jì)劃的自動(dòng)轉(zhuǎn)換方法
        3.3.1 限定自然語(yǔ)言需求模板到需求規(guī)約的轉(zhuǎn)換規(guī)則
        3.3.2 需求規(guī)約到驗(yàn)證計(jì)劃的轉(zhuǎn)換規(guī)則
    3.4 本章小結(jié)
第四章 非功能性需求與設(shè)計(jì)模型的一致性驗(yàn)證方法
    4.1 錯(cuò)誤模型附件在描述需求方面的缺陷
    4.2 ALISA框架與錯(cuò)誤模型附件關(guān)聯(lián)
        4.2.1 需求模板
        4.2.2 需求規(guī)約擴(kuò)展
        4.2.3 錯(cuò)誤模型元模型分析
    4.3 從錯(cuò)誤模型相關(guān)需求文檔到需求規(guī)約的轉(zhuǎn)換規(guī)則
    4.4 錯(cuò)誤附件驗(yàn)證計(jì)劃
    4.5 本章小結(jié)
第五章 嬰兒保溫箱的系統(tǒng)實(shí)例分析
    5.1 工具實(shí)現(xiàn)
    5.2 系統(tǒng)實(shí)例
        5.2.1 系統(tǒng)概述
        5.2.2 需求模板設(shè)計(jì)
        5.2.3 根據(jù)需求模板生成需求規(guī)約
        5.2.4 從需求規(guī)約生成驗(yàn)證計(jì)劃
    5.3 需求驗(yàn)證結(jié)果和分析
    5.4 本章小結(jié)
第六章 總結(jié)與展望
    6.1 本文工作總結(jié)
    6.2 未來(lái)工作展望
參考文獻(xiàn)
致謝
在學(xué)期間的研究成果及發(fā)表的學(xué)術(shù)論文


【參考文獻(xiàn)】：
期刊論文
[1]面向航天嵌入式軟件的形式化建模方法[J]. 顧斌,董云衛(wèi),王政.  軟件學(xué)報(bào). 2015(02)
[2]一個(gè)支持軟件需求驗(yàn)證的過(guò)程模型研究[J]. 榮輝桂,李瑋,郭衛(wèi)鋒.  計(jì)算機(jī)應(yīng)用. 2008(05)
[3]基于抽象解釋理論的程序驗(yàn)證技術(shù)[J]. 李夢(mèng)君,李舟軍,陳火旺.  軟件學(xué)報(bào). 2008(01)
[4]模型驅(qū)動(dòng)架構(gòu)中模型構(gòu)造與集成策略[J]. 劉靜,何積豐,繆淮扣.  軟件學(xué)報(bào). 2006(06)
[5]關(guān)于軟件需求中的不一致性管理[J]. 朱雪峰,金芝.  軟件學(xué)報(bào). 2005(07)
[6]一種面向?qū)ο蟮念I(lǐng)域工程方法[J]. 王千祥,吳瓊,李克勤,楊芙清.  軟件學(xué)報(bào). 2002(10)
[7]AHP方法在確定軟件需求優(yōu)先級(jí)中的應(yīng)用[J]. 陳陽(yáng),吳相林.  華中科技大學(xué)學(xué)報(bào). 2001(09)
[8]對(duì)象式軟件需求模型及其機(jī)器支撐[J]. 張家重,王志堅(jiān),伊波,徐家福.  軟件學(xué)報(bào). 1998(06)

碩士論文
[1]基于謂詞邏輯的需求追蹤方法研究[D]. 陳光穎.南京航空航天大學(xué) 2016
[2]面向產(chǎn)品設(shè)計(jì)的漢語(yǔ)自然語(yǔ)言復(fù)合句語(yǔ)義理解[D]. 張建.西安電子科技大學(xué) 2006
[3]軟件項(xiàng)目管理在教育管理系統(tǒng)項(xiàng)目中的應(yīng)用[D]. 張克艷.電子科技大學(xué) 2004



本文編號(hào)：3710066