計算機軟件工程技術中的邏輯運用

李攀

摘 要 計算機和邏輯學之間的聯(lián)系非常密切，當前科學發(fā)展的重要趨勢就是學科之間的滲透。本文論述了計算機工程技術當中的邏輯運用。計算機工程技術涉及到非常廣泛的內(nèi)容，本文當中只是論述了九三級工程和邏輯學之間的關系，結合軟件工程的概念，找到切入點，充分利用邏輯分析合理性，結合邏輯學當中的限制和概括，結合具體的實例闡明邏輯學的作用。

關鍵詞 計算機軟件；工程技術；邏輯運用

中圖分類號 TP3 文獻標識碼 A 文章編號 1674-6708（2017）181-0035-02

在軟件工程技術的研究方面，分析其合理性主要是理應邏輯方法，在開發(fā)組當中，可以將各種角色和職務進行合理的定義，在軟件團隊發(fā)展的過程中，需要將生產(chǎn)效率和軟件產(chǎn)品質量進行改進，對于計算機軟件工程領域建模深入的研究，運用數(shù)學建模知識的過程中，和邏輯發(fā)展具有密切的關系，這就是學科之間的交叉和融合的過程。

1 軟件工程技術當中的邏輯應用

1.1 軟件定義階段邏輯應用

定義軟件的過程中，需要對于市場減值給予充分的考慮。可以利用簡單的方案或者很容易實現(xiàn)的方案。軟件開發(fā)人員在這一階段需要將軟件的可操作性和不需要操作的內(nèi)容進行明確，這樣有利于將軟件的設計目的進行明確，避免對于各種功能盲目的實現(xiàn)，從而對于功能軟件必要性的忽略。開發(fā)軟件的過程中，需要設計出精確的范圍文檔。但是在設計的初級階段，開發(fā)者并沒有明確的定義，這樣一來，這款軟件功能就沒有得到明確，對英語相關的要求沒符合，使雙方都遭遇很多的麻煩。在概念當中利用邏輯學，在對比和運用的過程中，可以將軟件定義進行完善。

1.2 應用領域建模邏輯

在領域建模當中，主要是對概念之間和概念類的屬性等存在的關聯(lián)進行論述。

第一方面就是復合，指的就是在領域當中出現(xiàn)的圖片或者單詞，第二方面就是內(nèi)涵，指的就是定義領域類，和邏輯學內(nèi)涵之間具有很多的相同點，在領域類定義當中的實例都是進行有效的外延。邏輯學的概念在領域建模當中進行有效的利用，在限制和概括的過程中包含的種屬關系，可以對于領域建模內(nèi)涵進行更好的理解。

2 軟件開發(fā)過程匯總利用邏輯

2.1 階段應用的分析

分析軟件需求，我們應該明確利用軟件需要將用戶怎樣的需求進行滿足，描述軟件需求的時候，需要和軟件開發(fā)者進行良好的描述，進行有效精確的細化。研發(fā)軟件的過程中，比較重要的就是需求分析。在實際分析的過程中需要很多的時間，如果沒有花費很多的時間，那么很容易就會出現(xiàn)返工和失敗，這樣一來，軟件設計成果和用戶的需求就會出現(xiàn)不同，因此在描述數(shù)據(jù)的過程中，需要以各個數(shù)據(jù)為基礎，利用圖形化的方式，將數(shù)據(jù)模型之間的關系比較直觀地反映出來。

2.2 規(guī)范的應用軟件設計

需要在另一個方面進行考慮，轉化軟件需求，使其成為軟件體系的結果，因此概念設計就包括系統(tǒng)接口和全局數(shù)據(jù)結果以及數(shù)據(jù)庫模式，還可以實現(xiàn)模塊的算法。劇目數(shù)據(jù)結構當中，可以利用更加恰當?shù)姆绞剑M行有效的數(shù)據(jù)計算，這也就是處在了詳細設計的階段。

軟件的分析需求和描述階段是特別重要的，可以發(fā)揮出說明的作用。數(shù)理邏輯和計算機科學之間的關系非常密切，利用數(shù)理邏輯，可以分解人類思維，使其運算變得更加簡單和機械，利用機器實現(xiàn)模擬。使用計算機的時候，需要通過程序設計。相關的研究人員需要經(jīng)過數(shù)理路基的相關訓練，這樣這一類型的設計才會更好的完成。程序在設計的過程中，程序的正確性需要得到保證，在實際計算的過程中，怎樣防止出現(xiàn)錯誤計算的情況，并且及時將錯誤找出來，利用方法進行改正，這些都是比較重要和程序設計理論有關的內(nèi)容，樹立邏輯和這些內(nèi)容具有緊密的聯(lián)系，將這種樹立邏輯利用計算機語言進行書寫，就是在計算機當中利用樹立邏輯。

2.3 代碼生成過程中的聯(lián)系

站在邏輯學的角度，在實踐過程中的說明和驗證不僅需要利用軟件規(guī)格，還希望利用系統(tǒng)方法和規(guī)范，使其生成程序，這就是自動程序的研究領域。E在實際演繹的過程匯總，主要有水平關系和垂直關系兩個方面組成，在垂直關系看待這個問題，如果長時間沒有登錄Login和LockForm，可以正確的運行，LockForm長時間沒有登錄，但是，MasterForm在登錄的過程中，其主界面可以正常的運行，這就說明如果LockForm沒有長時間進行登錄，但是可以正確的運行，那么Maste登錄進去的主頁面就會實現(xiàn)運行。而水平關系可以一一列舉其余的代碼，這3個程序之間可以調(diào)用函數(shù)，將某一個公共函數(shù)進行直接調(diào)動。

3 在軟件的測試階段進行應用

設計實現(xiàn)軟件的所有模塊之后，從而就會進入到軟件測試階段。對于軟件工程實現(xiàn)軟件測試，主要目的就是將軟件當中的BUG找出來，但是不是要測試人員進行修改，經(jīng)過審核，從而使相應的開發(fā)完成修改，完畢之后，才會回歸到正常的流程當中，在采取測試之前，需要每個測試人員對于業(yè)務功能進行學習，掌握之后，才可以明確軟件的缺陷和不足。例如測試網(wǎng)絡安全的過程中，需要測試人員把握網(wǎng)絡安全知識，測試網(wǎng)管軟件的過程中，需要明確簡單的配置指令，還要對于業(yè)務的基本流程進行熟悉。利用邏輯學進行觀察，可以促進測試人員對于業(yè)務基本流程進行更好的掌握，使開發(fā)人員可以實現(xiàn)糾錯，并且將運算進行簡化，從而將效率進行提高。

4 在軟件的維護階段進行利用

當前科技產(chǎn)品通常情況下都配置了維修站，某個產(chǎn)品在實際應用的過程中有時候會出現(xiàn)一些問題，要想進行及時的反饋和維修，在利用軟件的過程中，就要將出現(xiàn)的問題認真的記錄下來，這樣在日后維修和修改的過程中，可以更好地找到癥結。軟件用戶和設計者之間具有矛盾，這樣的矛盾要想避免，需要利用邏輯學知識。軟件可靠性是非常重要的，那么開發(fā)人員自身需要具備良好的程序設計風格，這樣在開發(fā)軟件的過程中，才可以提供維護服務。當前工作環(huán)節(jié)和硬件環(huán)境不斷發(fā)生變化，很多機器語言就會缺乏可移植性，要想在計算機當中利用機器語言，那么就需要良好的用戶文檔，對于后期的維護和發(fā)展都發(fā)揮著非常重要的作用。

5 結論

綜上所述，全面的研究計算機軟件工程當中的部分階段，將其余邏輯學的聯(lián)系進行挖掘，通過一些具體事例從而將應用之間的關系進行解析，這樣可以明確邏輯學在其中的有效利用，在開發(fā)利用邏輯學的過程中，也拓展了邏輯學的應用。

參考文獻

[1]黃武雙，李進付.再評北京精雕訴上海奈凱計算機軟件侵權案——兼論軟件技術保護措施與反向工程的合理緯度[J].電子知識產(chǎn)權，2017（10）：58-62.

[2]于繼武.高職院校經(jīng)濟類專業(yè)計算機技術基礎課程教育的研究——以武漢軟件工程職業(yè)學院電子商務專業(yè)為例[J].吉林省教育學院學報（上旬），2013（12）：91-93.

[3]孫國菊.計算機專業(yè)課考試模式改革的探討與實踐——以遼寧信息職業(yè)技術學院軟件工程系部分專業(yè)課程考核為例[J].遼寧高職學報，2012（11）：43-44.

[4]“節(jié)能環(huán)保型循環(huán)水養(yǎng)殖工程裝備與關鍵技術研究集成系統(tǒng)V1.0”獲國家版權局計算機軟件著作權[J].中國水產(chǎn)，2015（12）：46.

[5]方建幫.匯聚軟件英才 打造專業(yè)精品——福州大學工程技術學院計算機應用專業(yè)側記[J].中國職業(yè)技術教育，2015（3）：57.