韋瓊金

摘 要：在計(jì)算機(jī)的應(yīng)用過程中，離不開邏輯學(xué)的理論知識(shí)體系作為基礎(chǔ)，計(jì)算機(jī)應(yīng)用中其他各學(xué)科知識(shí)的滲入是計(jì)算機(jī)技術(shù)發(fā)展的重要趨勢(shì)。本文分析可邏輯學(xué)在計(jì)算機(jī)應(yīng)用過程中的一些實(shí)際問題。因?yàn)橛?jì)算機(jī)軟件工程技術(shù)中包含的具體內(nèi)容相當(dāng)廣泛，本文選取了其中的軟件部分生命周期和軟件開發(fā)過程中邏輯學(xué)的具體應(yīng)用。文章對(duì)計(jì)算機(jī)軟件工程技術(shù)中邏輯應(yīng)用在軟件部分的生命周期進(jìn)行了簡(jiǎn)單概述，對(duì)計(jì)算機(jī)軟件開發(fā)時(shí)期、測(cè)試過程、維護(hù)過程中邏輯學(xué)的應(yīng)用進(jìn)行了分析，結(jié)合計(jì)算機(jī)軟件各個(gè)過程中的實(shí)際情況，進(jìn)一步說明了邏輯學(xué)對(duì)于計(jì)算機(jī)軟件工程的意義。希望通過本文的論述，可以幫助相關(guān)領(lǐng)域的技術(shù)人員進(jìn)行合理的研發(fā)與分析，進(jìn)一步推動(dòng)邏輯學(xué)在計(jì)算機(jī)軟件工程技術(shù)中的應(yīng)用情況。

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

通過現(xiàn)階段的計(jì)算計(jì)軟件工程分析發(fā)現(xiàn)，邏輯學(xué)對(duì)于計(jì)算機(jī)等人工智能技術(shù)方面作用比較大，比如在計(jì)算機(jī)軟件工程技術(shù)的實(shí)際研發(fā)中，對(duì)技術(shù)進(jìn)行合理性的分析主要運(yùn)用邏輯學(xué)的方法進(jìn)行，對(duì)各種角色進(jìn)行正確的定義，對(duì)職務(wù)和技能的需求進(jìn)行分析，比如在開發(fā)組中，定義其中的“某人”在“某時(shí)間”要做“某事”，以及“怎樣做”等等的內(nèi)容。在計(jì)算機(jī)軟件工程的研發(fā)過程中，要不斷的提高研發(fā)效率和提高產(chǎn)品質(zhì)量，進(jìn)一步深入分析軟件領(lǐng)域建模的研究，即數(shù)學(xué)建模方面的研究。各個(gè)學(xué)科交叉的應(yīng)用可以互相影響，邏輯學(xué)的引進(jìn)在信息技術(shù)的應(yīng)用中起到完善的作用，密切聯(lián)系邏輯學(xué)的發(fā)展與運(yùn)用，兩者相互結(jié)合，不論是對(duì)邏輯的分析，還是對(duì)市場(chǎng)進(jìn)行分析，在計(jì)算機(jī)軟件工程的研發(fā)中過程中，必將會(huì)應(yīng)用到認(rèn)知邏輯、數(shù)理邏輯、非形式邏輯、和人工智能技術(shù)作為輔助工具，將研發(fā)背景定為人類知識(shí)的表達(dá)。

一、計(jì)算機(jī)軟件工程技術(shù)中邏輯應(yīng)用在軟件部分的生命周期

計(jì)算機(jī)軟件工程技術(shù)包括：軟件的管理、軟件文檔的建立、信息數(shù)據(jù)的存儲(chǔ)及安全等，怎樣提高在各個(gè)工作環(huán)節(jié)中的工作效率對(duì)于軟件的研發(fā)是非常重要的。計(jì)算機(jī)軟件工程成的研發(fā)方式、輔助工具、相關(guān)過程都離不開各個(gè)相關(guān)要素的展開。邏輯學(xué)的理論中，通過類比法把軟件工程當(dāng)成是軟件工程的每一個(gè)生存周期，這和人類的生命周期類似。首先，人類由嬰兒到幼兒的轉(zhuǎn)變需要一個(gè)過程，軟件也是一樣，以定義為基礎(chǔ)，在每個(gè)階段之中設(shè)計(jì)相關(guān)問題，分析它的可能性，對(duì)軟件的實(shí)際需求進(jìn)行分析和定義，其次對(duì)于軟件的后期研發(fā)和維護(hù)工作進(jìn)行具體分析，確保其穩(wěn)定性和可行性。其次，人類從兒童到少年，少年到中年，同樣需要一個(gè)過程，軟件的開發(fā)階段也類似，該階段的工作主要是對(duì)于軟件需求的分析，通過相關(guān)方案的設(shè)計(jì)于執(zhí)行，相關(guān)編寫代碼的順利完成，在軟件測(cè)試環(huán)節(jié)之后，進(jìn)行軟件的發(fā)布。

值得我們注意的是，在對(duì)軟件進(jìn)行相關(guān)設(shè)計(jì)前，一定要考慮軟件投放到市場(chǎng)后的實(shí)際市場(chǎng)價(jià)值，軟件要既簡(jiǎn)單又容易操作。在軟件研發(fā)技術(shù)人員的研發(fā)過程中，一定要考慮軟件可以操作的內(nèi)容與不需要操作的內(nèi)容，軟件的實(shí)用性和有效性才是研發(fā)的重點(diǎn)，不要過于追求各種功能運(yùn)行的實(shí)現(xiàn)性。例如：某市醫(yī)院想要一款藥品管理軟件，病人通過該軟件可以實(shí)時(shí)查看各類藥品的價(jià)格，但是，病人不能通過該軟件查看藥品的庫存和查看藥品的功能。在對(duì)該款軟件設(shè)計(jì)時(shí)，技術(shù)人員若對(duì)該軟件的功能不清楚，就會(huì)導(dǎo)致設(shè)計(jì)出來的軟件不符合醫(yī)院的需求，造成很多麻煩，所以，軟件研發(fā)人員要明確自己的設(shè)計(jì)目的，運(yùn)用邏輯學(xué)的理念，進(jìn)行對(duì)比與應(yīng)用，完善軟件的定義。

在邏輯學(xué)的體系中，任何概念都可以當(dāng)做是“類概念”，簡(jiǎn)單地說，概念只是思維方式的一種，它的作用是思維內(nèi)筒的的承載工作，是對(duì)理性知識(shí)的一種認(rèn)知方式。在領(lǐng)域建模方面，有一個(gè)問題域，這是對(duì)相關(guān)事務(wù)或者相關(guān)概念對(duì)象的研究，對(duì)于問題域?qū)ο蟮撵o態(tài)模型常常采用圖形的方式進(jìn)行表現(xiàn)，領(lǐng)域模型中主要包括：概念之間、概念類的屬性、概念類之間實(shí)際的聯(lián)系。

二、軟件開發(fā)時(shí)期邏輯的應(yīng)用

軟件開發(fā)時(shí)期通常由5個(gè)階段，需求分析、軟件設(shè)計(jì)、代碼生成、軟件測(cè)試、軟件維護(hù)。軟件需求分析是指軟件設(shè)計(jì)人員應(yīng)該明白用戶的需求是什么，用戶必須與軟件設(shè)計(jì)者達(dá)成一致，詳細(xì)分析每個(gè)軟件研發(fā)的過程，防止后期的返工與失敗，達(dá)到用戶對(duì)軟件的要求標(biāo)準(zhǔn)。軟件設(shè)計(jì)是指為了達(dá)到軟件滿足用戶的需求而對(duì)軟件進(jìn)行的程序設(shè)計(jì)，這一環(huán)節(jié)要求技術(shù)人員必須要有數(shù)理邏輯的思維，保證程序設(shè)計(jì)理論的正確計(jì)算方式。代碼生成環(huán)節(jié)中，主要運(yùn)用到的是計(jì)算機(jī)與邏輯學(xué)之間的聯(lián)系，當(dāng)我們?cè)O(shè)計(jì)程序時(shí)，通過輸入正確的口令或密碼，對(duì)程序進(jìn)行登陸操作，若登錄的用戶名稱或密碼不對(duì)，則登陸不成功，不能對(duì)程序進(jìn)行相關(guān)操作。

三、軟件測(cè)試過程中的應(yīng)用

軟件測(cè)試階段是軟件的所有結(jié)構(gòu)模塊設(shè)計(jì)都完成之后進(jìn)入的階段。計(jì)算機(jī)軟件的測(cè)試階段其實(shí)就是查找軟件中各種bug的階段，測(cè)試人員的工作是找出bug，并不是修復(fù)bug，測(cè)試人員找出bug后，報(bào)告給測(cè)試經(jīng)理。經(jīng)過測(cè)試經(jīng)理的審核，之后再對(duì)相應(yīng)的問題進(jìn)行修改，修改完成后，是回歸問題的流程，該流程是指修改之后再次進(jìn)行測(cè)試，查看原先的問題是否已經(jīng)解決。在測(cè)試工作之前，要對(duì)測(cè)試人員進(jìn)行相關(guān)軟件的業(yè)務(wù)技能培訓(xùn)，使業(yè)務(wù)人員清楚的明白軟件的正確功能是什么樣子，這樣才能夠在今后的實(shí)際工作中及時(shí)找出問題。

四、軟件維護(hù)過程中的應(yīng)用

現(xiàn)在的科技產(chǎn)品都有售后服務(wù)這一塊，相關(guān)科技公司大部分都有自己的維修站，如果客戶在使用過行程中出現(xiàn)問題，維修站都會(huì)派專業(yè)的技術(shù)人員進(jìn)行維修和反饋。在需要客戶在使用計(jì)算機(jī)軟件時(shí)將遇到的問題仔細(xì)記錄下來，這樣才會(huì)對(duì)軟件的維護(hù)和修改工作起到關(guān)鍵的作用，有效幫助軟件程序工程師找出問題，對(duì)癥下藥。一旦軟件出現(xiàn)問題，那么軟件的錯(cuò)誤和缺陷就是真實(shí)存在的，這種情況人為是避免不了的，因此，軟件的設(shè)計(jì)者和軟件的用戶之間就存在一定的沖突，我們?cè)撊绾伪苊膺@一沖突呢，通過邏輯學(xué)的一些小知識(shí)來說，正確對(duì)待軟件的設(shè)計(jì)者和軟件的用戶之間的沖突，可能會(huì)得出科學(xué)的解決辦法。軟件的用戶肯定是希望軟件的問題和缺陷盡快解決，而軟件的設(shè)計(jì)者修改這些問題和缺陷需要一定的時(shí)間，這個(gè)過程統(tǒng)稱為軟件的維護(hù)過程，該過程是軟件生命周期中最長(zhǎng)的一個(gè)階段。軟件的可靠性是這一過程的重要影響因素之一，軟件研發(fā)的技術(shù)人員必須具有優(yōu)秀的程序設(shè)計(jì)風(fēng)格，這樣才能夠確保維護(hù)工作的順利進(jìn)行。同時(shí)，就好比人類交流需要語言一樣，計(jì)算機(jī)軟件的編寫同樣有不同的計(jì)算機(jī)語言，我們必須保證自己可以設(shè)計(jì)出能看得懂的計(jì)算機(jī)語言編織的程序。

五、結(jié)論

結(jié)合現(xiàn)代科學(xué)推理和表達(dá)的特點(diǎn)，建立智能化的推理模型，開發(fā)具有實(shí)際價(jià)值的智能軟件，促進(jìn)人文社會(huì)的發(fā)展，推動(dòng)社會(huì)的生產(chǎn)力。在研發(fā)過程中，不僅要運(yùn)用到數(shù)學(xué)建模方面的學(xué)科知識(shí)，還要運(yùn)用到計(jì)算機(jī)軟件設(shè)計(jì)方面的相關(guān)知識(shí)，這兩方面的實(shí)際應(yīng)用都和邏輯發(fā)展息息相關(guān)，對(duì)市場(chǎng)的分析、研究都有著很重要的影響，換句話說，計(jì)算機(jī)工程軟件技術(shù)的研發(fā)建立在理論知識(shí)體系的研究之上。本文通過計(jì)算機(jī)軟件工程技術(shù)中邏輯應(yīng)用在軟件部分的生命周期的具體分析，說明了邏輯學(xué)與計(jì)算機(jī)軟件工程技術(shù)存在一定的聯(lián)系，并且通過一些實(shí)際例子更好的闡明了這一點(diǎn)，對(duì)在計(jì)算機(jī)軟件研發(fā)過程中的邏輯應(yīng)用進(jìn)行了比較和延伸。同時(shí)，本文對(duì)邏輯的應(yīng)用在軟件研發(fā)過程中的具體應(yīng)用情況進(jìn)行了分析，說明了一些邏輯方法的具體應(yīng)用情況。通過本文不難看出，在做相關(guān)科學(xué)技術(shù)的研發(fā)時(shí)，各個(gè)學(xué)科之間存在著交叉關(guān)系，比如邏輯學(xué)與其他學(xué)科。今后，邏輯學(xué)與人工智能技術(shù)的相關(guān)結(jié)合研究將是相關(guān)工作的重點(diǎn)，邏輯學(xué)在計(jì)算機(jī)工程軟件技術(shù)中有著非常重要的的價(jià)值。

參考文獻(xiàn)：

[1]康巧茹.邏輯研究的第二次轉(zhuǎn)向[J].寧夏黨校學(xué)報(bào)，2003（02）.

[2]韓曉建，鄧家褆.產(chǎn)品概念設(shè)計(jì)方案的評(píng)價(jià)方法[J].北京航空航天大學(xué)學(xué)報(bào)，2000（02）.

[3]鐘小全.高職《軟件工程》“教學(xué)做”一體化的教學(xué)設(shè)計(jì)和實(shí)踐[J].信息與電腦（理論版），2013（10）.

[4]康巧茹.邏輯研究的第二次轉(zhuǎn)向[J].寧夏黨校學(xué)報(bào)，2003（02）.