鄭藝明 柯博群 吳夢(mèng)云

摘要：實(shí)際上計(jì)算機(jī)也是需要邏輯的，且各個(gè)學(xué)科之間的互通是未來(lái)科技的發(fā)展趨勢(shì)。因?yàn)檐浖こ讨猩婕暗膬?nèi)容很多領(lǐng)域也很廣，所以在本文中針對(duì)軟件開發(fā)的應(yīng)用邏輯與其生命周期，逐步對(duì)邏輯學(xué)是怎么在計(jì)算機(jī)軟件開發(fā)中應(yīng)用進(jìn)行討論，重點(diǎn)的內(nèi)容在于通過(guò)研究邏輯學(xué)的內(nèi)涵，探討其在軟件工程中的適應(yīng)性發(fā)展。

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

前言

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

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

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

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

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

2.1分析市場(chǎng)需求

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

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

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

2.3編寫程序

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

3測(cè)試軟件時(shí)的應(yīng)用

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

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

4軟件的后期維護(hù)

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

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

結(jié)語(yǔ)

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

參考文獻(xiàn)

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

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

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