軟件工程第二章電子教案大同大學(xué)(文件)
【正文】 Instance? 類相同屬性和行為的對(duì)象的抽象? 實(shí)例特定類所描述的一個(gè)具體對(duì)象? 子類直接繼承父類的數(shù)據(jù)和操作? 繼承的傳遞性，單繼承、多重繼承繼承（ Inheritance）家具桌子 椅子 衣柜 床椅子的實(shí)例多態(tài)性 Polymorphism? 概念不同類層次共享一個(gè)方法名相同的參數(shù)特征和返回值類型多種不同實(shí)現(xiàn)C++中虛函數(shù)實(shí)現(xiàn)動(dòng)態(tài)聯(lián)編重載 Overloading? 函數(shù)重載同一作用域多個(gè)名字相同的函數(shù)參數(shù)特征不同靜態(tài)聯(lián)編? 運(yùn)算符重載消息 Message? 對(duì)象間的交互手段? 形式：Message:[dest,op,para]Destination Object（ 目標(biāo)對(duì)象）Operation（ 操作）Parameters（ 參數(shù)） 面向 對(duì) 象的開(kāi) 發(fā) 模型 ——2? 對(duì)象技術(shù)為軟件工程的基于構(gòu)件的過(guò)程模型提供了技術(shù)框架。它本質(zhì)上是演化的，支持軟件開(kāi)發(fā)的迭代方法。噴泉模型使開(kāi)發(fā)過(guò)程具有迭代性和無(wú)間隙性。主要用于采用對(duì)象技術(shù)的軟件開(kāi)發(fā)項(xiàng)目。１、 開(kāi)發(fā)過(guò)程有分析、系統(tǒng)設(shè)計(jì)、軟件設(shè)計(jì)和實(shí)現(xiàn) 4個(gè)階段。 ５、強(qiáng)調(diào)增量開(kāi)發(fā)，整個(gè)過(guò)程是一個(gè)迭代的逐步提煉的過(guò)程。同時(shí)，建造符合某應(yīng)用領(lǐng)域體系結(jié)構(gòu)標(biāo)準(zhǔn)的構(gòu)件，可以用來(lái)搭建分布式的、跨越不同操作平臺(tái)的軟件，擴(kuò)展了軟件的應(yīng)用前景，促進(jìn)了軟件標(biāo)準(zhǔn)化、商品化的發(fā)展。軟件體系結(jié)構(gòu)被建立后，必須用構(gòu)件去充實(shí)，這些構(gòu)件可從復(fù)用庫(kù)中獲得，或者根據(jù)專門需要而開(kāi)發(fā)。?Request構(gòu)件技術(shù)微軟的 COM/DCOM： 微軟開(kāi)發(fā)了構(gòu)件對(duì)象模型（ Component(Distribute(Enterprise基于構(gòu)件的未來(lái) 軟件生產(chǎn)線應(yīng)用構(gòu)件提取車間 應(yīng)用構(gòu)件庫(kù)構(gòu)件生產(chǎn)車間 構(gòu)件庫(kù) 組裝車間領(lǐng)域 1領(lǐng)域 2應(yīng)用系統(tǒng) ...12341基礎(chǔ)構(gòu)件， 2功能構(gòu)件 3接口構(gòu)件， 4用戶界面構(gòu)件 形式化方法模型 形式化方法模型是一種基于數(shù)學(xué)的開(kāi)發(fā)技術(shù)，主要采用數(shù)學(xué)的方法與表示體系描述軟件的性質(zhì)，表示軟件規(guī)格說(shuō)明，然后進(jìn)行一系列自動(dòng)或半自動(dòng)的程序轉(zhuǎn)換，最后轉(zhuǎn)化為計(jì)算機(jī)系統(tǒng)能夠接受的目標(biāo)程序系統(tǒng)。 模型見(jiàn)下圖：轉(zhuǎn)換模型形式化規(guī)格說(shuō)明與需求比較后修正變換 2變換 1變換 n測(cè)試形式化開(kāi)發(fā)記錄系統(tǒng)需求 目標(biāo)系統(tǒng)轉(zhuǎn)換模型兩種技術(shù)： ? 基于模型的規(guī)格說(shuō)明及其變換技術(shù) 基于模型的技術(shù)使用數(shù)學(xué)上的結(jié)構(gòu)如集合和函數(shù)為系統(tǒng)建模。這里接口被定義為一組對(duì)象類或抽象數(shù)據(jù)類型的集合，用接口操作之間的關(guān)系來(lái)刻畫系統(tǒng)?？梢杂脕?lái)精化非形式化的詳細(xì)的系統(tǒng)需求描述。 ? 需要嚴(yán)格的數(shù)學(xué)理論和開(kāi)發(fā)環(huán)境的支持。 關(guān)鍵技術(shù) ： ? 基于統(tǒng)計(jì)過(guò)程控制之下的增量開(kāi)發(fā) ? 基于函數(shù)的規(guī)范、設(shè)計(jì)、驗(yàn)證 ? 統(tǒng)計(jì)測(cè)試和軟件認(rèn)證 模型見(jiàn)下圖：凈室模型需求收集盒結(jié)構(gòu)規(guī)約形式化設(shè)計(jì) 統(tǒng)計(jì)性使 用測(cè)試正確性證明代碼生成與檢查測(cè)試計(jì)劃認(rèn)證需求收集盒結(jié)構(gòu)規(guī)約形式化設(shè)計(jì) 統(tǒng)計(jì)性使 用測(cè)試正確性證明代碼生成與檢查測(cè)試計(jì)劃認(rèn)證需求收集盒結(jié)構(gòu)規(guī)約形式化設(shè)計(jì) 統(tǒng)計(jì)性使 用測(cè)試正確性證明代碼生成與檢查測(cè)試計(jì)劃認(rèn)證增量 1增量 2增量 n凈室模型? 凈室思想在分析和設(shè)計(jì)階段消除錯(cuò)誤在 “潔凈 ”狀態(tài)下實(shí)現(xiàn)軟件制作? 形式化盒結(jié)構(gòu)表示分析和設(shè)計(jì)正確性驗(yàn)證? 增量模型案例考慮如下兩個(gè)軟件項(xiàng)目的例子：? 針對(duì)一種新機(jī)器，為一種已知的編程語(yǔ)言（例如， C語(yǔ)言）開(kāi)發(fā)一種普通的編譯器；? 開(kāi)發(fā)一個(gè)應(yīng)用程序使醫(yī)生辦公室自動(dòng)化。 3.？軟件生存周期劃分成階段的目的是什么 ？ 軟件生存周期是指從軟件定義、開(kāi)發(fā)、使用、維護(hù)到淘汰的全過(guò)程。 2.3.。(2) 可以降低每個(gè)階段任務(wù)的復(fù)雜程度，簡(jiǎn)化不同階段的聯(lián)系，有利于工程的組織管理，也便于采用良好的技術(shù)方法。 1.252。形式化過(guò)程模型的一個(gè)擴(kuò)展 —— 凈室模型 形式化過(guò)程模型的一個(gè)擴(kuò)展，稱為 凈室軟件工程 或 凈室模型 ，它除了強(qiáng)調(diào)分析和設(shè)計(jì)上的嚴(yán)格性，以及使用基于數(shù)學(xué)的正確性證明來(lái)對(duì)設(shè)計(jì)模型的每個(gè)元素進(jìn)行形式化驗(yàn)證外，還強(qiáng)調(diào)了統(tǒng)計(jì)質(zhì)量控制技術(shù)。 ? 最適合用于安全性、可靠性和保密性等性能要求極高的系統(tǒng)。在這個(gè)階段改正錯(cuò)誤比在系統(tǒng)被交付之后修改錯(cuò)誤要經(jīng)濟(jì)得多?；谀Ｐ偷拿枋稣Z(yǔ)言及方法如 Z、VDM(Vienna Definition Method)、 B、 Petri Nets等。從軟件需求形式化說(shuō)明開(kāi)始，經(jīng)過(guò)一系列的數(shù)學(xué)變換和正確性證明，最終得到系統(tǒng)的目標(biāo)程序。在 J2EE中， EJB負(fù)責(zé)最核心的業(yè)務(wù)處理。?Model)， 它提供了運(yùn)行于windows之上的單個(gè)應(yīng)用系統(tǒng)使用不同廠商生產(chǎn)的構(gòu)件的規(guī)約。Architecture)。對(duì)象管理組織發(fā)布的公共對(duì)象請(qǐng)求代理體系結(jié)構(gòu) (Common? 構(gòu)件組裝模型具有極其廣闊的實(shí)用性和深遠(yuǎn)的意義。構(gòu)件集成模型? 構(gòu)件（ ponent)也稱為組件，是一段實(shí)現(xiàn)一系列有確定接口的程序體，具有自己的功能和邏輯，能同其他構(gòu)件組裝起來(lái)協(xié)調(diào)工作。 ３、以分析為基礎(chǔ)，資源消耗成塔型
法律信息相關(guān)推薦
鄂ICP備17016276號(hào)-1