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

1、 計算機軟件工程技術(shù)中邏輯應(yīng)用探討摘要：計算機與邏輯學之間存在著嚴密的聯(lián)系，學科之間的滲透是當代科學開展的一個重要趨勢。本文主要探討邏輯學在軟件工程開發(fā)中的應(yīng)用問題。由于軟件工程技術(shù)所步及的內(nèi)容比擬廣泛，因而，本文只是選取軟件工程技術(shù)中軟件局部生命周期以及軟件開發(fā)階段中邏輯的應(yīng)用展開探討。文章主要為了說明軟件工程與邏輯學之間聯(lián)系的必要性，并簡單地闡述了選題的緣由和意義、以及國內(nèi)外研巧的現(xiàn)狀。從軟件工程的概念出發(fā)，以需求分析作為切入點，再利用邏輯分析的合理性，主要結(jié)合了邏輯學中概念的內(nèi)潘和外延的應(yīng)用,通過對軟件開發(fā)階段軟件的分析，分別從各個階段出發(fā)，再次結(jié)合邏輯學中概念的限制和概括、種屬關(guān)系認及

2、真值函數(shù)的比照等方面進斤研巧，同時結(jié)合一些實例來進一步說明邏輯學在其中的應(yīng)用。 關(guān)鍵詞：軟件工程;邏輯學;概念;邏輯方法 引言 1.軟件工程研究至目前說明，現(xiàn)代邏輯對于人工智能深入研究相對較多，例如軟件工程技術(shù)在軟件開發(fā)團隊模式的研究，其合理性的分析主要利用邏輯方法進展，在整個開發(fā)組中的過程中，合理定義各種角色、職務(wù)以及技能需求，定義開發(fā)團隊中的“某人在“某時間，做了“某事，如何做“類概念，也就是說，概念是思維的一種形式，它承載著相關(guān)的思維內(nèi)筒，同時也是對理性認識的一種根本形式。概念，相關(guān)于語詞和詞組。在邏輯學的概念中，主要分為幾種：首先，對概念的肯定或否認，不管對何時來說，這兩者的概念都一樣

3、，主要根據(jù)概念反響的對象，進展屬性的區(qū)分。當然這中間肯定概念與否認概念，也分別被稱作正概念與負概念;其次，相對于普通概念，單獨概念外延分子是1，指的是1個對象，也就是事物、專名與摹狀物的獨一無二面，相對于單獨概念來說的普通概念是外延分子大于2，指的就是對象、形容詞或者動詞。兩者看來，是根據(jù)反響對象數(shù)目差異進展劃分的。第三，主要是關(guān)于集合與非集合的概念，主要是將反響集合體成為集合的概念，另外，非集合概念也就是不反映集合體的概念。 1.2.2個體涵蓋了兩個以及連個以上的組成統(tǒng)一整體，也就是集合體。綜上所述，每個概念的不同內(nèi)涵與外延劃分的共同形式進展劃分的上述幾種概念，所以概念的本質(zhì)是概念的內(nèi)涵或者

4、外延。這兩者的特點說明的概念分別從量與質(zhì)出發(fā)的。從字面上進展理解，外延也就是概念使用的范圍，內(nèi)涵只得是概念特有的屬性。領(lǐng)域建模在計算機軟件工程中都可以運用上面所說的只是，過渡到類圖建模就必須分析領(lǐng)域建模，這也幫助了對于領(lǐng)域建模的了解。領(lǐng)域建模里，存在一個問題域，也就是對相關(guān)事務(wù)或者概念對象的研究。問題域之中的對象靜態(tài)模型通常運用圖形來表示。領(lǐng)域模型里面，主要描述有以下幾點：概念之間、概念類的屬性以及概念類之間存在的關(guān)聯(lián)。從幾個方面入手進展表達;分貝時符合、內(nèi)涵與外延。第一，符合，指的是領(lǐng)域類里面的圖片或者單詞;第二，內(nèi)涵，是定義領(lǐng)域類，與邏輯學內(nèi)涵有著一樣點，領(lǐng)域類定義其中的事例就是此時的外延

5、。舉例說明：在某個銷售中，領(lǐng)域建模包含了sale、date和time，作為一次銷售，這是一種購置交易時間，它具有時間與日期，但是外延那么是從sale-1、sale-2、sale-3，所以邏輯學的概念也可以應(yīng)用在領(lǐng)域建模中，這個內(nèi)涵也是我們之前了解到的種屬關(guān)系，在限制或者概括的過程中，可以通過其更好的理解領(lǐng)域建模內(nèi)涵，這里也就不進展舉例說明了。 二、軟件開發(fā)階段邏輯的應(yīng)用 通常情況下，軟件開發(fā)氣氛五個階段：需求分析;軟件設(shè)計;代碼生成;軟件測試;軟件維護。接下來說明邏輯學就從這五個階段中進展。 2.1需來分析階段的應(yīng)用 相對于軟件需求分析，我們需要明白，設(shè)計軟件到底需要滿足用戶的什么需求，用戶在

6、進展軟件需求的描述中，需要與軟件開發(fā)者進展協(xié)商，雙方達成一致后，就需要一個描述范圍的文檔，這個文檔需要良好的描述，并且還需要進展細化，每一項都必須準確，這個細化過程中，我們將它成為需求分析。在軟件研發(fā)中，需求分析可以說非常重要。所以在分析需求的過程中，需要劃分較多時間進展研究。如果不愿意花費時間進展研究，那么就會造成后期的返工與失敗，這個問題也是大多數(shù)軟件工程師初期不注意的，造成了軟件設(shè)計成果與用戶需要的軟件不同，或者沒有到達用戶的要求。在浪費人力、財力以及物力的過程中，對開發(fā)團隊和工程組都造成了很大的麻煩。所以，在進展數(shù)據(jù)描述的過程中，設(shè)計者不能單獨考慮，需要結(jié)合各個數(shù)據(jù)，進展分析，通常采取

7、圖形化的方式進展描述，也可以直觀的反響數(shù)據(jù)模型之間的關(guān)系。相當于邏輯學里面的歐拉圖，通?？梢杂脷W拉圖來表示概念外延的關(guān)系。然而軟件規(guī)格說明中，需要盡可能的做到清晰明了、完全外、防止矛盾以及二義性。 2.2軟件設(shè)計(標準巧述)的應(yīng)用 如何具體說明實現(xiàn)在計算機系統(tǒng)與軟件中的內(nèi)同?在上述標準化描述的過程中，可以看出是從需求到軟件的一種設(shè)計，這個過程可以看做是非形式轉(zhuǎn)化到形式，這種階段我們一般從兩種方面進展考慮，第一，軟件需求轉(zhuǎn)化成一種軟件體系的構(gòu)造。必須在這個階段中確定系統(tǒng)接口、全局數(shù)據(jù)結(jié)果以及數(shù)據(jù)庫模式，也可稱之為概念設(shè)計，另外需要對模塊進展算法的實現(xiàn)。在局部數(shù)據(jù)構(gòu)造中，需要使用恰當?shù)姆绞竭M展構(gòu)造

8、季節(jié)的算法表述與數(shù)據(jù)，也稱其為詳細設(shè)計階段。軟件需要一個分析需求以及描述階段，主要作用是說明。系統(tǒng)設(shè)計階段就是為了到達這一目的，而眾所周知，數(shù)理邏輯與計算機科學具有很大的關(guān)系。數(shù)理邏輯主要是將人類思維進展分解，變成簡單而機械的運算，利用機器進展模擬。這時出現(xiàn)了計算機與電子計算機。計算機在使用的過程中要進展程序設(shè)計。需要研究者有充分的數(shù)理邏輯訓練，這樣才能很好地從事這一類設(shè)計。在設(shè)計程序的時候，怎么保證程序正確，在計算過程中怎么防止錯誤計算情況及時的發(fā)現(xiàn)錯誤，并加以改正?這些都是關(guān)于程序設(shè)計理論非常根本與重要的內(nèi)容，大多數(shù)認為，數(shù)理邏輯與這些內(nèi)容關(guān)系很大。如果使用的是計算機語言來書寫這種數(shù)理邏輯

9、，那么就是數(shù)理邏輯應(yīng)用在計算機。 2.3代碼生成中的聯(lián)系 2.3.1下面我們通過代碼的生成來看計算機與邏輯學的聯(lián)系，我們都知道命題邏輯中的幾種聯(lián)結(jié)詞，等值一般用表示，而計算機中的等值我們通常用來表示，對于邏輯中的運用主要是對真值形式的判斷，當我們需要對兩種真值形式進展判斷時候，我們就可運用真值表法，通過計算得出這兩種真值形式相等，那么該表達式為真，如果通過計算這兩個表達式的真值不相等，那么該表達式為假，那么在計算機中又是如何的呢?對于下面的登陸程序而言，當你輸入口令或輸入密碼正確的時候，它根據(jù)一開場設(shè)置的情況進展判斷，如果登陸用戶所輸入的口令或密碼與這個程序的口令或密碼一樣，那么就為真，其結(jié)果

10、就是返回登陸成功，登陸到主界面;如果登陸用戶輸入的口令或密碼與這個程序的口令或密碼不一樣，那么就為假，登陸不成功。 2.3.2當巧對于一個具體的購物網(wǎng)站而言，當用戶在選擇商品的時候，比方參加購物車的時候，如果超過一定的時限，還沒有購置的話，就會失效，一下就有這3種代碼的具體表述。我們可til拿計算機中的代碼舉個例子，比方登陸程序的各種關(guān)聯(lián)，我們可以看到前臺代碼例如：當輸入正確的用戶名和密碼的時候就會有Login登陸界面相關(guān)代碼。在網(wǎng)購付款時，沒有在規(guī)定時間內(nèi)付完款，那么就會要求你重新登陸，這個時候在編寫代碼的時候會有個LockForm的代碼，此功能是針對長時間未登錄，系統(tǒng)被鎖定。當然用戶登錄進

11、去后，會看到一個主界面。在計算機中我們稱之為：Mseteorm的代碼。以上三個個程序，我們也可從邏揖學的角度來看，在實踐中，我們不僅需要軟件規(guī)格說明和驗證，更希望有系統(tǒng)的方法把規(guī)格說明逐步演化成程序，即屬于自動程序成(ASP)的研究領(lǐng)域。 2.3.3E在演繹過程中有兩種關(guān)系即水平關(guān)系和垂直關(guān)系，而上述H個程序么間也存在著這樣的關(guān)系，如果從垂直關(guān)系的角度來看，如果Login登陸界面和LockForm長時間未登錄能夠正確運行，LockForm長時間未登錄和MasterForm登陸進去的主界面也能正常運行，那么LockForm長時間未登錄能夠正確運行和Maste將orm登陸進去的主界面也一定能夠運行

12、實現(xiàn)。至于水平關(guān)系，由于篇幅關(guān)系就不把其余剩下的代碼一一列舉出來，縱觀這3個程序，不難發(fā)現(xiàn)它們都存在著函數(shù)的調(diào)用，會調(diào)用某個公共的函數(shù)。 三、軟件測試階段的應(yīng)用 軟件測試是在軟件的全部模塊設(shè)計實現(xiàn)之后進入的階段。對于軟件工程中的軟件測試我們知道，就它的整體而言其主要目的就是尋找軟件存在的各種BUG，而測試人員只要找出來并不需要測試人員去修改，而是經(jīng)過測試經(jīng)理的審核，然后轉(zhuǎn)給相對應(yīng)的開發(fā)進展修改，開發(fā)修改完畢，會有一個回歸問題的流程，所謂問題的回歸就是將原先存在的問題，經(jīng)過開發(fā)修改之后測試再次進展問題是否解決的一種驗證。在測試么前，每一個測試人員都需要學習需要測試的軟件的業(yè)務(wù)功能，只有在自己學會

13、了正確的功能應(yīng)該是什么樣子的，才能比照出，軟件存在的缺陷和缺乏，從而提出問題的所在。就比方對網(wǎng)絡(luò)平安的測試這一塊，就需要測試人員對網(wǎng)絡(luò)平安的知識有所把握;在對網(wǎng)管軟件進展測試的時候，就要知道設(shè)備測試時用到的簡單的配置的命令，知道如何通過在設(shè)備側(cè)通過命令來搭建業(yè)務(wù)，當然也是需要知道業(yè)務(wù)的根本的流程的，W及也要知道在網(wǎng)管進展業(yè)務(wù)的搭建，W及兩者之間進展比照查看彼此的異同點來尋找BUG等等。很顯然，在此時我們用邏輯學中的觀察、在這個過程中存各種還餐銜接，有利于測試人員更好的掌握業(yè)務(wù)的根本流程，從而利于軟件開發(fā)人員進展糾錯和簡化運算，提高效率。 四、軟件維護中的應(yīng)用 現(xiàn)在科技產(chǎn)品一般都有維修站，一般如

14、果當用戶在使用某個產(chǎn)品的時候如果出現(xiàn)一些問題，如何及時反響和維修，這時候就需要用戶在使用軟件的時候認真的記錄下出現(xiàn)的問題，這樣對于軟件工程師后期對軟件的維護和修改才能找到癥結(jié)所在。既然軟件的錯誤和缺陷是確實存在的，這種情況一般我們也防止不了。此時使用軟件的用戶和軟件設(shè)計者之間就存在著一個矛盾，那么我們該如何防止這樣的矛盾呢?這也能通過邏輯學里的一些小知識點來看，如何理解用戶和軟件設(shè)計者的矛盾問題，可比照得出比擬科學的結(jié)論。作為使用軟件的用戶肯定希望能夠盡快把軟件的問題和缺陷而改掉，而對于軟件設(shè)計者而言，改掉這些缺陷巧錯誤需要一定的時間。這樣的一個過程，在軟件工程中稱為軟件的維護，這樣的一個維護

15、過程從軟件的生命周期來看，相對而言也是最長的一個周期。軟件的可靠性也是其中比擬重要的因素之一，這就需要軟件開發(fā)人員有良好的程序設(shè)計風格。這樣才能在軟件開發(fā)的過程中更好的做起維護效勞。在我們生活中，我們知道生活離不開交流，交流離不開語言，同樣的我們?yōu)橛嬎銠C編寫程序，需要設(shè)計出計算機能看懂的語言。當然隨著工作環(huán)境或者硬件環(huán)境的變化，有些機器語言的可移植性會變差，因而如何才能更好的把機器語言用到計算機中，我們需要一個良好的用戶文檔。這樣對于后期的維護和開展比擬好。 五、總結(jié) 本文在一方面通過對計算機軟件工程中的局部生命周期各個階段進展研究，發(fā)現(xiàn)其與邏揖學之間的聯(lián)系，并且通過列舉一些事例作為解析這些應(yīng)用之間的關(guān)系，以便更好的說明邏輯學在其中的應(yīng)用，并在軟件開發(fā)階段中有涉及到邏揖應(yīng)用的方面也做了比擬和拓展。此外，在另一個方面，本文選取軟件開發(fā)中其他軟件工程技術(shù)為視角，詳細說明了一些邏輯方法在軟件開發(fā)過程中，特別是對于開發(fā)團隊的一些應(yīng)用。分別說明了一堅邏輯方法在軟件開發(fā)團隊中的應(yīng)用，更加詳細的論述了邏輯學在計算機軟件工程中的作用，強化了邏輯學應(yīng)用。同時，通過此文，不難