李名揚 海南師范大學(xué)

引言

計算機(jī)軟件工程是促進(jìn)現(xiàn)代社會信息化發(fā)展的關(guān)鍵性保障。這就需要相應(yīng)技術(shù)人員從多方面入手，將邏輯學(xué)科學(xué)應(yīng)用到軟件工程中，在推進(jìn)計算機(jī)軟件工程技術(shù)穩(wěn)定發(fā)展的同時，間接的帶動整個社會的發(fā)展。既是軟件工程技術(shù)發(fā)展的實際需求，也是信息化時代發(fā)展的必然趨勢。

一、邏輯學(xué)

邏輯學(xué)作為哲學(xué)學(xué)科的分支，主要圍繞思維規(guī)律展開研究。邏輯與邏輯學(xué)的發(fā)展大體上經(jīng)歷了三個階段，分別為具象邏輯——抽象邏輯——對稱邏輯。邏輯學(xué)從思維內(nèi)容與思維形式兩個方面對思維進(jìn)行研究。其中思維內(nèi)容強(qiáng)調(diào)思維反映的對象與屬性，而思維形式則強(qiáng)調(diào)思維內(nèi)容的表達(dá)方式。

二、邏輯學(xué)在軟件工程技術(shù)中的應(yīng)用

（一）軟件工程

邏輯學(xué)在軟件工程中的應(yīng)用以數(shù)理邏輯最為明顯。在整個計算機(jī)軟件工程技術(shù)中，從根本上提高軟件的工作效率與質(zhì)量具有重要意義。在此過程中，就需要利用邏輯學(xué)中的數(shù)理邏輯。通過運用邏輯學(xué)中有關(guān)類比法的知識，將軟件工程的生命周期與人的生命周期進(jìn)行類比。例如從計算機(jī)軟件定義的角度來看，在此期間邏輯學(xué)的使用可從問題定義、可行性分析、簽訂合同幾個方面入手，以此保證軟件定義工作的質(zhì)量與效果。從領(lǐng)域建模的角度來看，在邏輯學(xué)中，所有概念皆為類概念。邏輯學(xué)中的概念主要包括肯定概念與否定概念、普通概念與單獨概念、集合概念與非集合概念。計算機(jī)軟件工程建設(shè)中可完整的應(yīng)用此方面內(nèi)容，以此實現(xiàn)更好的建模。

（二）軟件開發(fā)

軟件開發(fā)階段是計算機(jī)軟件工程中最重要的構(gòu)成，此階段內(nèi)邏輯學(xué)的應(yīng)用可從以下幾個方面入手：一、需求分析。各類軟件開發(fā)的出發(fā)點與最終目的即為滿足用戶實際需求，這就需要技術(shù)人員根據(jù)市場形勢變化，對用戶的具體需求進(jìn)行深入分析。需求分析往往會涉及到多方面內(nèi)容，為了在最大限度上避免出現(xiàn)分析錯誤，應(yīng)使用邏輯學(xué)中的推理、歐拉圖等；二、軟件設(shè)計。在分析需求后展開的軟件設(shè)計，屬于一個將思想轉(zhuǎn)變?yōu)閷嶋H的過程。此期間應(yīng)將技術(shù)人員的思維轉(zhuǎn)化成為部分簡便的運算，并借助科技設(shè)備進(jìn)行模擬試驗；三、代碼生成。針對登錄程序而言，只有保證密碼輸入正確才能登錄成功。登錄程序能夠較客觀的反映出計算機(jī)的代碼，代碼的生成則可直接體現(xiàn)出邏輯學(xué)與計算機(jī)的聯(lián)系；四、軟件測試。實行軟件測試的目的為檢測該軟件是否存在不足，邏輯學(xué)的應(yīng)用能夠切實提升檢測結(jié)果的精準(zhǔn)性。

（三）開發(fā)團(tuán)隊

計算機(jī)軟件工程技術(shù)實施的主體為技術(shù)人員，高素質(zhì)的專業(yè)人才隊伍對于軟件工程來說是至關(guān)重要的。邏輯學(xué)的融入可以推動軟件工程技術(shù)人才隊伍的構(gòu)建，主要體現(xiàn)在以下方面：一、將抽象轉(zhuǎn)換為具體。對當(dāng)前隊伍構(gòu)建中存在的問題進(jìn)行深入分析，并將此問題細(xì)化分解，從中找出主次矛盾。以此為基礎(chǔ)，把握問題解決的基本方向；二、將分析與綜合建立聯(lián)系。在軟件設(shè)計初始階段內(nèi)，技術(shù)人員應(yīng)對用戶需求有一個整體認(rèn)知你，將“具體問題具體分析”的理念貫徹始終；三、歸納與演繹。軟件設(shè)計是一個循序漸進(jìn)的過程，在設(shè)計完成后需要進(jìn)行反復(fù)試驗。對此，技術(shù)人員可利用邏輯學(xué)歸納設(shè)計要點，并進(jìn)行精準(zhǔn)演繹，為軟件工程的順利開展提供良好保證。

從其整體上來看，當(dāng)前我國計算機(jī)軟件工程技術(shù)的發(fā)展中還存在著一定的阻礙。例如多數(shù)信息通常具有不確定與不完全性，現(xiàn)階段內(nèi)采用的不確定信息處理技術(shù)包括貝葉斯方法、不確定性因子法等[2]。但在具體使用中，精準(zhǔn)性與全面性仍有待商榷。計算機(jī)軟件工程在結(jié)合了認(rèn)知科學(xué)的同時，還適當(dāng)融合了邏輯推理，可以在后續(xù)試驗期間模擬人腦反應(yīng)。學(xué)科間的互相滲透已經(jīng)成為了現(xiàn)代科學(xué)技術(shù)發(fā)展的主要趨勢，在各行業(yè)的發(fā)展均有所體現(xiàn)。邏輯學(xué)與計算機(jī)軟件工程之間具有千絲萬縷的聯(lián)系，二者相輔相成、共同進(jìn)步。技術(shù)人員應(yīng)不斷提升對邏輯學(xué)的重視，將其更好的應(yīng)用于計算機(jī)工程中。

三 結(jié)論

綜上所述，隨著科學(xué)技術(shù)的快速發(fā)展，邏輯學(xué)已經(jīng)在計算機(jī)軟件工程技術(shù)中得到廣泛應(yīng)用。針對計算機(jī)軟件工程技術(shù)創(chuàng)新過程中遇到的問題，可利用邏輯學(xué)有效解決?？傮w上而言，在軟件工程技術(shù)中融入邏輯學(xué)，不但具有現(xiàn)實意義，同時還兼具一定的戰(zhàn)略性。