軟件質(zhì)量-軟件構(gòu)件與中間件(編輯修改稿)
2025-03-08 02:31 本頁面
【文章內(nèi)容簡介】 l 如何在不同階段 “度量 ”可信屬性36軟件質(zhì)量軟件質(zhì)量 37/50高級(jí)軟件工程貫穿軟件技術(shù)的各個(gè)方面 : l 軟件語言– 語言– 編譯l 軟件工程：生命周期的各個(gè)環(huán)節(jié) !– 需求– 設(shè)計(jì)– 編碼l 系統(tǒng)軟件（操作系統(tǒng)、數(shù)據(jù)庫、中間件）37軟件質(zhì)量軟件質(zhì)量 38/50高級(jí)軟件工程保障軟件可信性的幾個(gè)基礎(chǔ)性問題l 軟件可信性度量與建模l 可信軟件的構(gòu)造與驗(yàn)證l 可信軟件的演化與控制38軟件質(zhì)量軟件質(zhì)量 39/50高級(jí)軟件工程（ 1）軟件可信性建模與度量l 如何認(rèn)識(shí)軟件的可信性？l 如何表述軟件的可信性？l 如何度量軟件的可信性？39軟件質(zhì)量軟件質(zhì)量 40/50高級(jí)軟件工程（ 2）可信軟件的構(gòu)造與驗(yàn)證l 如何進(jìn)行可信性設(shè)計(jì)？l 如何消解可信性沖突？l 如何進(jìn)行可信性保證？40軟件質(zhì)量軟件質(zhì)量 41/50高級(jí)軟件工程（ 3）可信軟件的演化與控制l 如何認(rèn)識(shí)環(huán)境的演化和軟件自身的演化？l 如何動(dòng)態(tài)獲取可信性和控制可信性變化？l 如何構(gòu)建可信的運(yùn)行支撐環(huán)境？41軟件質(zhì)量軟件質(zhì)量 42/50高級(jí)軟件工程 “可信 ”對(duì)軟件生命周期的影響Product (Artifact)Analyzing Designing Coding Compiling DeployingDeveloping ProcessMaintaining42軟件質(zhì)量軟件質(zhì)量 43/50高級(jí)軟件工程（ 1）可信軟件的需求分析l面向可信性的軟件需求工程方法基于社會(huì)的可信模型的方法風(fēng)險(xiǎn)分析和可信性分析技術(shù)多維異質(zhì)非功能需求的沖突消解與完整性表達(dá)可信性分析的方法學(xué)框架43軟件質(zhì)量軟件質(zhì)量 44/50高級(jí)軟件工程（ 2）可信軟件的設(shè)計(jì)l構(gòu)造可信軟件系統(tǒng)的系統(tǒng)化科學(xué)體系 可信軟件的建模、構(gòu)造方法與代碼生成技術(shù) 面向服務(wù)的可信軟件的建模、構(gòu)造方法與代碼生成 可信需求規(guī)約在設(shè)計(jì)中的精化方法 基于不可信構(gòu)件構(gòu)建可信軟件系統(tǒng)的方法和技術(shù)l可信軟件在程序意義上的可信性 研究支持演化的可信軟件體系結(jié)構(gòu)和設(shè)計(jì)模式44軟件質(zhì)量軟件質(zhì)量 45/50高級(jí)軟件工程（ 3）可信代碼編寫與編譯l可信程序設(shè)計(jì)語言l可信程序設(shè)計(jì)語言的形式語義l可信軟件的編譯技術(shù) 可信編譯器體系結(jié)構(gòu) 程序驗(yàn)證在可信編譯中的集成 可信性動(dòng)態(tài)保證代碼的生成和插裝與優(yōu)化45軟件質(zhì)量軟件質(zhì)量 46/50高級(jí)軟件工程（ 4）代碼可信性的驗(yàn)證l模型檢驗(yàn)技術(shù)l定理證明技術(shù)l約束求解技術(shù)l靜態(tài)代碼分析技術(shù)數(shù)據(jù)流、控制流分析缺陷模式收集、分析46軟件質(zhì)量軟件質(zhì)量 47/50高級(jí)軟件工程（ 5）軟件的可信性測試l基于模型和規(guī)約的測試技術(shù)l可信性測試技術(shù) 測試設(shè)計(jì) 測試充分性 測試用例生成和優(yōu)化技術(shù) 測試執(zhí)行技術(shù)和調(diào)試排錯(cuò)技術(shù)47軟件質(zhì)量軟件質(zhì)量 48/50高級(jí)軟件工程（ 6）軟件可信性的監(jiān)測l面向可信性的監(jiān)測模型l監(jiān)測代碼的自動(dòng)生成l動(dòng)態(tài)運(yùn)行時(shí)監(jiān)測代碼注入技術(shù)l基于運(yùn)行監(jiān)控的可信軟件模型48軟件質(zhì)量軟件質(zhì)量 49/50高級(jí)軟件工程（ 7）面向可信性的軟件調(diào)整l環(huán)境變化和軟件變化對(duì)可信性影響l為保障可信性進(jìn)行的在線演化技術(shù)l可信性監(jiān)控與演化的運(yùn)行機(jī)制l可信軟件的運(yùn)行訪問控制技術(shù)49軟件質(zhì)量軟件質(zhì)量 50/50高級(jí)軟件工程（ 8）軟件可信性的度量l軟件可信性的分解l不同可信屬性的量化l缺陷分布l缺陷預(yù)測l……50軟件質(zhì)量軟件質(zhì)量 51/50高級(jí)軟件工程（ 9）面向軟件可信性的軟件過程l可信軟件過程的屬性l可信軟件過程的量化評(píng)估方法l……51軟件質(zhì)量軟件質(zhì)量 52/50高級(jí)軟件工程五、質(zhì)量度量可信性是軟件性質(zhì)的子集軟件性質(zhì)的靜態(tài)判定問題 本質(zhì)上是不完備的（圖靈機(jī)的判定）我們能做的是 在一定約束條件下 對(duì)一些重要的性質(zhì)給出較準(zhǔn)確的度量52軟件質(zhì)量軟件質(zhì)量 53/50高級(jí)軟件工程測量、度量與指標(biāo)度量什么？刻度是什么？軟件缺陷如何度量內(nèi)容53軟件質(zhì)量軟件質(zhì)量 54/50高級(jí)軟件工程測量、度量與指示l測量（ Measure）是一個(gè)過程，用于對(duì)產(chǎn)品或者過程的某個(gè)屬性的范圍、數(shù)量、維度、容量或大小提供 “一個(gè) ”“定量的指示 ”； 獲取了一個(gè)數(shù)據(jù)！l度量（ Metric）是對(duì)軟件產(chǎn)品進(jìn)行范圍廣泛的測度，它給出一個(gè)系統(tǒng)、構(gòu)件或過程的某個(gè)給定屬性的 “度 ”的定量測量；l指示 (Indicator) 是一個(gè)度量或一組度量的組合，采用易于理解的形式，對(duì)軟件過程、項(xiàng)目或產(chǎn)品質(zhì)量提供更全面、深入的評(píng)價(jià)和了解，以利于過程和質(zhì)量的分析。 54軟件質(zhì)量軟件質(zhì)量 55/50高級(jí)軟件工程“You can39。t control what you don39。t measure”Tom DeMarco, Controlling Software Projects, 1982What to measure?l Length Ruler Meter/Centimeter/…l Time Clock Day/Hour/Minute/…l Weight Balance Gram/Kilogram/…l TemperatureThermometer Centigrade/…l Humidity, brightness, ……l area, volume, velocity, density, l software: LOC, Density of Defect, MTTF, …… 55軟件質(zhì)量軟件質(zhì)量 56/50高級(jí)軟件工程度量什么？軟件 “可信性 ”的屬性 仍然從 “質(zhì)量 ”的性質(zhì)開始！外部測量內(nèi)部質(zhì)量屬性外部質(zhì)量屬性使用質(zhì)量屬性過程質(zhì)量過程過程測量
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1