軟體工程形式化技術簡介
形式化技術在軟體工程中有效的提高了開發的效率、改進了軟體開發的質量、減少了開發費用。形式化的技術容易在軟體的規約上取得一致性,它屬於一種非常有效的交流方式。
(一)非形式化的缺點
用自然語言書寫的系統規格說明書,可能存在矛盾、二義性、含糊性、不完整性及抽象層次混亂等問題。
矛盾是指一組相互衝突的陳述。
1二義性是指讀者可以用不同方式理解的陳述。
2含糊性
3不完整性
4抽象層次混亂是指在非常抽象的陳述中混進了一些關於細節的低層次陳述。
為了克服非形式化方法的缺點,人們把數學引入軟體開發過程,創造了基於數學的形式化方法。
(二)形式化方法的優點
1數學能夠簡潔準確地描述物理現象、物件或動作的結果,因此是理想的建模工具。
2數學以在不同的軟體工程活動之間平滑地過渡。
3數學提供了高層確認的手段。
(三)應用形式化方法的準則
1應該建立詳盡的文件。
2不應該放棄質量標準。
3不應該盲目依賴形式化方法。
4應該測試、測試再測試。
5應該重用。
相關推薦
軟體工程形式化技術簡介
形式化技術在軟體工程中有效的提高了開發的效率、改進了軟體開發的質量、減少了開發費用。形式化的技術容易在軟體的規約上取得一致性,它屬於一種非常有效的交流方式。 (一)非形式化的缺點 用自然語言書寫的系
常用的軟體工程相關技術標準
資訊科技 軟體工程術語GB/T 11457-2006 軟體文件管理指南 GB/T-16680-1996 計算機軟體產品開發檔案編制指南GB/T 8567-1988 軟體維護指南GB/T 14079-1993 計算機軟體需求說明編制指南GB/T 9385-1998 計算機軟體質量保證計
對我的學科方向軟體工程開發技術方向的認識
軟體工程技術專業,因其在國民經濟和社會進步中的重要作用,使之一直保持為長盛不衰的熱 門專業,在越來越強調規模化經營的今天,眾多軟體企業小作坊式的軟體開發模式使得國內軟體過程管理成為公認的軟肋,技術水平和管理水平之間的差異日益明 顯,人才結構中技術和管理方面複合型人才的緊缺,已經成為制約我國電子資訊產業發展的
軟體工程小組簡介
團隊名稱:鐵大好青年 成員簡介: 姓名:何自強 性別:男 年齡:20 個性:比較穩重,做事踏實,認真負責 特長:善於搜尋資訊,查詢資料,並且善於編輯改造,勇於創新。 姓名: 陳雪彤 性別:男 個
FGF軟體工程小組簡介
1.團隊名稱:FGF 2.團隊成員簡介: 高天嬌:土1603-2 20160738,心思細密,善於學習,積極完成作業。 範馨方:土1603-3 20160773,細緻,有耐心,有團隊意識。 馮穎:土1603-3 20160771,思路開闊,善於思考,查漏補缺。
淺析軟體工程中的UML建模技術
一.基本資訊 標題:淺析軟體工程中的UML建模技術 時間:2018 出版源:電子世界 領域分類:軟體工程;UML建模技術;需求分析 二.研究背景 問題定義:軟體工程中UML建模技術的研究 難點:明確軟體系統的架構與體系,多種圖例的分析,各個圖例的功能性。掌握軟體工程中UML的建模技術應用流程。
轉載:土豆洋芋山藥蛋的部落格: SBSE—基於搜尋的軟體工程簡介
SBSE—基於搜尋的軟體工程簡介 2018年07月21日 22:46:04 土豆洋芋山藥蛋 閱讀數:125 版權宣告:歡迎轉載,轉載請註明出處:土豆洋芋山藥蛋 https://blog.csdn.net/qq_33414271/article/details/
軟體工程之路(二)——個人技術和流程
個人技術和流程 1. 單元測試 1.1 寫一個單元測試 1.2 用以驗證的Assert類/斷言 1.3 如何寫好單元測試 1.4 迴歸測試 2. 效能分析工具 1. 單元測試 一般情況下一個軟體
軟體評測師教程簡介(第二篇-測試技術)
軟體評測師是“全國計算機技術與軟體專業技術資格”中級認證,於2018年11月10號考試。 軟體評測師教程有近700頁。主要分為三大部分:第一篇,理論篇;第二篇,測試技術;第三篇,測試案例。 第一篇:理論篇 第一章:軟體測試概論 第二章:軟體測試基礎 第三章:軟體質量
【軟體工程】面向物件技術
前言 面向物件技術強調在軟體開發過程中面向客觀世界或問題域中的事物,採用人類在認識客觀世界的過程中普遍運用的思維方法,直觀、自然地描述客觀世界中的有關事物。面向物件技術的基本特徵主要有抽象性、封裝性、繼
軟體工程簡介(上)--個人看法
軟體工程到底是什麼?軟體工程師是做什麼的? 軟體工程本質上是工程,工程在定義上來說是“應用科學方法在成本效益比有效的方式下建造一個機器,以針對性的解決現實世界問題”。 軟體工程的特徵 如果從事前開始分析,有兩個特徵:1)不容易發現,2)不容易處理。
SBSE—基於搜尋的軟體工程簡介
土豆洋芋山藥蛋原創,轉載請註明出處,尤其是註明“土豆洋芋山藥蛋”哦 下面我將從4個方面介紹SBSE(Search-Based Software Engineering)——即基於搜尋的軟體工程: 1.引入背景 2.技術和應用分析 3.SBSE優勢 4.總結 話不多說
軟體工程(四)面向物件技術
面向物件的看完了,其實物件很早就有了解過、這次只是加深了一些、下面就給大家精簡的敘述下、什麼是面向物件…… 什麼是面向物件? 面向物件=物件+類+繼承
《軟體工程》-面向物件技術
【內容】 1.面向物件概念 (1)什麼是面向物件 面向物件=物件+類+繼承+通訊 面向物件是一種對現實世界理解和抽象的方法,是計算機程式設計技術發展到一定階段後的產物;如果一個軟體系統是使用這樣4個概念設計和實現的,則我們認為這個軟體系統是面向物件的。 (2)物件 物件是面向物件開發模式的基
考研日記-計算機技術和軟體工程的比較
方向多,熱門如machine learning,artificial intelligence,big data等都有,軟體工程有的基本都有 多是8000學費,且有獎學金助學金覆蓋 通常是2.5-3年,對於想多學點東西的人,多在學校呆一些時間的人來說合適 在主校區,主校區的環境相對更好 相對軟體工程有更多的
[技術討論]“軟體工程”中的“工程”如何理解
下面是在水木軟工上的對話。有興趣的可以看看,全文涉及工程與科學之間的差異,軟體工程的工程本身的分析,專案經理的行為和強弱勢專案經理的一些問題。 btw:裡面有著名的錢五哥的回覆,呵呵。 發信人: timshaw (去SofeEng(軟體工程)小侃吧), 信區: SoftEn
P2P技術簡介
image clas 中間 我們 bit ping ebr restrict 存在 P2P技術簡介 NAT( Network Address Translation)穿越(俗稱打洞)技術 前言: p2p已經存在於我們生活的方方面面;我們通過下載在工具(比如迅
raid技術簡介
raid raid級別 磁盤陣列Raid是什麽? 獨立磁盤冗余陣列(RAID,Redundant Array of Independent Disks),在早期也稱為廉價磁盤冗余陣列,簡稱為磁盤陣列。Raid就是將兩個以上的物理磁盤在邏輯上捆綁在一起,數據以條帶式的形式順序保
AJAX技術簡介
內容 rip googl 使用 建議 項目 首頁 搜索框 知識 AJAX 是一種在無需重新加載整個網頁的情況下,能夠更新部分網頁的技術。 您應當具備的基礎知識 在繼續學習之前,您需要對下面的知識有基本的了解: HTML / XHTML CSS JavaScript / DO
MaxCompute 中的Code Generation技術簡介
maxcomputer摘要: 前言 在《數據庫系統中的Code Generation技術介紹》中,我們簡單介紹了一下Code Generation技術及其在大規模OLAP系統,特別是大規模分布式OLAP系統中的重要性。MaxCompute采用了Code Generation技術來提高計算效率。在M