摘要：現(xiàn)代計(jì)算機(jī)學(xué)的發(fā)展離不開縝密邏輯理論的沉淀，隨著社會(huì)發(fā)展所需各個(gè)學(xué)科之間互相影響和融合是必然趨勢(shì)。本文將探討邏輯學(xué)在計(jì)算機(jī)軟件工程技術(shù)應(yīng)用中的重要性，計(jì)算機(jī)軟件工程橫跨多個(gè)領(lǐng)域，該文只研究軟件工程開發(fā)中常用的邏輯關(guān)系和軟件的生命周期，主要講述計(jì)算機(jī)軟件工程和邏輯學(xué)之間如何互相促進(jìn)，突出邏輯分析在軟件開發(fā)中如何應(yīng)用。重點(diǎn)剖析邏輯學(xué)的常用內(nèi)涵和延伸作用在軟件工程技術(shù)應(yīng)用中所產(chǎn)生的幫助。

關(guān)鍵詞：計(jì)算機(jī)發(fā)展;軟件工程技術(shù);邏輯應(yīng)用

引言：

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

1.計(jì)算機(jī)軟件工程技術(shù)生命周期的邏輯應(yīng)用

1.1軟件定義階段邏輯學(xué)介入和應(yīng)用

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

1.2軟件具體領(lǐng)域建模

邏輯應(yīng)用領(lǐng)域中的任何定義都可看作一類概念，簡單來說定義只是幫助人們思考的一種手段，定義主要記錄人們思考的結(jié)果，也是反應(yīng)人們思考中理想價(jià)值觀的存在[2]。在計(jì)算機(jī)軟件設(shè)計(jì)建模過程中，就可以有效結(jié)合各類邏輯學(xué)理論，幫助軟件建立科學(xué)的領(lǐng)域模型。軟件的領(lǐng)域建模首先需圈定具體問題范圍，問題是個(gè)體或組織工作中的主要研究對(duì)象，經(jīng)常以圖形的方式呈現(xiàn)。領(lǐng)域建模包含概念與概念之間、概念與屬性之間以及各種概念之間所存在的必然聯(lián)系。所以邏輯學(xué)概念與領(lǐng)域建?？梢韵嗷ヘ炌ǎ热邕壿媽W(xué)中的種屬關(guān)系可以放入領(lǐng)域建模中。

2.計(jì)算機(jī)軟件開發(fā)的邏輯應(yīng)用

2.1預(yù)測(cè)市場(chǎng)真實(shí)需求

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

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

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

2.3程序編寫的邏輯應(yīng)用

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

3.軟件后期維護(hù)

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

結(jié)論：

計(jì)算機(jī)軟件工程技術(shù)中的邏輯應(yīng)用體現(xiàn)在軟件生命周期的整個(gè)階段，將邏輯學(xué)應(yīng)用于計(jì)算機(jī)軟件開發(fā)，能夠提高計(jì)算機(jī)軟件工程技術(shù)的整體應(yīng)用和實(shí)踐效果，本文側(cè)重分析了軟件設(shè)計(jì)三個(gè)重要階段的邏輯應(yīng)用內(nèi)容，以供軟件開發(fā)者參考和適用，為今后計(jì)算機(jī)軟件工程的發(fā)展奠定良好基礎(chǔ)。

參考文獻(xiàn)：

[1]劉子恒.探究計(jì)算機(jī)軟件工程的維護(hù)措施與方法[J].網(wǎng)絡(luò)安全技術(shù)與應(yīng)用，2020（02）：50-51.

[2]張典.計(jì)算機(jī)軟件工程現(xiàn)代化技術(shù)的發(fā)展現(xiàn)狀與對(duì)策研究[J].大眾標(biāo)準(zhǔn)化，2020（16）：47-48.

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

[4]楊帆.以計(jì)算機(jī)軟件工程為基礎(chǔ)的現(xiàn)代化技術(shù)[J].電子技術(shù)與軟件工程，2018（20）：133.

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