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

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

引言

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

一、邏輯學(xué)

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

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

（一）軟件工程

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

（二）軟件開發(fā)

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

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

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

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

三 結(jié)論

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