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

李慧芬

（湖北第二師范學(xué)院 湖北 武漢 430205）

1 引言

一般情況下，對(duì)軟件工程技術(shù)的合理性展開(kāi)深入分析，主要是通過(guò)對(duì)邏輯方法的分析。在實(shí)踐過(guò)程中，作為工作人員，需要明確各個(gè)崗位的工作職能，對(duì)工作角色有清楚的認(rèn)知[1]。從軟件隊(duì)伍發(fā)展的情況來(lái)看，需要對(duì)軟件產(chǎn)品質(zhì)量進(jìn)行深層次的完善與優(yōu)化，使得軟件產(chǎn)品生產(chǎn)效率與之前相比有了大幅度的提高，同時(shí)結(jié)合數(shù)學(xué)建模，將各個(gè)學(xué)科有機(jī)地聯(lián)系在一起。

2 軟件開(kāi)發(fā)時(shí)周期邏輯的應(yīng)用

2.1 定義軟件階段邏輯分析

在定義軟件的過(guò)程中，需要對(duì)問(wèn)題性質(zhì)等相關(guān)要素有一個(gè)清楚的認(rèn)知。換而言之，軟件設(shè)計(jì)需要將市場(chǎng)應(yīng)用價(jià)值作為先決性要素，方案需要精簡(jiǎn)明了，使得軟件設(shè)計(jì)方案能夠快速地落實(shí)到具體實(shí)踐當(dāng)中。軟件設(shè)計(jì)，核心要義是具有極強(qiáng)的可操作性，同時(shí)軟件功能設(shè)計(jì)也要切實(shí)滿(mǎn)足實(shí)際所需，使得軟件的應(yīng)用價(jià)值充分展現(xiàn)出來(lái)。在開(kāi)發(fā)軟件的過(guò)程中，功能定義范圍這一點(diǎn)是非常關(guān)鍵的，操作者的手中應(yīng)具備與之對(duì)應(yīng)的操作權(quán)限[2]。所以，要以邏輯學(xué)作為出發(fā)點(diǎn)，經(jīng)過(guò)具體剖析，才可以科學(xué)合理地對(duì)軟件開(kāi)發(fā)功能進(jìn)行定義。

2.2 建模階段邏輯分析

在建模階段，需要對(duì)領(lǐng)域分析高度重視，從領(lǐng)域功能的角度來(lái)看，通常會(huì)有一定的問(wèn)題范圍，而與之對(duì)應(yīng)的靜態(tài)模型可以通過(guò)圖形模式予以精準(zhǔn)定義。在建模的過(guò)程中，需要對(duì)邏輯間的概念特性以及相互作用關(guān)系等方面進(jìn)行詳細(xì)說(shuō)明。從邏輯學(xué)的層面來(lái)看，需要正確地辨別概念外延還有概念內(nèi)涵。此外，領(lǐng)域定義的基本特征和概念外延之間存在相當(dāng)強(qiáng)的關(guān)聯(lián)性，而領(lǐng)域內(nèi)容與邏輯學(xué)內(nèi)涵同樣具備一定的關(guān)聯(lián)性。在建模領(lǐng)域，倘若可以科學(xué)合理的使用邏輯學(xué)要素，不僅能夠把內(nèi)涵間的從屬關(guān)系全面地展現(xiàn)出來(lái)，同時(shí)還可以對(duì)領(lǐng)域建模的內(nèi)容予以深層次的優(yōu)化。

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

3.1 軟件定義階段

在軟件定義階段，作為軟件開(kāi)發(fā)工作者，需要對(duì)市場(chǎng)減值狀況予以高度重視。不僅如此，還要運(yùn)用可操作性較強(qiáng)的技術(shù)，順利實(shí)現(xiàn)工作目標(biāo)。工作人員需要制定文檔，其范圍需準(zhǔn)確無(wú)誤。但是，在軟件定義的早期階段，工作人員往往沒(méi)有對(duì)軟件目的進(jìn)行詳細(xì)的定義，這樣一來(lái)，就會(huì)造成用戶(hù)無(wú)法快速感知到軟件功能，而工作人員也不能快速地設(shè)計(jì)出滿(mǎn)足實(shí)際需求的程序，導(dǎo)致用戶(hù)與工作人員都感到無(wú)奈[3]。因此，作為軟件開(kāi)發(fā)者，為了妥善處理以上所說(shuō)的種種問(wèn)題，需將邏輯學(xué)妥善運(yùn)用在軟件定義階段當(dāng)中，對(duì)計(jì)算機(jī)軟件功能進(jìn)行深層次的優(yōu)化，通過(guò)這種方式，使其對(duì)軟件實(shí)際目的有一個(gè)清楚的了解，從而能夠準(zhǔn)確無(wú)誤地定義軟件。

3.2 軟件設(shè)計(jì)階段

在軟件設(shè)計(jì)階段，作為開(kāi)發(fā)者，需對(duì)用戶(hù)的具體需求展開(kāi)詳細(xì)研究，通過(guò)這種方式，對(duì)計(jì)算機(jī)軟件進(jìn)行科學(xué)操作，從而切實(shí)滿(mǎn)足用戶(hù)具體求需。開(kāi)發(fā)使用者在對(duì)軟件需求進(jìn)行說(shuō)明時(shí)，需和軟件開(kāi)發(fā)者進(jìn)行密切的交流，而在設(shè)計(jì)軟件的過(guò)程中，開(kāi)發(fā)者需要對(duì)需求分析工作予以高度重視。這就需要開(kāi)發(fā)者本身具備極大的耐心，在對(duì)計(jì)算機(jī)軟件數(shù)據(jù)進(jìn)行描述的過(guò)程中，需要把每項(xiàng)數(shù)據(jù)指標(biāo)作為先決性條件，通過(guò)圖形化措施，使每項(xiàng)數(shù)據(jù)模型間的關(guān)聯(lián)性充分地體現(xiàn)出來(lái)[4]。從根本上來(lái)看，數(shù)理邏輯與計(jì)算機(jī)軟件的關(guān)聯(lián)性非常的強(qiáng)，所以運(yùn)用數(shù)理邏輯就能夠?qū)⑦\(yùn)算流程精簡(jiǎn)化，同時(shí)讓機(jī)器模擬作用全面地展現(xiàn)出來(lái)，從而切實(shí)滿(mǎn)足客戶(hù)的實(shí)際所需。

3.3 軟件測(cè)試階段

當(dāng)開(kāi)發(fā)工作者將全部模塊設(shè)計(jì)完畢，作為測(cè)試工作者，就需要對(duì)其進(jìn)行仔細(xì)的測(cè)試，而進(jìn)行軟件測(cè)試的主要原因，是為了將軟件當(dāng)中的bug以及各種問(wèn)題快速找出。需要明確的一點(diǎn)是，在將bug找出后，作為測(cè)試工作者，不可以對(duì)bug進(jìn)行修改，而是經(jīng)相關(guān)人員的審核之后，開(kāi)發(fā)者再對(duì)其進(jìn)行直接修改。解決完bug后，軟件才能夠順暢運(yùn)行。在還沒(méi)開(kāi)展測(cè)試工作的時(shí)候，要保證測(cè)試工作者對(duì)軟件業(yè)務(wù)等內(nèi)容有一個(gè)透徹的了解，保證測(cè)試工作者清楚地知曉軟件出現(xiàn)的種種問(wèn)題。不僅如此，作為測(cè)試工作者，要依托于邏輯學(xué)，對(duì)軟件進(jìn)行仔細(xì)的觀察，使軟件運(yùn)算過(guò)程得以進(jìn)一步精簡(jiǎn)，從而讓軟件工作效率得到顯著提高。

3.4 軟件維護(hù)階段

在測(cè)試工程順利完成后，就進(jìn)入到下一階段，也就是軟件維護(hù)階段?，F(xiàn)階段發(fā)展水平來(lái)看，絕大多數(shù)的科技產(chǎn)品，都有與之對(duì)應(yīng)的維修點(diǎn)。之所以會(huì)出現(xiàn)這樣的現(xiàn)象，是因?yàn)檐浖趹?yīng)用期間，會(huì)有各種各樣的問(wèn)題出現(xiàn)，作為工作人員，則要把問(wèn)題快速上報(bào)，并對(duì)問(wèn)題進(jìn)行妥善處理。這也就意味著，工作人員要對(duì)軟件問(wèn)題進(jìn)行詳實(shí)的記錄，為下一步的軟件維修奠定良好的基礎(chǔ)，讓維修人員能夠及時(shí)地發(fā)現(xiàn)問(wèn)題所在。目前，計(jì)算機(jī)軟件的應(yīng)用環(huán)境的動(dòng)態(tài)性較強(qiáng)，而絕大多數(shù)的計(jì)算機(jī)語(yǔ)言并不具備可移植性這一基本特點(diǎn)。工作人員倘若想將計(jì)算機(jī)語(yǔ)言得到有效的運(yùn)營(yíng)，則要建立起與之對(duì)應(yīng)的文檔，唯有如此，才可以確保維修工作的順利展開(kāi)。

4 結(jié)語(yǔ)

綜上所述，要使計(jì)算機(jī)軟件工程得到又好又快的發(fā)展，則需要立足于邏輯學(xué)的層面之上，對(duì)相關(guān)知識(shí)展開(kāi)進(jìn)一步的剖析。計(jì)算機(jī)軟件開(kāi)發(fā)的階段，和邏輯有著密切的聯(lián)系，邏輯學(xué)的有效應(yīng)用，可以充分實(shí)現(xiàn)功能擴(kuò)展。對(duì)于軟件開(kāi)發(fā)來(lái)說(shuō)，其核心要義就是要合理利用邏輯方法，使得軟件開(kāi)發(fā)的效用得以充分展現(xiàn)出來(lái)。