《軟體演化關鍵技術》是科學出版社出版的圖書,作者是王煒 。
基本介紹
- 中文名:軟體演化關鍵技術
- 作者:王煒
- 出版社:科學出版社
- ISBN:9787030610072
內容簡介
圖書目錄
- 第1章緒論
- 第2章可演化性預測
- 第3章面向行為主題的特徵定位方法
- 第4章特徵定位算法的改進
- 第5章影響範圍分析
- 第6章超協調軟體建模基礎
- 第7章動態演化算法
- 第8章結構約束性確認
- 第9章功能語義約束確認
《軟體演化關鍵技術》是科學出版社出版的圖書,作者是王煒 。
《軟體演化關鍵技術》是科學出版社出版的圖書,作者是王煒 。 內容簡介軟體演化的本質是由用戶預期偏差所驅動的對軟體的修改過程。要成功實施演化活動,涉及兩個核心問題:“演化什麼”和“如何演化”。其中“演化什麼”定義在何處和什...
(3)基於遺留代碼分析技術,提出了一種軟體框架恢復技術,作為從遺留軟體創建軟體體系結構的技術支撐。(4)通過對真實軟體產品線的長期演化歷史的分析,識別出單個軟體和軟體產品線體系結構演化的基本模式,分析了需求演化和軟體體系結構演化的關係,並對現有的軟體開發模式給出了改進建議,並被相關的核心開發團隊採納。
《面向全生命周期的軟體協同演化關鍵技術研究》是依託東南大學,由李必信擔任項目負責人的面上項目。中文摘要 協同演化主要關注在軟體全生命周期中,當一個軟體製品發生演化時,另一個軟體製品是如何發生相應演化的、軟體製品之間的演化是如何相互影響的、以及協同演化一致性如何保障等問題。由於協同演化不僅存在於軟體生命...
《軟體演化和維護過程中若干關鍵技術研究》是依託東南大學,由李必信擔任項目負責人的面上項目。中文摘要 軟體演化是不可避免的,因為軟體在使用過程中會面臨著這樣一些問題:新的需求不斷出現,事務環境經常變化,需要修正隨時出現的錯誤,不時有新的計算機和設備接入到系統中,以及系統的性能和可靠性需要改進等等。為了...
《軟體線上演化的關鍵技術與支撐工具研究》是依託南京大學,由馬曉星擔任項目負責人的面上項目。項目摘要 Internet這樣開放環境下的軟體系統常常面臨著計算環境和用戶需求的變化。其中許多系統需要能夠在不關閉系統的條件下對軟體進行更新以適應這些變化。本項目擬針對這種技術需求,研究較為通用、靈活而對系統服務干擾小的...
《動態演化環境下軟體失效的線上預測關鍵技術研究》是依託河海大學,由張鵬程擔任項目負責人的青年科學基金項目。項目摘要 在動態演化環境中,系統和環境的改變及人的誤操作都可能會導致軟體失效的發生,如何線上預測並預防軟體失效的發生是當前亟待解決的重大問題。本項目給出了基於前瞻系統行為線上預測軟體失效的新穎解決...
《網構軟體演化技術:面向多層架構》是2016年哈爾濱工程大學出版社出版的圖書。內容簡介 網構軟體是21世紀計算機軟體的發展方向,要求在開放、動態、難控的環境下,為用戶提供7×24、不斷演化新、智慧型化的服務,需要相應的演化機制方法支撐。《網構軟體演化技術:面向多層架構》系統地介紹了面向多層架構的網構軟體演化...
為此,本項目研究自適應軟體架構模型與關鍵技術,研製自適應軟體系統支撐工具與平台。所取得的主要成果包括: (a)在自適應軟體體系結構方面,提出一種由先驗環境(元)模型和套用環境規約、運行時環境事件監測機制、前瞻最佳化控制器以及可動態演化的業務軟體系統構成的元級化、可定義的自適應軟體體系結構模型,以較系統...
《軟體動態演化技術》是2007年北京大學出版社出版的圖書,作者是李長雲、何頻捷、李玉龍。內容簡介 《21世紀全國高校套用人才培養信息技術類規劃教材·軟體動態演化技術》是國內外第一本對軟體動態演化技術進行系統闡述的著作。作者結合多年研究和實踐的經驗,從開放系統發展動力到動態演化技術產生,從動態演化技術基本原理到...
軟體過程是在軟體生命周期中所實施的一系列活動的集合,活動是任務的集合,任務則起到把輸入加工成輸出的作用。同時,Osterweil提出的一個廣泛被接受的觀點“軟體過程也是軟體”,軟體演化過程作為軟體過程的一個分支,同樣,我們也可以像軟體一樣對其進行相關建模和編檔。軟體演化是軟體工程領域正逐步受到重視的研究方向,...
(5)建立演化系統的度量和基於度量的反饋驅動機制。(6)建立支持基於構件的軟體系統動態演化的CASE工具系統原型- - DSET。.本項目的研究不僅對於提高軟體系統的開放性、自適應性、可擴展性以及構件可重用性具有重要理論意義和套用價值,同時也為格線計算、普適計算以及雲計算奠定了必要的理論和技術基礎。結題摘要 本...
然而,網路的開放、分布、異構、協同、動態、欺騙等特徵,導致了網路軟體不可信、線上驗證信息匱乏等問題。為此,本項目將開展支持自驗證自演化的可信網路軟體體系結構及關鍵技術研究。首先,基於軟體構件化設計原則,探索網路軟體演化運行的本質規律,重點從軟體可觀行為方面提煉可信特徵,包括功能可滿足性、行為一致性、...
(1)支持軟體演化的軟體過程模型表示工具:設計形式化的軟體過程模型表示工具,支持對遺產軟體演化過程的形式化及定量表示。(2)支持軟體演化的軟體過程建模語言:基於上述模型表示工具,設計軟體過程建模語言,支持對遺產軟體規約的抽象表示,支持遺產軟體演化技術與軟體演化過程的集成。(3)支持軟體演化的軟體過程建模...
《軟體測試的演化搜尋方法》是依託南京大學,由聶長海擔任項目負責人的面上項目。項目摘要 軟體測試的過程就是利用各種方法搜尋軟體中潛藏的錯誤的過程,軟體測試的演化搜尋方法是利用各種啟發式搜尋技術解決軟體測試中的問題,它將隨機性與目標導向性進行有機結合,為軟體測試提供了一種有效方法,成為傳統軟體測試方法的一...
項目的研究目標是在網構化軟體環境下,提出一種可信服務評價、選取和組合的相關理論與關鍵技術,為實現跨組織的服務資源組合、套用集成和網構化可信軟體開發、構造與復用提供相關理論基礎和核心技術。建立一種面向普適計算的可信服務組合演化理論、機制與模型,提出服務的可信QoS演化理論與策略。在此模型下,構造一個網...
此階段的特定是:硬體已向巨型化、微型化、網路化和智慧型化四個方向發展,資料庫技術已成熟並廣泛套用,第三代、第四代語言出現;第一代軟體技術:結構化程式設計在數值計算領域取得優異成績;第二代軟體技術:軟體測試技術、方法、原理用於軟體生產過程;第三代軟體技術:處理需求定義技術用於軟體需求分析和描述。(...
很多敏捷項目往往在前期進展順利,而在後期逐漸停滯甚至失敗,其原因在很大程度上是由於缺乏一致的和可演化的軟體體系結構。本項目研究如何將軟體體系結構與敏捷開發過程,這兩種看似衝突的軟體開發技術有機融合,充分利用兩種技術的優勢,擬從四個方面探索軟體體系結構與敏捷融合的開發過程:(1)分析和發現適合套用SA的...
《"軟體人"構件與系統演化計算》適用於從事計算機科學、智慧型科學、控制科學以及相關領域科學研究人員和工程套用人員參考,也可供高等院校和科研院(所)計算機、自動化、智慧型科學技術等相關專業的教師和研究生參考。圖書目錄 總序 第1章緒論 1.1軟體演化的內涵 1.2軟體演化的基本理論與方法 1.3“軟體人”及其思想、...
本項目將在已有研究成果的基礎上,從網路軟體可信的主體屬性和服務屬性出發,在系統生態演化模型、服務主體可信、客戶行為可信分析及非可信行為防範等方面,重點研究可信的指標體系、度量方法和顯示集成。建立可信指標的完備集和基於實變的最佳化度量算法,通過研究電子商務系統的歷史數據分析和語義挖掘技術,構建交易行為可信...
項目技術成果由模型構建、監控使能、分析診斷、可信演化等部份組成,在“環境-行為”模型構建機制、監控使能的軟體構造方法、分散式系統異常診斷和性能瓶頸定位方法、規約制導與人機協同的軟體演化機制等方面形成了明顯創新和特色。在此基礎上,開發了支持行為監控與可信演化的工具集和框架原型,通過一系列基於大型指控系統和...
本書主要介紹了軟體升級及維護髮展的最新實踐方法。書中每章對於軟體升級中特定的主題都給出了清晰的解釋和分析,作者先從基本概念講起,然後深入詳細地講解了軟體升級的各個重要方面。這本書是軟體工程師、信息技術專業人員和軟體工程專業的研究生必備之書。圖書目錄 第1 章 基本概念及導論 ... 11.1 演化與維護...
確保對故障徵兆具有持續的準確分類能力;4、設計完整的實驗,檢驗本項目提出方法的正確性,識別影響效率的關鍵因素及其作用機制。研究成果對有針對性地執行可信演化活動具有決策支持作用,有助於降低軟體可信演化的成本和時間開銷。科研成果
《基於演化計算與粗糙集的軟體設計技術》是依託西安交通大學,由段啟宏擔任項目負責人的數學天元基金項目。中文摘要 本項目以算法的設計複雜性度量理論為,工具通過建立能有效處理算法通用模型的新型演化算法和旨在處理實際問題冗餘信息的精糙集快速約簡算法,組合提出一套能有效自動生成設計複雜性一般的常見、常用算法的技術...
這些套用要求開放軟體系統必須是正確的、可靠的和安全的系統。如何構建這樣一個開放軟體系統已成為科學界關注的挑戰性課題。本項目擬將基於模型驅動的開發方法與測試、仿真和驗證技術有機結合,以保障開放軟體系統的正確性和可靠性。主要研究:構建開放軟體系統的模型驅動理論與方法,包括需求獲取與建模、模型演化與確認、...
在軟體演化的過程中,軟體結構逐漸偏離原有設計,並且這種結構上的偏離導致了軟體質量的下降,則稱為軟體體系結構退化。本項目從軟體缺陷分析的角度,研究軟體體系結構演化趨勢的判斷方法。本項目討論了軟體缺陷與軟體體系結構退化之間的關係,確定了軟體缺陷能用於表征軟體體系結構退化並且退化存在關鍵因素(退化關鍵組件、...
《開放式PRMMCs損傷演化分析軟體設計與研發》是依託昆明理工大學,由郭然擔任項目負責人的面上項目。項目摘要 材料設計時代的今天,在關鍵材料集成設計基礎研究方面吸引了世界各國的關注,CAE技術在材料設計研究方面扮演著重要的角色。加強我國材料分析理論和技術的研究,鼓勵國產CAE軟體自主開發,跟我國通過提高自主創新能力...