田志強(qiáng) 海南熱帶海洋學(xué)院

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

田志強(qiáng) 海南熱帶海洋學(xué)院

計(jì)算機(jī)軟件的設(shè)計(jì)和邏輯學(xué)有關(guān)，計(jì)算機(jī)的發(fā)展需要借助邏輯學(xué)，這兩種學(xué)科之間的存在著相互滲透，相互融合。邏輯學(xué)在軟件工程中有著廣泛的應(yīng)用。

計(jì)算機(jī)軟件 邏輯學(xué) 應(yīng)用

軟件在開發(fā)過程中，功能的合理性需要通過邏輯分析來完成。軟件工程中的數(shù)學(xué)建模會(huì)影響到邏輯學(xué)的發(fā)展。軟件工程和邏輯學(xué)存在著交叉性。在軟件的研發(fā)過程中，邏輯工具包含了認(rèn)知類的和數(shù)理類的，邏輯形式?jīng)Q定了軟件定義的表達(dá)形式。計(jì)算機(jī)軟件的設(shè)計(jì)通過邏輯思維完成。學(xué)科間的交叉和融合，促進(jìn)了學(xué)科的共同進(jìn)步。

1 軟件開發(fā)中應(yīng)用周期邏輯

在軟件技術(shù)中，軟件的工作效果是關(guān)鍵。在軟件工程中，開發(fā)的形式和使用的工具要從分析入手。邏輯分析中會(huì)將軟件工程定義為一個(gè)存在周期，軟件在設(shè)計(jì)前，要分析功能的合理性和可行性，軟件的功能分析和模塊定義會(huì)影響到軟件的開發(fā)質(zhì)量和日后的維護(hù)效果。需求分析、概念設(shè)計(jì)，代碼編寫都需要有邏輯思維。

1.1 軟件定義階段的邏輯分析

軟件的定義需要明確問題的性質(zhì)，問題解決的可行性。軟件設(shè)計(jì)需要保證市場(chǎng)的應(yīng)用價(jià)值。軟件的設(shè)計(jì)方案要力求簡(jiǎn)單，為方案的易于實(shí)現(xiàn)創(chuàng)造條件。軟件的可操作性是軟件設(shè)計(jì)的出發(fā)點(diǎn)，功能的設(shè)計(jì)要貼近實(shí)際，保證軟件應(yīng)用的有效性。軟件開發(fā)時(shí)，定義功能的范圍是必要的。不同級(jí)別的使用者要有不同的使用權(quán)限。所以應(yīng)用邏輯學(xué)的概念，在具體分析中定義軟件開發(fā)的功能。

1.2 建模階段的邏輯分析

在軟件設(shè)計(jì)的建模階段，領(lǐng)域分析是關(guān)鍵，領(lǐng)域功能中會(huì)存在問題范圍，相關(guān)事務(wù)會(huì)發(fā)生共同作用。問題在范圍內(nèi)的靜態(tài)模型可以用圖形的方式來定義。建模過程中，需要描述概念間的關(guān)系，概念的特性和邏輯間的相互作用。從邏輯學(xué)上說，要區(qū)分概念的內(nèi)涵和外延。領(lǐng)域類內(nèi)容的相關(guān)性會(huì)涉及到邏輯學(xué)的內(nèi)涵。領(lǐng)域類的定義特性會(huì)和概念的外延發(fā)生關(guān)聯(lián)。邏輯學(xué)的要素應(yīng)用在建模領(lǐng)域內(nèi)，表達(dá)了內(nèi)涵間的種類和從屬關(guān)系，通過限制或概括的定義，完善領(lǐng)域建模的基本內(nèi)涵。

2 軟件開發(fā)中的邏輯定義

2.1 需來分析

軟件設(shè)計(jì)要結(jié)合用戶的需求，軟件功能的描述要結(jié)合功能的限定范圍。描述的內(nèi)容力求精細(xì)化。需求分析是軟件設(shè)計(jì)的出發(fā)點(diǎn)。數(shù)據(jù)描述要保證準(zhǔn)確性，要和功能分析相結(jié)合，不能單獨(dú)發(fā)生作用。圖形化的方式是一種高效的描述行為，可以明確表達(dá)數(shù)據(jù)模型間的存在關(guān)系，要應(yīng)用邏輯學(xué)中的要素分析，表示概念之間存在的外延或內(nèi)涵關(guān)系。軟件的功能說明，要明確功能限定所權(quán)限類別，保證軟件的使用效果。

2.2 軟件設(shè)計(jì)

軟件的需求轉(zhuǎn)化會(huì)作用到軟件體系的架構(gòu)。要明確系統(tǒng)的接口類型，數(shù)據(jù)的表達(dá)方式和數(shù)據(jù)庫(kù)的結(jié)構(gòu)。模塊的算法要明確。數(shù)據(jù)結(jié)構(gòu)的表達(dá)要結(jié)合算法和表達(dá)數(shù)據(jù)。軟件的需求分析和功能描述通過數(shù)理邏輯發(fā)生作用。數(shù)理邏輯會(huì)分解思維類別，通過機(jī)器完成運(yùn)算模擬。計(jì)算機(jī)功能的發(fā)揮離不開相關(guān)程序的設(shè)計(jì)。程序設(shè)計(jì)就是數(shù)理邏輯的過程，數(shù)理邏輯和功能實(shí)現(xiàn)有著直接的關(guān)聯(lián)。計(jì)算機(jī)語言表達(dá)出的數(shù)理邏輯，實(shí)現(xiàn)了計(jì)算機(jī)的功能。

2.3 代碼生成

代碼的生成和邏輯存在必然的聯(lián)系，運(yùn)用邏輯實(shí)現(xiàn)真值的判斷。計(jì)算機(jī)的邏輯應(yīng)用會(huì)體現(xiàn)在登陸程序，在驗(yàn)證口令或密碼的時(shí)候，計(jì)算會(huì)與初始數(shù)據(jù)進(jìn)行比對(duì)。此項(xiàng)功能可以有效保護(hù)計(jì)算機(jī)的用戶信息，還可以計(jì)算機(jī)的分級(jí)控制，計(jì)算機(jī)的安全得到保護(hù)。在邏輯學(xué)的應(yīng)用層次來看，軟件在應(yīng)用時(shí)需要完成規(guī)格類別的識(shí)別，需要進(jìn)行數(shù)據(jù)的驗(yàn)證，系統(tǒng)化的規(guī)格表達(dá)會(huì)生成程序文件。程序生成中代碼存在水平之間的關(guān)系或垂直之間的相互作用。

3 軟件階段的邏輯應(yīng)用

軟件測(cè)試發(fā)生在模塊設(shè)計(jì)完成之后。軟件測(cè)試的過程是發(fā)現(xiàn)各種BUG的過程，測(cè)試人員需要完成邏輯關(guān)系的修改，開發(fā)后的修改測(cè)試是問題回歸的過程。問題的回歸是將原有的問題通過修改測(cè)試后的可能性驗(yàn)證。軟件設(shè)計(jì)中的缺陷是問題回歸的原因。軟件安全是測(cè)試的重點(diǎn)，測(cè)試人員要把握軟件中的漏洞，測(cè)試中使用相關(guān)配置的模塊，通過功能實(shí)現(xiàn)業(yè)務(wù)上的搭建。從邏輯學(xué)的角度，搭建的過程會(huì)存在程序功能的銜接，測(cè)試人員就注重邏輯上的糾錯(cuò)，提高軟件的適用性。

4 軟件維護(hù)中邏輯的應(yīng)用

用戶在使用軟件的過程中會(huì)遇到各種各樣的問題，這也是后期維護(hù)的內(nèi)容，針對(duì)問題的修改結(jié)果要通過邏輯進(jìn)行驗(yàn)證。軟件存在的缺陷會(huì)影響到使用的效果。應(yīng)用邏輯學(xué)可以分析出用戶和軟件開發(fā)之間的矛盾，結(jié)論的合理性也會(huì)通過邏輯學(xué)得出結(jié)論。軟件的開發(fā)者需要通過技術(shù)手段消除存在的缺陷，軟件開發(fā)后的維護(hù)就是消除問題的過程。軟件的安全性和可靠性也軟件維護(hù)的重點(diǎn)。軟件開發(fā)的程序設(shè)計(jì)要盡可以符合邏輯。計(jì)算機(jī)需要的程序是計(jì)算機(jī)在邏輯上能識(shí)別的語言。

計(jì)算機(jī)軟件開發(fā)的各類步驟中會(huì)和邏輯發(fā)生關(guān)聯(lián)，邏輯學(xué)在軟件程序中會(huì)進(jìn)行相關(guān)的比較和功能上的拓展。邏輯方法是軟件開發(fā)的工具。在計(jì)算機(jī)軟件工程中，要強(qiáng)化邏輯學(xué)的應(yīng)用。‘

[1]王民樂,劉九林編著.軟件測(cè)試－技術(shù)概論[M].北京:清華大學(xué)出版化2015.

[2]張友仁.軟件工程與軟件質(zhì)量分析[M].電子工業(yè)出版社,2016.

[3]劉定偉,張俊偉編著.智能優(yōu)化方法[M].高等教育出版化,2015.