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

摘要：現代計算機學的發展離不開縝密邏輯理論的沉淀，隨著社會發展所需各個學科之間互相影響和融合是必然趨勢。本文將探討邏輯學在計算機軟件工程技術應用中的重要性，計算機軟件工程橫跨多個領域，該文只研究軟件工程開發中常用的邏輯關系和軟件的生命周期，主要講述計算機軟件工程和邏輯學之間如何互相促進，突出邏輯分析在軟件開發中如何應用。重點剖析邏輯學的常用內涵和延伸作用在軟件工程技術應用中所產生的幫助。

關鍵詞：計算機發展;軟件工程技術;邏輯應用

引言：

隨著社會發展對計算機技術需求增多，現代計算機軟件工程技術逐步升級，為給予用戶良好的操作體驗，提高軟件在日常生活工作中的應用效率，需要將現代邏輯學與計算機軟件工程巧妙結合。比如，計算機軟件工程技術的應用離不開邏輯學的分析和參考，是提高后期軟件實用性和效率的有效保障。邏輯學與計算機軟件工程技術的融合發展利用了學科之間交叉發展的優勢，特別是計算機軟件工程這類信息學課的發展離不開理論知識體系的支撐，而邏輯學可以幫計算機軟件工程完善知識體系，并提供科學可行的方案。在各學科研究和進步過程中，大部分學科都依賴交叉運用、實現共同發展。

1.計算機軟件工程技術生命周期的邏輯應用

1.1軟件定義階段邏輯學介入和應用

軟件的定義包括以下幾個重要過程：軟件內容、內容可行性、合同簽訂等，軟件的設計初衷必須具有實用性和一定市場加之，設計方案需目的明確且容易達成。對于軟件開發團隊來說，軟件設計當中必須考慮可實施性和不可實施性兩個重要內容，為之后的軟件設計尋找基礎和立足點[1]。軟件實用性強并不意味著功能繁多，而是軟件使用起來簡潔明了并且適用范圍廣。軟件開發之前需確定適用范圍并建立相關文檔，比如，某物流公司的倉儲管理軟件，軟件的功能主要反應物資的儲存情況和出入庫信息等，幫助物流人員更加便捷的進出貨物，因此將邏輯學應用于軟件定義階段是必須的。

1.2軟件具體領域建模

邏輯應用領域中的任何定義都可看作一類概念，簡單來說定義只是幫助人們思考的一種手段，定義主要記錄人們思考的結果，也是反應人們思考中理想價值觀的存在[2]。在計算機軟件設計建模過程中，就可以有效結合各類邏輯學理論，幫助軟件建立科學的領域模型。軟件的領域建模首先需圈定具體問題范圍，問題是個體或組織工作中的主要研究對象，經常以圖形的方式呈現。領域建模包含概念與概念之間、概念與屬性之間以及各種概念之間所存在的必然聯系。所以邏輯學概念與領域建?？梢韵嗷ヘ炌?，比如邏輯學中的種屬關系可以放入領域建模中。

2.計算機軟件開發的邏輯應用

2.1預測市場真實需求

軟件設計之初必須做好用戶市場調研工作，通過用戶對于軟件的要求和側重點進行適用范圍和內容的圈定、不斷優化軟件使用細節，將用戶反饋的真實情況記錄文檔之中。用戶需求在軟件設計和開發中占據重要地位，用戶需求不斷提升的同時軟件功能和內容也要細化，這需要軟件開發者用大量的時間調研和思考[3]。若軟件功能開發不能抓住用戶實際需求，其投入市場之后將會面臨運營失敗，這也是目前國內軟件市場中最常見的問題。假設產品設計并未達到用戶心理預期，將會造成人力、物力的不必要浪費，因此軟件市場需求調研階段不可獨斷專行，大量的調研數據結合實例分析并采用圖形化手段進行整合，最終使軟件面向的市場和用戶定義清晰，避免使用過程中出現矛盾和漏洞。

2.2軟件設計過程中的邏輯應用

將用戶真實需求作為設計初衷，客戶的需求轉化為軟件功能的過程是想法轉為軟件形式的重要過程，對此設計者需考慮兩個方面內容，第一用戶需求向軟件功能的轉化，在轉化過程中將形成軟件基本體系結構，此階段已基本確認全局數據的模擬結果和數據庫形式，也可以稱作軟件的概念設計階段。第二，軟件的各個模塊進行算法，在軟件局部架構中，詳細模擬設計階段需運用合適方法將結構進行算法描述。軟件的使用方式和適用范圍將根據用戶需求確定，設計階段就需完成這一基本目標，計算機軟件設計之所以結合邏輯學內容，是將人類思維轉化為具體數據或行為的重要過程。計算機軟件工程技術中邏輯應用將保證程序編寫的合理性，特別是數理邏輯應用能夠顯著降低軟件使用中出現定位不清晰或漏洞頻發的幾率。

2.3程序編寫的邏輯應用

計算機軟件設計中程序代碼的編寫，從中不難看出計算機與邏輯學之間的巧妙結合[4]。命題邏輯中有幾種常見的專用名詞：真值、等值，邏輯運用主要根據真值進行判斷，其中真值表發就可判斷兩種真值的情況，兩種真值可以通過計算之后確定是否相等。如果真值相等即為真、如果真值不相等即為假。那么真值判定在軟件中如何應用，主要體現在網絡程序的密碼登錄中，如果用戶輸入的密碼與程序中的設定密碼不相符，那么程序將自動判定為假。這種邏輯應用可以保證軟件使用的安全性和用戶信息安全，目前許多購物網站如果未及時付款，后期再次付款時需重復檢驗密碼，這幾種程序都是利用邏輯學的角度保障了用戶網購活動的資金安全。作為程序設計者必須將優秀的系統方法轉化為程序，這就是自動程序研究中邏輯應用的最好體現。

3.軟件后期維護

如今的中大型互聯網企業都有專屬的軟件運營維護團隊，運營團隊會定期檢查軟件使用問題或根據用戶真實反饋進行修改，在軟件維護過程中就需要用戶與軟件開發者緊密配合，只有用戶反饋頻繁和真實，才能為運營團隊提供有效修改意見。從邏輯學角度出發，軟件使用者需要開發者以最快的速度將漏洞修補，但維護人員檢查修復軟件需要一定時間，多數軟件開發者為了提高信息搜集速度，通常運用計算機程序建立用戶文檔，將用戶文檔信息作為軟件維護的主要依據。

結論：

計算機軟件工程技術中的邏輯應用體現在軟件生命周期的整個階段，將邏輯學應用于計算機軟件開發，能夠提高計算機軟件工程技術的整體應用和實踐效果，本文側重分析了軟件設計三個重要階段的邏輯應用內容，以供軟件開發者參考和適用，為今后計算機軟件工程的發展奠定良好基礎。

參考文獻：

[1]劉子恒.探究計算機軟件工程的維護措施與方法[J].網絡安全技術與應用，2020（02）：50-51.

[2]張典.計算機軟件工程現代化技術的發展現狀與對策研究[J].大眾標準化，2020（16）：47-48.

[3]趙云祥.基于計算機軟件工程的數據庫編程技術策略探討[J].電腦知識與技術，2018，14（16）：16-17.

[4]楊帆.以計算機軟件工程為基礎的現代化技術[J].電子技術與軟件工程，2018（20）：133.

作者簡介：徐晨恒，男，漢族，河南平頂山，2000.1.18，本科，學生，研究方向：軟件工程，計算機科學與技術。