【正文】 。本章應(yīng)考點(diǎn)撥：本章在考試中一般出現(xiàn)24個小題。3）邏輯設(shè)計(jì)階段：將ER圖轉(zhuǎn)換成指定RDBMS中的關(guān)系模式。2）概念設(shè)計(jì)階段：分析數(shù)據(jù)間內(nèi)在語義關(guān)聯(lián)，在此基礎(chǔ)上建立一個數(shù)據(jù)的抽象模型，即形成ER圖。 數(shù)據(jù)庫設(shè)計(jì)方法和步驟（1）數(shù)據(jù)庫設(shè)計(jì)階段包括：需求分析、概念分析、邏輯設(shè)計(jì)、物理設(shè)計(jì)。2）投影：投影是從所有字段中選取一部分字段及其值進(jìn)行操作，它是一種縱向操作。*：VFP、Access都是關(guān)系型數(shù)據(jù)庫管理系統(tǒng)。（5）在關(guān)系型數(shù)據(jù)庫管理系統(tǒng)關(guān)系型數(shù)據(jù)庫管理系統(tǒng)（RDBMS）是引入基于關(guān)系型模型的一個數(shù)據(jù)庫管理系統(tǒng)(DBMS)。*：根據(jù)笛卡爾積的定義：有n元關(guān)系R及m元關(guān)系S，它們分別有p、q個元組，則關(guān)系R與S經(jīng)笛卡爾積記為RS，該關(guān)系是一個n+m元關(guān)系，元組個數(shù)是pq，由R與S的有序組組合而成。（4）廣義笛卡爾積（）：設(shè)關(guān)系R和S的屬性個數(shù)分別為n、m，則R和S的廣義笛卡爾積是一個有（n+m）列的元組的集合。（2）差（－）：關(guān)系R和S具有相同的關(guān)系模式，R和S的差是由屬于R但不屬于S的元組構(gòu)成的集合。關(guān)系操縱關(guān)系模型的數(shù)據(jù)操縱即是建立在關(guān)系上的數(shù)據(jù)操縱，一般有查詢、增加、刪除和修改四種操作。n元關(guān)系是一個n元有序組的集合。實(shí)體集也可以轉(zhuǎn)換成關(guān)系。從ER圖導(dǎo)出關(guān)系數(shù)據(jù)模型數(shù)據(jù)庫的邏輯設(shè)計(jì)的主要工作是將ER圖轉(zhuǎn)換成指定RDBMS（關(guān)系數(shù)據(jù)庫管理系統(tǒng)）中的關(guān)系模式。3）用戶定義的完整性約束：反映某一具體應(yīng)用所涉及的數(shù)據(jù)必須滿足的語義要求。（4）關(guān)系中的數(shù)據(jù)約束：1）實(shí)體完整性約束：要求關(guān)系的主鍵中屬性值不能為空值，因?yàn)橹麈I是唯一決定元組的，如為空值則其唯一性就成為不可能的了。外部關(guān)鍵字取空值或?yàn)橥獠勘碇袑?yīng)的關(guān)鍵字值。主碼屬性不能取空值。表中的一個屬性或幾個屬性的組合、其值能唯一地標(biāo)識表中一個元組，稱為關(guān)系的主碼或關(guān)鍵字。學(xué)號姓名性別出生年月班級籍貫2007102張潔然男07078807動畫1班天津2007203李一明男05018707播音5班廣西南寧2007305王 麗女04098807通信4班遼寧沈陽*：同一個關(guān)系模型的任兩個元組值不能完全相同。每個屬性有一個取值范圍稱為值域。對關(guān)系的描述稱為關(guān)系模式，一個關(guān)系模式對應(yīng)一個關(guān)系的結(jié)構(gòu)。3）關(guān)系模型采用二維表來表示，簡稱表，由表框架及表的元組組成。1）層次模型的基本結(jié)構(gòu)是樹形結(jié)構(gòu)，具有以下特點(diǎn)：A、每棵樹有且僅有一個無雙親結(jié)點(diǎn)，稱為根；B、樹中除根外所有結(jié)點(diǎn)有且僅有一個雙親。下圖是一個ER模型的圖示例：（3）數(shù)據(jù)庫管理系統(tǒng)常見的數(shù)據(jù)模型有層次模型層次模型是最早發(fā)展起來的數(shù)據(jù)庫模型。4）實(shí)體集與屬性間的聯(lián)接關(guān)系：用無向線段表示。2）屬性：用橢圓形表示。*：ER模型的基本成分是實(shí)體和聯(lián)系。實(shí)體集的關(guān)系有一對一、一對多、多對多的聯(lián)系。2）屬性：事物的特性。3）物理數(shù)據(jù)模型：又稱物理模型，它是一種面向計(jì)算機(jī)物理表示的模型，此模型給出了數(shù)據(jù)模型在計(jì)算機(jī)上物理結(jié)構(gòu)的表示。2）邏輯數(shù)據(jù)模型：又稱數(shù)據(jù)模型，是一種面向數(shù)據(jù)庫系統(tǒng)的模型，該模型著重于在數(shù)據(jù)庫系統(tǒng)一級的實(shí)現(xiàn)。（3）數(shù)據(jù)模型分為概念模型、邏輯數(shù)據(jù)模型和物理模型三類：1）概念數(shù)據(jù)模型：簡稱概念模型，是對客觀世界復(fù)雜事物的結(jié)構(gòu)描述及它們之間的內(nèi)在聯(lián)系的刻畫。3）數(shù)據(jù)的約束條件：數(shù)據(jù)的約束條件是一組完整性規(guī)則的集合。2）數(shù)據(jù)操作：數(shù)據(jù)操作是對數(shù)據(jù)庫中各種對象（型）的實(shí)例（值）允許執(zhí)行的操作的集合，包括操作的含義、符號、操作規(guī)則及實(shí)現(xiàn)操作的語句等。1）數(shù)據(jù)結(jié)構(gòu)：數(shù)據(jù)結(jié)構(gòu)是所研究的對象類型的集合，包括與數(shù)據(jù)類型、內(nèi)容、性質(zhì)有關(guān)的對象，以及與數(shù)據(jù)之間聯(lián)系有關(guān)的對象。 數(shù)據(jù)模型數(shù)據(jù)模型（1）數(shù)據(jù)模型的概念：是數(shù)據(jù)特征的抽象，它從抽象層次上描述了系統(tǒng)的靜態(tài)特征、動態(tài)行為和約束條件，為數(shù)據(jù)庫系統(tǒng)的信息表示與操作提供一個抽象的框架。2）外模式/概念模式的映射：實(shí)現(xiàn)了外模式到概念模式之間的相互轉(zhuǎn)換。（2）數(shù)據(jù)庫系統(tǒng)的兩級映射：1）概念模式/內(nèi)模式的映射：實(shí)現(xiàn)了概念模式到內(nèi)模式之間的相互轉(zhuǎn)換。內(nèi)模式的物理性主要體現(xiàn)在操作系統(tǒng)及文件級上，它還未深入到設(shè)備級上（如磁盤及磁盤操作）。2）外模式：也稱子模式或用戶模式，它是用戶的數(shù)據(jù)視圖，也就是用戶所見到的數(shù)據(jù)模式，它由概念模式推導(dǎo)而出。數(shù)據(jù)庫中只存放視圖的定義，而不存放視圖對應(yīng)的數(shù)據(jù)，這些數(shù)據(jù)仍然存放在原來的基本表中。3）并發(fā)控制：控制多個應(yīng)用的并發(fā)訪問所產(chǎn)生的相互干擾以保證其正確性。數(shù)據(jù)統(tǒng)一管理與控制主要包含以下三個方面：1）數(shù)據(jù)的完整性檢查：檢查數(shù)據(jù)庫中數(shù)據(jù)的正確性以保證數(shù)據(jù)的正確。2）邏輯獨(dú)立性：數(shù)據(jù)庫總體邏輯結(jié)構(gòu)的改變，如修改數(shù)據(jù)模式、增加新的數(shù)據(jù)類型、改變數(shù)據(jù)間聯(lián)系等，不需要相應(yīng)修改應(yīng)用程序，這就是數(shù)據(jù)的邏輯獨(dú)立性。數(shù)據(jù)獨(dú)立性一般分為物理獨(dú)立性與邏輯獨(dú)立性兩級。數(shù)據(jù)獨(dú)立性是數(shù)據(jù)與程序間的互不依賴性，即數(shù)據(jù)庫中數(shù)據(jù)獨(dú)立于應(yīng)用程序而不依賴于應(yīng)用程序。，但無法避免一切冗余。（2）數(shù)據(jù)的高共享性與低冗余性。數(shù)據(jù)庫系統(tǒng)的發(fā)展數(shù)據(jù)庫管理發(fā)展至今已經(jīng)歷了三個階段：人工管理階段、文件系統(tǒng)階段和數(shù)據(jù)庫系統(tǒng)階段。（6）數(shù)據(jù)庫應(yīng)用系統(tǒng)：由數(shù)據(jù)庫系統(tǒng)、應(yīng)用軟件及應(yīng)用界面三者組成。（4）數(shù)據(jù)庫管理員（DBA）：對數(shù)據(jù)庫進(jìn)行規(guī)劃、設(shè)計(jì)、維護(hù)、監(jiān)視等的專業(yè)管理人員。6）數(shù)據(jù)的服務(wù)。因此，數(shù)據(jù)庫管理系統(tǒng)必須對多個應(yīng)用程序的并發(fā)操作做必要的控制以保證數(shù)據(jù)不受破壞，這就是數(shù)據(jù)庫的并發(fā)控制。數(shù)據(jù)庫是一個集成、共享的數(shù)據(jù)集合體，它能為多個應(yīng)用程序服務(wù)，所以就存在著多個應(yīng)用程序?qū)?shù)據(jù)庫的并發(fā)操作。數(shù)據(jù)完整性與安全性的維護(hù)是數(shù)據(jù)庫系統(tǒng)的基本功能。數(shù)據(jù)庫中的數(shù)據(jù)具有內(nèi)在語義上的關(guān)聯(lián)性與一致性，它們構(gòu)成了數(shù)據(jù)的完整性，數(shù)據(jù)的完整性是保證數(shù)據(jù)庫中數(shù)據(jù)正確的必要條件，因此必須經(jīng)常檢查以維護(hù)數(shù)據(jù)正確。此外，它自身還具有做簡單的算術(shù)運(yùn)算及統(tǒng)計(jì)的能力，而且還可以與某些過程性語言結(jié)合，使其具有強(qiáng)大的過程性操作能力。3）數(shù)據(jù)操縱。2）數(shù)據(jù)存取的物理構(gòu)建。數(shù)據(jù)庫管理系統(tǒng)功能：1）數(shù)據(jù)模式定義。數(shù)據(jù)庫存放數(shù)據(jù)是按數(shù)據(jù)所提供的數(shù)據(jù)模式存放的，具有集成與共享的特點(diǎn)，亦即是數(shù)據(jù)庫集中了各種應(yīng)用的數(shù)據(jù)，進(jìn)行統(tǒng)一的構(gòu)造和存儲，而使它們可被不同應(yīng)用程序所使用。而數(shù)據(jù)的值給出了符合給定型的值，如整型（INT）值15。數(shù)據(jù)的特點(diǎn)：有一定的結(jié)構(gòu)，有型與值之分。從出題的深度來看，本章主要考察對基本概念的識記，有少量對基本原理的理解，沒有實(shí)際運(yùn)用，因此考生在復(fù)習(xí)本章時，重點(diǎn)應(yīng)放在基本概念的記憶和基本原理的理解上。如果輸出結(jié)果正確，則錯誤原因在程序的前半部分；反之，錯誤原因在程序的后半部分。3）二分法。從錯誤征兆著手，通過分析它們之間的關(guān)系來找出錯誤。根據(jù)已有的測試用例，設(shè)想及枚舉出所有可能出錯的原因作為假設(shè)；然后再用原始測試數(shù)據(jù)或新的測試，從中逐個排除不可能正確的假設(shè)；最后，再用測試數(shù)據(jù)驗(yàn)證余下的假設(shè)確定出錯的原因。是通過演繹、歸納和二分法來實(shí)現(xiàn)的。一般用于小程序。（2）回溯法。對軟件主要的調(diào)試方法可以采用：（1）強(qiáng)行排錯法。軟件調(diào)試可分為靜態(tài)調(diào)試和動態(tài)調(diào)試。*：軟件的調(diào)試后要進(jìn)行回歸測試，防止引進(jìn)新的錯誤。的任務(wù)是診斷和改正程序中的錯誤，主要在開發(fā)階段進(jìn)行，調(diào)試程序應(yīng)該由編制源程序的程序員來完成。系統(tǒng)測試的具體實(shí)施一般包括：功能測試、性能測試、操作測試、配置測試、外部接口測試、安全性測試等。（4）系統(tǒng)測試系統(tǒng)測試的目的在于通過與系統(tǒng)的需求定義進(jìn)行比較，發(fā)現(xiàn)軟件與系統(tǒng)定義不符合或與之矛盾的地方。確認(rèn)測試的主要依據(jù)是軟件需求規(guī)格說明書。增量方式組裝又包括自頂向下、自底向上、自頂向下與自底向上相結(jié)合等三種方式。首先對一個個模塊進(jìn)行模塊測試，然后將這些模塊逐步組裝成較大的系統(tǒng)，在組裝的過程中邊連接邊測試，以發(fā)現(xiàn)連接過程中產(chǎn)生的問題。首先對每個模塊分別進(jìn)行模塊測試，然后再把所有模塊組裝在一起進(jìn)行測試，最終得到要求的軟件系統(tǒng)。集成測試通常采用兩種方式：非增量方式組裝與增量方式組裝。集成測試的依據(jù)是概要設(shè)計(jì)說明書。其中，驅(qū)動模塊相當(dāng)于被測模塊的主程序，它接收測試數(shù)據(jù)，并傳給被測模塊，輸出實(shí)際測試結(jié)果；而樁模塊是模擬其他被調(diào)用模塊，不必將子模塊的所有功能帶入。單元測試的內(nèi)容包括：模塊接口測試、局部數(shù)據(jù)結(jié)構(gòu)測試、錯誤處理測試和邊界測試。單元測試的技術(shù)可以采用靜態(tài)分析和動態(tài)測試。（1）單元測試單元測試是對軟件設(shè)計(jì)的最小單位——模塊（程序單元）進(jìn)行正確性檢測的測試，目的是發(fā)現(xiàn)各模塊內(nèi)部可能存在的各種錯誤。人們可以靠經(jīng)驗(yàn)和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的用例。它是對各種輸入、輸出范圍的邊界情況設(shè)計(jì)測試用例的方法。這是一種典型的黑盒測試方法，它是將程序的所有可能的輸入數(shù)據(jù)劃分成若干部分（及若干等價類），然后從每個等價類中選取數(shù)據(jù)作為測試用例。黑盒測試不關(guān)心程序內(nèi)部的邏輯，只是根據(jù)程序的功能說明來設(shè)計(jì)測試用例，主要方法有等價類劃分法、邊界值分析法、錯誤推測法等，主要用軟件的確認(rèn)測試。黑盒測試是對軟件已經(jīng)實(shí)現(xiàn)的功能是否滿足需求進(jìn)行測試和驗(yàn)證。其思想和步驟是，根據(jù)軟件過程性描述中的控制流程確定程序的環(huán)路復(fù)雜性度量，用此度量定義基本路徑集合，并由此導(dǎo)出一組測試用例，對每一條獨(dú)立執(zhí)行路徑進(jìn)行測試。*：邏輯覆蓋的強(qiáng)度依次是：語句覆蓋路徑覆蓋判定覆蓋條件覆蓋判斷條件覆蓋。條件覆蓋：設(shè)計(jì)的測試用例保證程序中每個判斷的每個條件的可能取值至少執(zhí)行一次。路徑覆蓋：執(zhí)行足夠的測試用例，使程序中所有的可能的路徑都至少經(jīng)歷一次。通常程序中的邏輯表示有判斷、分支、條件等幾種表示方法。A、邏輯覆蓋。白盒測試的基本原則：保證所測模塊中每一獨(dú)立路徑至少執(zhí)行一次；保證所測模塊所有判斷的每一分支至少執(zhí)行一次；保證所測模塊每一循環(huán)都在邊界條件和一般條件下至少各執(zhí)行一次；驗(yàn)證所有內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性。（1）白盒測試白盒測試方法也稱為結(jié)構(gòu)測試或邏輯驅(qū)動測試。不實(shí)際運(yùn)行軟件，主要通過人工進(jìn)行。軟件測試方法：靜態(tài)測試和動態(tài)測試。軟件測試的關(guān)鍵是設(shè)計(jì)測試用例測試用例是指對一項(xiàng)特定的軟件產(chǎn)品進(jìn)行測試任務(wù)的描述，體現(xiàn)測試方案、方法、技術(shù)和策略。 軟件測試軟件測試定義：使用人工或自動手段來運(yùn)行或測定某個系統(tǒng)的過程，其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或是弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。表格工具：判定表。*：詳細(xì)設(shè)計(jì)的任務(wù)是確定實(shí)現(xiàn)算法和局部數(shù)據(jù)結(jié)構(gòu)，不同于編碼或編程。，然后給出結(jié)果。變換型系統(tǒng)結(jié)構(gòu)圖由輸入、中心變換、輸出三部分組成。數(shù)據(jù)流的類型：大體可以分為兩種類型，變換型和事務(wù)型。原子模塊：樹中位于葉子結(jié)點(diǎn)的模塊。扇入：調(diào)用一個給定模塊的模塊個數(shù)。上級模塊、從屬模塊：上、下兩層模塊a和b，且有a調(diào)用b，則a是上級模塊，b是從屬模塊。協(xié)調(diào)模塊：對所有下屬模塊進(jìn)行協(xié)調(diào)和管理的模塊。傳出模塊：從上級模塊取得數(shù)據(jù)，經(jīng)處理再將其傳送給下屬模塊。經(jīng)常使用的結(jié)構(gòu)圖有四種模塊類型：傳入模塊、傳出模塊、變換模塊和協(xié)調(diào)模塊。在結(jié)構(gòu)圖中還可以用帶注釋的箭頭表示模塊調(diào)用過程中來回傳遞的信息。常用的軟件結(jié)構(gòu)設(shè)計(jì)工具是結(jié)構(gòu)圖，也稱程序結(jié)構(gòu)圖。一個設(shè)計(jì)良好的軟件系統(tǒng)應(yīng)具有高內(nèi)聚、低耦合的特征。耦合性：是模塊間互相連接的緊密程度的度量。內(nèi)聚性：是一個模塊內(nèi)部