計算機軟件工程技術中的邏輯應用探析

田志強 海南熱帶海洋學院

計算機軟件工程技術中的邏輯應用探析

田志強 海南熱帶海洋學院

計算機軟件的設計和邏輯學有關，計算機的發展需要借助邏輯學，這兩種學科之間的存在著相互滲透，相互融合。邏輯學在軟件工程中有著廣泛的應用。

計算機軟件 邏輯學 應用

軟件在開發過程中，功能的合理性需要通過邏輯分析來完成。軟件工程中的數學建模會影響到邏輯學的發展。軟件工程和邏輯學存在著交叉性。在軟件的研發過程中，邏輯工具包含了認知類的和數理類的，邏輯形式決定了軟件定義的表達形式。計算機軟件的設計通過邏輯思維完成。學科間的交叉和融合，促進了學科的共同進步。

1 軟件開發中應用周期邏輯

在軟件技術中，軟件的工作效果是關鍵。在軟件工程中，開發的形式和使用的工具要從分析入手。邏輯分析中會將軟件工程定義為一個存在周期，軟件在設計前，要分析功能的合理性和可行性，軟件的功能分析和模塊定義會影響到軟件的開發質量和日后的維護效果。需求分析、概念設計，代碼編寫都需要有邏輯思維。

1.1 軟件定義階段的邏輯分析

軟件的定義需要明確問題的性質，問題解決的可行性。軟件設計需要保證市場的應用價值。軟件的設計方案要力求簡單，為方案的易于實現創造條件。軟件的可操作性是軟件設計的出發點，功能的設計要貼近實際，保證軟件應用的有效性。軟件開發時，定義功能的范圍是必要的。不同級別的使用者要有不同的使用權限。所以應用邏輯學的概念，在具體分析中定義軟件開發的功能。

1.2 建模階段的邏輯分析

在軟件設計的建模階段，領域分析是關鍵，領域功能中會存在問題范圍，相關事務會發生共同作用。問題在范圍內的靜態模型可以用圖形的方式來定義。建模過程中，需要描述概念間的關系，概念的特性和邏輯間的相互作用。從邏輯學上說，要區分概念的內涵和外延。領域類內容的相關性會涉及到邏輯學的內涵。領域類的定義特性會和概念的外延發生關聯。邏輯學的要素應用在建模領域內，表達了內涵間的種類和從屬關系，通過限制或概括的定義，完善領域建模的基本內涵。

2 軟件開發中的邏輯定義

2.1 需來分析

軟件設計要結合用戶的需求，軟件功能的描述要結合功能的限定范圍。描述的內容力求精細化。需求分析是軟件設計的出發點。數據描述要保證準確性，要和功能分析相結合，不能單獨發生作用。圖形化的方式是一種高效的描述行為，可以明確表達數據模型間的存在關系，要應用邏輯學中的要素分析，表示概念之間存在的外延或內涵關系。軟件的功能說明，要明確功能限定所權限類別，保證軟件的使用效果。

2.2 軟件設計

軟件的需求轉化會作用到軟件體系的架構。要明確系統的接口類型，數據的表達方式和數據庫的結構。模塊的算法要明確。數據結構的表達要結合算法和表達數據。軟件的需求分析和功能描述通過數理邏輯發生作用。數理邏輯會分解思維類別，通過機器完成運算模擬。計算機功能的發揮離不開相關程序的設計。程序設計就是數理邏輯的過程，數理邏輯和功能實現有著直接的關聯。計算機語言表達出的數理邏輯，實現了計算機的功能。

2.3 代碼生成

代碼的生成和邏輯存在必然的聯系，運用邏輯實現真值的判斷。計算機的邏輯應用會體現在登陸程序，在驗證口令或密碼的時候，計算會與初始數據進行比對。此項功能可以有效保護計算機的用戶信息，還可以計算機的分級控制，計算機的安全得到保護。在邏輯學的應用層次來看，軟件在應用時需要完成規格類別的識別，需要進行數據的驗證，系統化的規格表達會生成程序文件。程序生成中代碼存在水平之間的關系或垂直之間的相互作用。

3 軟件階段的邏輯應用

軟件測試發生在模塊設計完成之后。軟件測試的過程是發現各種BUG的過程，測試人員需要完成邏輯關系的修改，開發后的修改測試是問題回歸的過程。問題的回歸是將原有的問題通過修改測試后的可能性驗證。軟件設計中的缺陷是問題回歸的原因。軟件安全是測試的重點，測試人員要把握軟件中的漏洞，測試中使用相關配置的模塊，通過功能實現業務上的搭建。從邏輯學的角度，搭建的過程會存在程序功能的銜接，測試人員就注重邏輯上的糾錯，提高軟件的適用性。

4 軟件維護中邏輯的應用

用戶在使用軟件的過程中會遇到各種各樣的問題，這也是后期維護的內容，針對問題的修改結果要通過邏輯進行驗證。軟件存在的缺陷會影響到使用的效果。應用邏輯學可以分析出用戶和軟件開發之間的矛盾，結論的合理性也會通過邏輯學得出結論。軟件的開發者需要通過技術手段消除存在的缺陷，軟件開發后的維護就是消除問題的過程。軟件的安全性和可靠性也軟件維護的重點。軟件開發的程序設計要盡可以符合邏輯。計算機需要的程序是計算機在邏輯上能識別的語言。

計算機軟件開發的各類步驟中會和邏輯發生關聯，邏輯學在軟件程序中會進行相關的比較和功能上的拓展。邏輯方法是軟件開發的工具。在計算機軟件工程中，要強化邏輯學的應用?！?/p>

[1]王民樂,劉九林編著.軟件測試－技術概論[M].北京:清華大學出版化2015.

[2]張友仁.軟件工程與軟件質量分析[M].電子工業出版社,2016.

[3]劉定偉,張俊偉編著.智能優化方法[M].高等教育出版化,2015.