鄭藝明 柯博群 吳夢云

摘要：實際上計算機也是需要邏輯的，且各個學科之間的互通是未來科技的發(fā)展趨勢。因為軟件工程中涉及的內(nèi)容很多領(lǐng)域也很廣，所以在本文中針對軟件開發(fā)的應(yīng)用邏輯與其生命周期，逐步對邏輯學是怎么在計算機軟件開發(fā)中應(yīng)用進行討論，重點的內(nèi)容在于通過研究邏輯學的內(nèi)涵，探討其在軟件工程中的適應(yīng)性發(fā)展。

關(guān)鍵詞：計算機;軟件工程;邏輯應(yīng)用

前言

學科之間的交叉性，能夠讓學科之間共同發(fā)展，且有時能夠得到互補的效果。在軟件工程的項目中，能夠看到各方各面的研究，也能夠看到各領(lǐng)域?qū)浖こ唐鸬降淖饔迷絹碓酱?，其中就包括邏輯學領(lǐng)域?qū)浖こ痰膽?yīng)用。比如，邏輯學中的合理分析能夠幫助工程師在開發(fā)軟件時，得到一份基礎(chǔ)的邏輯保障。其實，在社會的研究發(fā)展中，都是離不開邏輯上的思考，需要有合理的邏輯關(guān)系型，才能夠讓一切變得合理可靠。

1軟件工程技術(shù)里的軟件生命周期的邏輯應(yīng)用

在每一個軟件工程中，需要引起重視的問題有，如何讓軟件的運行效率變高，如何準確描述軟件中的內(nèi)容，如何將軟件中的文檔資料進行更好的管理等。在一個完整的邏輯體系中，通常會采用類比的方法，將軟件工程賦予一個抽象的生命周期，從而一步步分析其可開發(fā)性與操作性。

在軟件定義階段時也會采用邏輯應(yīng)用，具體來說就是，定義一個軟件時，重點需要包括三方面的內(nèi)容，即過程定義內(nèi)容、可行性分析、合同的確定與簽訂。想要在市場中脫穎而出，就需要看這個產(chǎn)品是否有潛力，是否能夠為買賣雙方都帶來價值。對于開發(fā)者而言，需要知道設(shè)計出的軟件優(yōu)缺點，這樣才能夠以不變應(yīng)萬變。設(shè)計者們需要注意的是，在設(shè)計過程中一定要讓軟件保持該有的合理性，不可盲目追求眾多的功能。比如，一家便利店中只需要一款能夠查找商品并顯示其價格的軟件，那么設(shè)計者只需要針對這兩方面進行創(chuàng)造，可以省去很多不必要的累贅，也可以節(jié)約一些資源。

2軟件開發(fā)階段的邏輯應(yīng)用

2.1分析市場需求

一個“好產(chǎn)品”最重要的就是恰好能夠滿足人們的需求，所以想要做好一款軟件，進行市場調(diào)研是很有必要的一件事。用戶對軟件的需求一般只是一個抽象的信息，設(shè)計者就需要將這些信息細化，需要花時間進行摸索與創(chuàng)新。如果只是隨便應(yīng)付就很可能被用戶拋棄，不僅僅是變成一款失敗的軟件這么簡單，還會造成資源的浪費，更會對軟件制作團隊造成名譽上的傷害。所以，在設(shè)計軟件之前可以通過大數(shù)據(jù)信息進行市場需求方面的分析。

2.2軟件設(shè)計過程中的應(yīng)用

將用戶的想法轉(zhuǎn)變成軟件語言需要考慮兩方面的內(nèi)容，一是軟件的整體結(jié)構(gòu)，二是設(shè)計模塊之間的算法。軟件的整體結(jié)構(gòu)是用戶需求與使用說明的結(jié)合，利用數(shù)理邏輯與計算機技術(shù)能夠活躍開發(fā)者思維，能夠幫助開發(fā)者利用計算機進行模擬。模塊之間的算法更加需要數(shù)理邏輯的幫助，通過數(shù)理邏輯能夠游俠降低其發(fā)生錯誤的概率，并快速找到錯誤源進行及時地更正。

2.3編寫程序

編寫程序時通常會聽到，“真值”、“等值”等帶有專業(yè)性命題邏輯的詞語。在邏輯關(guān)系中，就是對是否為“真值”的判斷。比如，在銀行取錢時，需要輸入對應(yīng)的密碼，如果輸入的密碼正確，則是為“真值”，假若不正確，就不能成功登錄，如果密碼輸錯上限的次數(shù)，賬號將被凍結(jié)，利用這種邏輯關(guān)系能夠基本保證用戶的賬號安全。

3測試軟件時的應(yīng)用

在程序設(shè)計完成后，需要進行測試軟件環(huán)節(jié)，其主要目的是為了能夠發(fā)現(xiàn)軟件中存在的不足之處。開發(fā)人員再針對這些不足之處，對軟件進一步的修改，然后再次測試軟件，這是一個反復(fù)的過程，直到解決問題并沒有發(fā)現(xiàn)新問題才能結(jié)束。在這個過程中，通過邏輯的應(yīng)用，能夠減少測試人員的工作量，能夠讓每個環(huán)節(jié)變得更加流暢。

如果想要切實地提高測試效率，可以在測試之前就讓相關(guān)的測試人員進行必要的相關(guān)技能學習，首先就需要了解該軟件的基本系統(tǒng)，其次還要了解該軟件系統(tǒng)的功能，最后是該軟件的合格要求。比如，如果是一款“有關(guān)安全問題的測試軟件”，那么測試人員需要了解測試中的題型分布，也需要了解有關(guān)安全方面的知識點，還需要知道在測試時題型轉(zhuǎn)換時的靈敏度，其轉(zhuǎn)換的時間是否在規(guī)定的要求內(nèi)。

4軟件的后期維護

我們熟知的淘寶、支付寶、京東等應(yīng)用軟件，其歸屬的公司不僅會給他們進行定期的維護，還會成立一個運營團隊處理軟件方面出現(xiàn)的問題。用戶在使用這些軟件的時候，會對軟件中出現(xiàn)的問題進行反饋，這些反饋信息就會被傳送到運營團隊中，團隊中的成員才能夠根據(jù)這些出現(xiàn)的問題進行完善修改。那如果用戶發(fā)現(xiàn)問題但沒有進行反饋，那團隊就可能會延遲發(fā)現(xiàn)問題或根本發(fā)現(xiàn)不了問題。面對這樣的情況，想要解決的辦法，就是找出其之間的邏輯關(guān)系。

每一個使用軟件的人都不會希望軟件出現(xiàn)問題，即使出現(xiàn)問題也想要相關(guān)人員能夠盡快解決問題。但是，對于軟件維護人員來說，想要完全修復(fù)軟件出現(xiàn)的問題需要時間，如果村早比較大的漏洞就需要更長久的時間才能解決。軟件的維護過程也是其生命周期中最長的一個過程，軟件的可靠程度需要長期的維護才能實現(xiàn)。如果在前期開發(fā)軟件時就考慮到軟件維護的問題，那么后期的維護工作就會輕松很多。

結(jié)語

根據(jù)上述的內(nèi)容我們可以了解到，一款軟件的開發(fā)是具有階段性的，需要從用戶的需求入手，然后通過設(shè)計軟件、編寫程序、測試軟件，最后到軟件的后期維護。在每個不同的階段，都會有邏輯上的關(guān)系。總而言之，在軟件工程中應(yīng)用了邏輯學的知識，能夠促進軟件工程的整體發(fā)展，有一個良性的循環(huán)。

參考文獻

[1]侯慧杰.計算機軟件工程技術(shù)中的邏輯應(yīng)用[J].文化創(chuàng)新比較研究，2019，3（19）：25-26.

[2]劉江濤. 計算機軟件工程技術(shù)中的邏輯應(yīng)用[J]. 電子技術(shù)與軟件工程. 2019（24）

[3]王小可. ?計算機軟件工程技術(shù)中的邏輯應(yīng)用[J]. 電子技術(shù)與軟件工程. 2019（23）