【摘要】：在軟件開發(fā)過程中的需求工程階段,用戶需求通常是使用自然語言進(jìn)行描述的。雖然基于自然語言描述的需求非常直觀,但是其正確性卻不容易驗(yàn)證。并且,這些需求use case需要人工進(jìn)行建模和分析。隨著軟件系統(tǒng)的不斷演化,文本需求復(fù)雜度的不斷增加,人工建模分析的成本也會(huì)快速上升,為了縮短建模和分析的時(shí)間,提升軟件開發(fā)效率,我們需要一種文本需求自動(dòng)建模及檢測的方法。目前已有的研究中,針對文本需求的自動(dòng)建模主要存在兩個(gè)問題,一是對文本需求中的自然語言有很多限制,二是在建模分析中需要過多人為參與,不能實(shí)現(xiàn)自動(dòng)化。本文提出一種為文本需求use case自動(dòng)建立High-level Message Sequence Chart(HMSC)模型并進(jìn)行模型檢測的方法及其實(shí)現(xiàn)。在該方法中,通過預(yù)置語法匹配規(guī)則,對自然語言不進(jìn)行過多限制,同時(shí),從建模到模型驗(yàn)證都是自動(dòng)的,不需要過多人為參與。其主要步驟如下:1)為需要處理的句型建立語法匹配規(guī)則,并借助已有的自然語言處理工具,完成文本需求的信息抽取,建立use case靜態(tài)模型;2)提出一種HMSC模型,以及從use case靜態(tài)模型到HMSC模型的轉(zhuǎn)換算法;3)基于HMSC模型,為其生成模型檢測語言Promela代碼,并借助SPIN完成需求的正確性驗(yàn)證。同時(shí),本文還實(shí)現(xiàn)了一個(gè)文本需求自動(dòng)建模分析工具,并通過兩個(gè)實(shí)例European Integrated Railway Radio Enhanced Network和Online Shopping Mall來展示其自動(dòng)建模分析的效果。本文的主要貢獻(xiàn)點(diǎn)如下:1)提出一種從文本需求use case中提取信息并建立use case靜態(tài)模型的方法。2)提出一種HMSC模型,以及如何完成從use case靜態(tài)模型到HMSC模型的轉(zhuǎn)換,并證明了其正確性。3)提出從HMSC模型到Promela代碼的轉(zhuǎn)換規(guī)則,并實(shí)現(xiàn)了轉(zhuǎn)換算法。4)實(shí)現(xiàn)了一個(gè)文本需求use case自動(dòng)建模分析工具。
【學(xué)位授予單位】：浙江理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2018
【分類號】：TP311.52;TP391.1

【相似文獻(xiàn)】

相關(guān)博士學(xué)位論文 前4條

1 魏超;局部光滑保持流形正則化自編碼文本表示方法研究[D];北京理工大學(xué);2017年

2 黃佳佳;面向微博文本的主題探測與追蹤研究[D];武漢大學(xué);2016年

3 王博;面向?qū)嵨镌诃h(huán)仿真的汽車動(dòng)力學(xué)建模與評價(jià)研究[D];吉林大學(xué);2017年

4 任丹;腔體結(jié)構(gòu)電磁耦合通道等效建模及計(jì)算方法研究[D];電子科技大學(xué);2017年

相關(guān)碩士學(xué)位論文 前10條

1 帥天天;文本需求用例的建模分析及實(shí)現(xiàn)[D];浙江理工大學(xué);2018年

2 汪海興;高清視頻文本的提取與識別[D];哈爾濱工程大學(xué);2015年

3 馮婉;初中語文“非連續(xù)性文本”閱讀教學(xué)研究[D];河南大學(xué);2017年

4 李翔;文本拓展在高中文言文教學(xué)中的應(yīng)用研究[D];河南大學(xué);2017年

5 哈恩楠;自然場景文本檢測關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2017年

6 夏勇;基于深度學(xué)習(xí)的自然場景文本檢測與識別算法研究[D];西安電子科技大學(xué);2017年

7 劉子玉;視頻中文本的定位與提取[D];天津大學(xué);2016年

8 陳志鵬;基于詞分布的文本表示研究[D];蘇州大學(xué);2017年

9 于明;從譯者主體性看信息型文本的英譯漢翻譯[D];北京理工大學(xué);2016年

10 薛文靜;研讀聲樂文本對歌唱學(xué)習(xí)的重要性[D];華中師范大學(xué);2017年

，

本文編號：2619686