【正文】 他形式，再傳送給上級(jí)模塊。協(xié)調(diào)模塊：對(duì)所有下屬模塊進(jìn)行協(xié)調(diào)和管理的模塊。程序結(jié)構(gòu)圖的有關(guān)術(shù)語(yǔ)列舉如下：深度：表示控制的層數(shù)。上級(jí)模塊、從屬模塊：上、下兩層模塊a和b，且有a調(diào)用b，則a是上級(jí)模塊，b是從屬模塊。寬度：整體控制跨度（最大模塊數(shù)的層）的表示。扇入：調(diào)用一個(gè)給定模塊的模塊個(gè)數(shù)。扇出：一個(gè)模塊直接調(diào)用的其他模塊數(shù)。原子模塊：樹(shù)中位于葉子結(jié)點(diǎn)的模塊。下圖是一個(gè)程序結(jié)構(gòu)圖的示例：面向數(shù)據(jù)流的設(shè)計(jì)方法定義了一些不同的映射方法，利用這些方法可以把數(shù)據(jù)流圖變換成結(jié)構(gòu)圖表示軟件的結(jié)構(gòu)。數(shù)據(jù)流的類型：大體可以分為兩種類型，變換型和事務(wù)型。A、變換型：變換型數(shù)據(jù)處理問(wèn)題的工作過(guò)程大致分為三步，即取得數(shù)據(jù)、變換數(shù)據(jù)和輸出數(shù)據(jù)。變換型系統(tǒng)結(jié)構(gòu)圖由輸入、中心變換、輸出三部分組成。B、事務(wù)型：事務(wù)型數(shù)據(jù)處理問(wèn)題的工作機(jī)理是接受一項(xiàng)事務(wù)，根據(jù)事務(wù)處理的特點(diǎn)和性質(zhì)，選擇分派一個(gè)適當(dāng)?shù)奶幚韱卧獑卧浅绦蛑凶钚〉牟糠郑煽梢噪[含的三部分組成：數(shù)據(jù)輸入、加工和數(shù)據(jù)輸出。，然后給出結(jié)果。（2）詳細(xì)設(shè)計(jì)詳細(xì)設(shè)計(jì)是為軟件結(jié)構(gòu)圖中的每一個(gè)模塊確定實(shí)現(xiàn)算法和局部數(shù)據(jù)結(jié)構(gòu)，用某種選定的表達(dá)工具表示算法和數(shù)據(jù)結(jié)構(gòu)的細(xì)節(jié)。*：詳細(xì)設(shè)計(jì)的任務(wù)是確定實(shí)現(xiàn)算法和局部數(shù)據(jù)結(jié)構(gòu)，不同于編碼或編程。常用的過(guò)程設(shè)計(jì)（即詳細(xì)設(shè)計(jì)）工具有以下幾種：圖形工具：程序流程圖、NS（方盒圖）、PAD（問(wèn)題分析圖）和HIPO（層次圖+輸入/處理/輸出圖）。表格工具：判定表。語(yǔ)言工具：PDL（偽碼）PDL（偽碼）：過(guò)程設(shè)計(jì)語(yǔ)言，它是用正文形式表示數(shù)據(jù)和處理過(guò)程的設(shè)計(jì)工具。 軟件測(cè)試軟件測(cè)試定義：使用人工或自動(dòng)手段來(lái)運(yùn)行或測(cè)定某個(gè)系統(tǒng)的過(guò)程，其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或是弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。*：軟件測(cè)試的目的：盡可能地多發(fā)現(xiàn)程序中的錯(cuò)誤，不能也不可能證明程序沒(méi)有錯(cuò)誤。軟件測(cè)試的關(guān)鍵是設(shè)計(jì)測(cè)試用例測(cè)試用例是指對(duì)一項(xiàng)特定的軟件產(chǎn)品進(jìn)行測(cè)試任務(wù)的描述，體現(xiàn)測(cè)試方案、方法、技術(shù)和策略。，一個(gè)好的測(cè)試用例能找到迄今為止尚未發(fā)現(xiàn)的錯(cuò)誤。軟件測(cè)試方法：靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試。靜態(tài)測(cè)試：包括代碼檢查、靜態(tài)結(jié)構(gòu)分析、代碼質(zhì)量度量。不實(shí)際運(yùn)行軟件，主要通過(guò)人工進(jìn)行。動(dòng)態(tài)測(cè)試：是基于計(jì)算機(jī)的測(cè)試，主要包括白盒測(cè)試方法和黑盒測(cè)試方法。（1）白盒測(cè)試白盒測(cè)試方法也稱為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。它是根據(jù)軟件產(chǎn)品的內(nèi)部工作過(guò)程，檢查內(nèi)部成分，以確認(rèn)每種內(nèi)部操作符合設(shè)計(jì)規(guī)格要求。白盒測(cè)試的基本原則：保證所測(cè)模塊中每一獨(dú)立路徑至少執(zhí)行一次；保證所測(cè)模塊所有判斷的每一分支至少執(zhí)行一次；保證所測(cè)模塊每一循環(huán)都在邊界條件和一般條件下至少各執(zhí)行一次；驗(yàn)證所有內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性。*：白盒測(cè)試法的測(cè)試用例是根據(jù)程序的內(nèi)部邏輯來(lái)設(shè)計(jì)的，主要用軟件的單元測(cè)試，主要方法有邏輯覆蓋、基本路徑測(cè)試等。A、邏輯覆蓋。邏輯覆蓋泛指一系列以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)的測(cè)試用例設(shè)計(jì)技術(shù)。通常程序中的邏輯表示有判斷、分支、條件等幾種表示方法。語(yǔ)句覆蓋：選擇足夠的測(cè)試用例，使得程序中每一個(gè)語(yǔ)句至少都能被執(zhí)行一次。路徑覆蓋：執(zhí)行足夠的測(cè)試用例，使程序中所有的可能的路徑都至少經(jīng)歷一次。判定覆蓋：使設(shè)計(jì)的測(cè)試用例保證程序中每個(gè)判斷的每個(gè)取值分支（T或F）至少經(jīng)歷一次。條件覆蓋：設(shè)計(jì)的測(cè)試用例保證程序中每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次。判斷條件覆蓋：設(shè)計(jì)足夠的測(cè)試用例，使判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次，同時(shí)每個(gè)判斷的所有可能取值分支至少執(zhí)行一次。*：邏輯覆蓋的強(qiáng)度依次是：語(yǔ)句覆蓋路徑覆蓋判定覆蓋條件覆蓋判斷條件覆蓋。B、基本路徑測(cè)試。其思想和步驟是，根據(jù)軟件過(guò)程性描述中的控制流程確定程序的環(huán)路復(fù)雜性度量，用此度量定義基本路徑集合，并由此導(dǎo)出一組測(cè)試用例，對(duì)每一條獨(dú)立執(zhí)行路徑進(jìn)行測(cè)試。（2）黑盒測(cè)試黑盒測(cè)試方法也稱為功能測(cè)試或數(shù)據(jù)驅(qū)動(dòng)測(cè)試。黑盒測(cè)試是對(duì)軟件已經(jīng)實(shí)現(xiàn)的功能是否滿足需求進(jìn)行測(cè)試和驗(yàn)證。黑盒測(cè)試主要診斷功能不對(duì)或遺漏、接口錯(cuò)誤、數(shù)據(jù)結(jié)構(gòu)或外部數(shù)據(jù)庫(kù)訪問(wèn)錯(cuò)誤、性能錯(cuò)誤、初始化和終止條件錯(cuò)誤。黑盒測(cè)試不關(guān)心程序內(nèi)部的邏輯，只是根據(jù)程序的功能說(shuō)明來(lái)設(shè)計(jì)測(cè)試用例，主要方法有等價(jià)類劃分法、邊界值分析法、錯(cuò)誤推測(cè)法等，主要用軟件的確認(rèn)測(cè)試。A、等價(jià)類劃分法。這是一種典型的黑盒測(cè)試方法，它是將程序的所有可能的輸入數(shù)據(jù)劃分成若干部分（及若干等價(jià)類），然后從每個(gè)等價(jià)類中選取數(shù)據(jù)作為測(cè)試用例。B、邊界值分析法。它是對(duì)各種輸入、輸出范圍的邊界情況設(shè)計(jì)測(cè)試用例的方法。C、錯(cuò)誤推測(cè)法。人們可以靠經(jīng)驗(yàn)和直覺(jué)推測(cè)程序中可能存在的各種錯(cuò)誤，從而有針對(duì)性地編寫(xiě)檢查這些錯(cuò)誤的用例。 軟件測(cè)試過(guò)程一般按4個(gè)步驟進(jìn)行：?jiǎn)卧獪y(cè)試、集成測(cè)試、確認(rèn)測(cè)試和系統(tǒng)測(cè)試。（1）單元測(cè)試單元測(cè)試是對(duì)軟件設(shè)計(jì)的最小單位——模塊（程序單元）進(jìn)行正確性檢測(cè)的測(cè)試，目的是發(fā)現(xiàn)各模塊內(nèi)部可能存在的各種錯(cuò)誤。單元測(cè)試根據(jù)程序的內(nèi)部結(jié)構(gòu)來(lái)設(shè)計(jì)測(cè)試用例，其依據(jù)是詳細(xì)設(shè)計(jì)說(shuō)明書(shū)和源程序。單元測(cè)試的技術(shù)可以采用靜態(tài)分析和動(dòng)態(tài)測(cè)試。對(duì)動(dòng)態(tài)測(cè)試通常以白盒測(cè)試為主，輔之以黑盒測(cè)試。單元測(cè)試的內(nèi)容包括：模塊接口測(cè)試、局部數(shù)據(jù)結(jié)構(gòu)測(cè)試、錯(cuò)誤處理測(cè)試和邊界測(cè)試。*：在進(jìn)行單元測(cè)試時(shí)，要用一些輔助模塊去模擬與被測(cè)模塊相聯(lián)系的其他模塊，即為被測(cè)模塊設(shè)計(jì)和搭建驅(qū)動(dòng)模塊和樁模塊。其中，驅(qū)動(dòng)模塊相當(dāng)于被測(cè)模塊的主程序，它接收測(cè)試數(shù)據(jù)，并傳給被測(cè)模塊，輸出實(shí)際測(cè)試結(jié)果；而樁模塊是模擬其他被調(diào)用模塊，不必將子模塊的所有功能帶入。（2）集成測(cè)試集成測(cè)試是測(cè)試和組裝軟件的過(guò)程，它是把模塊在按照設(shè)計(jì)要求組裝起來(lái)的同時(shí)進(jìn)行測(cè)試，主要目的是發(fā)現(xiàn)與接口有關(guān)的錯(cuò)誤。集成測(cè)試的依據(jù)是概要設(shè)計(jì)說(shuō)明書(shū)。集成測(cè)試所涉及的內(nèi)容包括：軟件單元的接口測(cè)試、全局?jǐn)?shù)據(jù)結(jié)構(gòu)測(cè)試、邊界條件和非法輸入的測(cè)試等。集成測(cè)試通常采用兩種方式：非增量方式組裝與增量方式組裝。非增量方式組裝：也稱為一次性組裝方式。首先對(duì)每個(gè)模塊分別進(jìn)行模塊測(cè)試，然后再把所有模塊組裝在一起進(jìn)行測(cè)試，最終得到要求的軟件系統(tǒng)。增量方式組裝：又稱漸增式集成方式。首先對(duì)一個(gè)個(gè)模塊進(jìn)行模塊測(cè)試，然后將這些模塊逐步組裝成較大的系統(tǒng)，在組裝的過(guò)程中邊連接邊測(cè)試，以發(fā)現(xiàn)連接過(guò)程中產(chǎn)生的問(wèn)題。最后通過(guò)增殖逐步組裝成要求的軟件系統(tǒng)。增量方式組裝又包括自頂向下、自底向上、自頂向下與自底向上相結(jié)合等三種方式。（3）確認(rèn)測(cè)試確認(rèn)測(cè)試的任務(wù)是驗(yàn)證軟件的有效性，即驗(yàn)證軟件的功能和性能及其他特性是否與用戶的要求一致。確認(rèn)測(cè)試的主要依據(jù)是軟件需求規(guī)格說(shuō)明書(shū)。確認(rèn)測(cè)試主要運(yùn)用黑盒測(cè)試法。（4）系統(tǒng)測(cè)試系統(tǒng)測(cè)試的目的在于通過(guò)與系統(tǒng)的需求定義進(jìn)行比較，發(fā)現(xiàn)軟件與系統(tǒng)定義不符合或與之矛盾的地方。系統(tǒng)測(cè)試的測(cè)試用例應(yīng)根據(jù)需求分析規(guī)格說(shuō)明來(lái)設(shè)計(jì)，并在實(shí)際使用環(huán)境下來(lái)運(yùn)行。系統(tǒng)測(cè)試的具體實(shí)施一般包括：功能測(cè)試、性能測(cè)試、操作測(cè)試、配置測(cè)試、外部接口測(cè)試、安全性測(cè)試等。 程序的調(diào)試程序調(diào)試注意與軟件測(cè)試區(qū)分。的任務(wù)是診斷和改正程序中的錯(cuò)誤，主要在開(kāi)發(fā)階段進(jìn)行，調(diào)試程序應(yīng)該由編制源程序的程序員來(lái)完成。程序調(diào)試的基本步驟：（1）錯(cuò)誤定位；（2）糾正錯(cuò)誤；（3）回歸測(cè)試。*：軟件的調(diào)試后要進(jìn)行回歸測(cè)試，防止引進(jìn)新的錯(cuò)誤。這是因?yàn)樾薷某绦蚩赡軒?lái)新的錯(cuò)誤，重復(fù)進(jìn)行暴露這個(gè)錯(cuò)誤的原始測(cè)試或某些有關(guān)測(cè)試，以確認(rèn)該錯(cuò)誤是否被排除、是否引進(jìn)了新的錯(cuò)誤。軟件調(diào)試可分為靜態(tài)調(diào)試和動(dòng)態(tài)調(diào)試。靜態(tài)調(diào)試主要是指通過(guò)人的思維來(lái)分析源程序代碼和排錯(cuò)，是主要的調(diào)試手段，而動(dòng)態(tài)調(diào)試是輔助靜態(tài)調(diào)試。對(duì)軟件主要的調(diào)試方法可以采用：（1）強(qiáng)行排錯(cuò)法。主要方法有：通過(guò)內(nèi)存全部打印來(lái)排錯(cuò)；在程序特定部位設(shè)置打印語(yǔ)句；自動(dòng)調(diào)試工具。（2）回溯法。發(fā)現(xiàn)了錯(cuò)誤，分析錯(cuò)誤征兆，確定發(fā)現(xiàn)“癥狀”的位置。一般用于小程序。（3）原因排除法。是通過(guò)演繹、歸納和二分法來(lái)實(shí)現(xiàn)的。1）演繹法。根據(jù)已有的測(cè)試用例，設(shè)想及枚舉出所有可能出錯(cuò)的原因作為假設(shè)；然后再用原始測(cè)試數(shù)據(jù)或新的測(cè)試，從中逐個(gè)排除不可能正確的假設(shè)；最后，再用測(cè)試數(shù)據(jù)驗(yàn)證余下的假設(shè)確定出錯(cuò)的原因。2）歸納法。從錯(cuò)誤征兆著手，通過(guò)分析它們之間的關(guān)系來(lái)找出錯(cuò)誤。大致分四步：收集有關(guān)的數(shù)據(jù)；組織數(shù)據(jù)；提出假設(shè)；證明假設(shè)。3）二分法。在程序的關(guān)鍵點(diǎn)給變量賦正確值，然后運(yùn)行程序并檢查程序的輸出。如果輸出結(jié)果正確，則錯(cuò)誤原因在程序的前半部分；反之，錯(cuò)誤原因在程序的后半部分。本章應(yīng)考點(diǎn)撥：本章在筆試中一般占8分左右，約3道選擇題，1道填空題，是公共基礎(chǔ)部分比較重要的一章。從出題的深度來(lái)看，本章主要考察對(duì)基本概念的識(shí)記，有少量對(duì)基本原理的理解，沒(méi)有實(shí)際運(yùn)用，因此考生在復(fù)習(xí)本章時(shí)，重點(diǎn)應(yīng)放在基本概念的記憶和基本原理的理解上。第四章 數(shù)據(jù)庫(kù)設(shè)計(jì)基礎(chǔ) 數(shù)據(jù)庫(kù)系統(tǒng)的基本概念數(shù)據(jù)、數(shù)據(jù)庫(kù)、數(shù)據(jù)管理系統(tǒng)（1）數(shù)據(jù)：實(shí)際上就是描述事物的符號(hào)記錄。數(shù)據(jù)的特點(diǎn)：有一定的結(jié)構(gòu)，有型與值之分。數(shù)據(jù)的型給出了數(shù)據(jù)表示的類型，如整型、實(shí)型、字符型等。而數(shù)據(jù)的值給出了符合給定型的值，如整型（INT）值15。（2）數(shù)據(jù)庫(kù)（DB）：是數(shù)據(jù)的集合，具有統(tǒng)一的結(jié)構(gòu)形式并存放于統(tǒng)一的存儲(chǔ)介質(zhì)內(nèi)，是多種應(yīng)用數(shù)據(jù)的集成，并可被各個(gè)應(yīng)用程序所共享。數(shù)據(jù)庫(kù)存放數(shù)據(jù)是按數(shù)據(jù)所提供的數(shù)據(jù)模式存放的，具有集成與共享的特點(diǎn)，亦即是數(shù)據(jù)庫(kù)集中了各種應(yīng)用的數(shù)據(jù)，進(jìn)行統(tǒng)一的構(gòu)造和存儲(chǔ)，而使它們可被不同應(yīng)用程序所使用。（3）數(shù)據(jù)庫(kù)管理系統(tǒng)（DBMS）：一種系統(tǒng)軟件，負(fù)責(zé)數(shù)據(jù)庫(kù)中的數(shù)據(jù)組織、數(shù)據(jù)操縱、數(shù)據(jù)維護(hù)、控制及保護(hù)和數(shù)據(jù)服務(wù)等，是數(shù)據(jù)庫(kù)系統(tǒng)的核心。數(shù)據(jù)庫(kù)管理系統(tǒng)功能：1）數(shù)據(jù)模式定義。數(shù)據(jù)庫(kù)管理系統(tǒng)負(fù)責(zé)為數(shù)據(jù)庫(kù)構(gòu)建模式，也就是為數(shù)據(jù)庫(kù)構(gòu)建其數(shù)據(jù)框架。2）數(shù)據(jù)存取的物理構(gòu)建。數(shù)據(jù)庫(kù)管理系統(tǒng)負(fù)責(zé)為數(shù)據(jù)模式的物理存取與構(gòu)建提供有效的存取方法與手段。3）數(shù)據(jù)操縱。數(shù)據(jù)庫(kù)管理系統(tǒng)為用戶使用數(shù)據(jù)庫(kù)中的數(shù)據(jù)提供方便，它一般提供如查詢、插入、修改以及刪除數(shù)據(jù)的功能。此外，它自身還具有做簡(jiǎn)單的算術(shù)運(yùn)算及統(tǒng)計(jì)的能力，而且還可以與某些過(guò)程性語(yǔ)言結(jié)合，使其具有強(qiáng)大的過(guò)程性操作能力。4）數(shù)據(jù)的完整性、安生性定義與檢查。數(shù)據(jù)庫(kù)中的數(shù)據(jù)具有內(nèi)在語(yǔ)義上的關(guān)聯(lián)性與一致性，它們構(gòu)成了數(shù)據(jù)的完整性，數(shù)據(jù)的完整性是保證數(shù)據(jù)庫(kù)中數(shù)據(jù)正確的必要條件，因此必須經(jīng)常檢查以維護(hù)數(shù)據(jù)正確。數(shù)據(jù)庫(kù)中的數(shù)據(jù)具有共享性，而數(shù)據(jù)共享可能會(huì)引發(fā)數(shù)據(jù)的非法使用，因此必須要對(duì)數(shù)據(jù)正確使用做出必要的規(guī)定，并在使用時(shí)做檢查，這就是數(shù)據(jù)的安全性。數(shù)據(jù)完整性與安全性的維護(hù)是數(shù)據(jù)庫(kù)系統(tǒng)的基本功能。5）數(shù)據(jù)庫(kù)的并發(fā)控制與故障恢復(fù)。數(shù)據(jù)庫(kù)是一個(gè)集成、共享的數(shù)據(jù)集合體，它能為多個(gè)應(yīng)用程序服務(wù)，所以就存在著多個(gè)應(yīng)用程序?qū)?shù)據(jù)庫(kù)的并發(fā)操作。在并發(fā)操作中如果不加控制和管理，多個(gè)應(yīng)用程序間就會(huì)相互干擾，從而對(duì)數(shù)據(jù)庫(kù)中的數(shù)據(jù)造成破壞。因此，數(shù)據(jù)庫(kù)管理系統(tǒng)必須對(duì)多個(gè)應(yīng)用程序的并發(fā)操作做必要的控制以保證數(shù)據(jù)不受破壞，這就是數(shù)據(jù)庫(kù)的并發(fā)控制。數(shù)據(jù)庫(kù)中的數(shù)據(jù)一旦遭到破壞，數(shù)據(jù)庫(kù)管理系統(tǒng)必須有能力及時(shí)進(jìn)行恢復(fù)，這就是數(shù)據(jù)庫(kù)的故障恢復(fù)。6）數(shù)據(jù)的服務(wù)。數(shù)據(jù)庫(kù)管理系統(tǒng)提供對(duì)數(shù)據(jù)庫(kù)中數(shù)據(jù)的多種服務(wù)功能，如數(shù)據(jù)拷貝、轉(zhuǎn)存、重組、性能監(jiān)測(cè)、分析等。（4）數(shù)據(jù)庫(kù)管理員（DBA）：對(duì)數(shù)據(jù)庫(kù)進(jìn)行規(guī)劃、設(shè)計(jì)、維護(hù)、監(jiān)視等的專業(yè)管理人員。（5）數(shù)據(jù)庫(kù)系統(tǒng)（DBS）：由數(shù)據(jù)庫(kù)（數(shù)據(jù)）、數(shù)據(jù)庫(kù)管理系統(tǒng)（軟件）、數(shù)據(jù)庫(kù)管理員（人員）、硬件平臺(tái)（硬件）、軟件平臺(tái)（軟件）五個(gè)部分構(gòu)成的運(yùn)行實(shí)體。（6）數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)：由數(shù)據(jù)庫(kù)系統(tǒng)、應(yīng)用軟件及應(yīng)用界面三者