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

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

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