計算機(jī)軟件工程技術(shù)中的邏輯應(yīng)用探討

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

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

引言：

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

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

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

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

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

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

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

2.1預(yù)測市場真實需求

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

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

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

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

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

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

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

結(jié)論：

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

參考文獻(xiàn)：

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

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

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

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

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