軟件測試
測試是以查找錯誤為中心
按是否需執(zhí)行被測軟件的角度分靜態(tài)測試，動態(tài)測試
按功能劃分可分為白盒測試，黑盒測試
白盒測試在程序內(nèi)部進(jìn)行
白盒測試的主要方法有：邏輯覆蓋，基本路徑測試
邏輯覆蓋方式：語句覆蓋（是邏輯覆蓋中基本的覆蓋），路徑覆蓋，判定覆蓋，條件覆蓋，判定-條件覆蓋
黑盒測試是在軟件接口處進(jìn)行，完成功能驗證
軟件測試過程4步：單元測試，集成測試，驗證測試，系統(tǒng)測試
集成測試分非增量方式組裝和增量方式組裝
自頂向下的增量方式，自底向上的增量方式，混合增量方式
程序調(diào)試
程序調(diào)試的任務(wù)是診斷和改正程序中的錯誤
主要調(diào)試方法：強行排序法，回溯法，原因排除法
四 數(shù)據(jù)庫設(shè)計基礎(chǔ)
數(shù)據(jù)分為：臨時性數(shù)據(jù)和持久性數(shù)據(jù)，數(shù)據(jù)庫系統(tǒng)處理的就是持久性數(shù)據(jù)
數(shù)據(jù)有型與值之分
數(shù)據(jù)庫是數(shù)據(jù)的集合
數(shù)據(jù)庫管理系統(tǒng)是數(shù)據(jù)庫系統(tǒng)的核心
數(shù)據(jù)的完整性與安全性的維護(hù)是數(shù)據(jù)庫管理系統(tǒng)的基本功能
數(shù)據(jù)庫系統(tǒng)的組成部分：數(shù)據(jù)庫、數(shù)據(jù)庫管理系統(tǒng)、數(shù)據(jù)庫管理員、系統(tǒng)平臺之一硬件平臺、系統(tǒng)平臺之二軟件平臺
數(shù)據(jù)庫應(yīng)用系統(tǒng)是數(shù)據(jù)庫系統(tǒng)在加上應(yīng)用軟件及應(yīng)用界面組成
數(shù)據(jù)管理發(fā)展經(jīng)歷三階段：人工管理階段、文件系統(tǒng)階段、數(shù)據(jù)庫系統(tǒng)階段
數(shù)據(jù)獨立性一般分為物理獨立性與邏輯獨立性兩級
數(shù)據(jù)庫在其內(nèi)部具有三級模式及二級映射，三級模式分別是概念級模式、內(nèi)部級模式和外部級模式，二級映射是概念級到內(nèi)部級的映射以及外部級到概念級的映射
數(shù)據(jù)模型所描述的內(nèi)容有三部分：數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)操作、數(shù)據(jù)約束
數(shù)據(jù)模型按不同的應(yīng)用層次分為：概念數(shù)據(jù)模型、邏輯數(shù)據(jù)模型、物理數(shù)據(jù)模型，其中概念數(shù)據(jù)模型是整個數(shù)據(jù)模型的基礎(chǔ)
E-R模型--------關(guān)系：一對一，一對多，多對多
實體 聯(lián)系 屬性
E-R圖中兩個實體間必然有一個聯(lián)系
層次模型得到基本結(jié)構(gòu)是樹形結(jié)構(gòu)
網(wǎng)狀模型
關(guān)系模型采用二維表來表示
關(guān)系中的主鍵不允許出現(xiàn)空值
關(guān)系模型允許定義三類數(shù)據(jù)約束是實體完整性約束、參照完整性約束、用戶自定義的完整性約束，其中實體完整性約束和參照完整性約束是關(guān)系數(shù)據(jù)庫所必須遵守的規(guī)則
插入、刪除、修改的集合運算
投影運算，選擇運算，笛卡爾積運算、連接運算
數(shù)據(jù)庫設(shè)計是數(shù)據(jù)庫應(yīng)用的核心
數(shù)據(jù)庫設(shè)計方法：面向數(shù)據(jù)的方法和面向過程的方法
數(shù)據(jù)庫概念設(shè)計方法：集中式模式設(shè)計法和視圖集成設(shè)計法
數(shù)據(jù)庫的邏輯設(shè)計主要工作是將E-R圖轉(zhuǎn)換成RDBMS中的關(guān)系模式，轉(zhuǎn)換實體與聯(lián)系都可以表示成關(guān)系，E-R圖中的屬性也可以轉(zhuǎn)化成關(guān)系的屬性
RDBMS中留給用戶參與物理設(shè)計的內(nèi)容大致有：索引設(shè)計，集簇設(shè)計和分區(qū)設(shè)計
測試是以查找錯誤為中心
按是否需執(zhí)行被測軟件的角度分靜態(tài)測試，動態(tài)測試
按功能劃分可分為白盒測試，黑盒測試
白盒測試在程序內(nèi)部進(jìn)行
白盒測試的主要方法有：邏輯覆蓋，基本路徑測試
邏輯覆蓋方式：語句覆蓋（是邏輯覆蓋中基本的覆蓋），路徑覆蓋，判定覆蓋，條件覆蓋，判定-條件覆蓋
黑盒測試是在軟件接口處進(jìn)行，完成功能驗證
軟件測試過程4步：單元測試，集成測試，驗證測試，系統(tǒng)測試
集成測試分非增量方式組裝和增量方式組裝
自頂向下的增量方式，自底向上的增量方式，混合增量方式
程序調(diào)試
程序調(diào)試的任務(wù)是診斷和改正程序中的錯誤
主要調(diào)試方法：強行排序法，回溯法，原因排除法
四 數(shù)據(jù)庫設(shè)計基礎(chǔ)
數(shù)據(jù)分為：臨時性數(shù)據(jù)和持久性數(shù)據(jù)，數(shù)據(jù)庫系統(tǒng)處理的就是持久性數(shù)據(jù)
數(shù)據(jù)有型與值之分
數(shù)據(jù)庫是數(shù)據(jù)的集合
數(shù)據(jù)庫管理系統(tǒng)是數(shù)據(jù)庫系統(tǒng)的核心
數(shù)據(jù)的完整性與安全性的維護(hù)是數(shù)據(jù)庫管理系統(tǒng)的基本功能
數(shù)據(jù)庫系統(tǒng)的組成部分：數(shù)據(jù)庫、數(shù)據(jù)庫管理系統(tǒng)、數(shù)據(jù)庫管理員、系統(tǒng)平臺之一硬件平臺、系統(tǒng)平臺之二軟件平臺
數(shù)據(jù)庫應(yīng)用系統(tǒng)是數(shù)據(jù)庫系統(tǒng)在加上應(yīng)用軟件及應(yīng)用界面組成
數(shù)據(jù)管理發(fā)展經(jīng)歷三階段：人工管理階段、文件系統(tǒng)階段、數(shù)據(jù)庫系統(tǒng)階段
數(shù)據(jù)獨立性一般分為物理獨立性與邏輯獨立性兩級
數(shù)據(jù)庫在其內(nèi)部具有三級模式及二級映射，三級模式分別是概念級模式、內(nèi)部級模式和外部級模式，二級映射是概念級到內(nèi)部級的映射以及外部級到概念級的映射
數(shù)據(jù)模型所描述的內(nèi)容有三部分：數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)操作、數(shù)據(jù)約束
數(shù)據(jù)模型按不同的應(yīng)用層次分為：概念數(shù)據(jù)模型、邏輯數(shù)據(jù)模型、物理數(shù)據(jù)模型，其中概念數(shù)據(jù)模型是整個數(shù)據(jù)模型的基礎(chǔ)
E-R模型--------關(guān)系：一對一，一對多，多對多
實體 聯(lián)系 屬性
E-R圖中兩個實體間必然有一個聯(lián)系
層次模型得到基本結(jié)構(gòu)是樹形結(jié)構(gòu)
網(wǎng)狀模型
關(guān)系模型采用二維表來表示
關(guān)系中的主鍵不允許出現(xiàn)空值
關(guān)系模型允許定義三類數(shù)據(jù)約束是實體完整性約束、參照完整性約束、用戶自定義的完整性約束，其中實體完整性約束和參照完整性約束是關(guān)系數(shù)據(jù)庫所必須遵守的規(guī)則
插入、刪除、修改的集合運算
投影運算，選擇運算，笛卡爾積運算、連接運算
數(shù)據(jù)庫設(shè)計是數(shù)據(jù)庫應(yīng)用的核心
數(shù)據(jù)庫設(shè)計方法：面向數(shù)據(jù)的方法和面向過程的方法
數(shù)據(jù)庫概念設(shè)計方法：集中式模式設(shè)計法和視圖集成設(shè)計法
數(shù)據(jù)庫的邏輯設(shè)計主要工作是將E-R圖轉(zhuǎn)換成RDBMS中的關(guān)系模式，轉(zhuǎn)換實體與聯(lián)系都可以表示成關(guān)系，E-R圖中的屬性也可以轉(zhuǎn)化成關(guān)系的屬性
RDBMS中留給用戶參與物理設(shè)計的內(nèi)容大致有：索引設(shè)計，集簇設(shè)計和分區(qū)設(shè)計