基于多值邏輯狀態(tài)機(jī)的需求分歧研究.pdf

1、當(dāng)今的軟件日趨復(fù)雜，軟件開(kāi)發(fā)已成為涉及眾多權(quán)益相關(guān)者的一個(gè)長(zhǎng)期復(fù)雜的過(guò)程。在這個(gè)過(guò)程中，形成了目標(biāo)系統(tǒng)的多個(gè)部分模型，由于不同權(quán)益相關(guān)者所持的不同出發(fā)點(diǎn)，這些模型可能存在分歧。分歧的存在對(duì)于軟件開(kāi)發(fā)雖然有不利影響，但是分歧的出現(xiàn)揭示了潛在的需求問(wèn)題，對(duì)于改進(jìn)軟件需求過(guò)程，提高需求分析質(zhì)量有促進(jìn)作用；另一方面，新的軟件開(kāi)發(fā)方式在客觀上造成了分歧現(xiàn)象的加劇，需求分歧已經(jīng)成為軟件開(kāi)發(fā)中的常見(jiàn)問(wèn)題。因此，對(duì)需求分歧的研究有著重要意義。

2、本文討論了現(xiàn)有的需求分歧分析方法的局限性，并根據(jù)這些方法局限性的形成原因，將自動(dòng)機(jī)理論與多值邏輯相結(jié)合，提出了基于多值邏輯狀態(tài)機(jī)的需求分歧分析方法。在描述方法上，將軟件需求分為狀態(tài)集合和事件集合，用自動(dòng)機(jī)進(jìn)行描述，有利于保存全局信息；在分歧處理上，使用多值邏輯進(jìn)行事件分歧分析，提高了分歧消除的靈活性和通用性。最后，介紹了根據(jù)本文方法實(shí)現(xiàn)的一個(gè)需求分歧分析工具SRIA，并用通過(guò)一個(gè)實(shí)例證明了本文方法的有效性。 需求本質(zhì)上屬于主觀意