资料文稿参考软件工程-05.ppt

完整性 是否提供了所有程序单元的规格？ 是否描述了所采用的设计标准？ 是否确定了单元应用的算法？ 是否列出了程序单元的所有调用？ 是否记录了设计的历史和已知的风险？ 规范性 文档是否遵从了公司的标准？ 单元设计是否使用了要求的方法和工具？ 一致性 软件工程 * 在单元和单元的接口中数据成员的名称是否保持一致？ 所有接口之间，接口和接口设计说明之间是否保持一致？ 详细设计和概要设计文档是否能够完全描述“正在构建”的系统？ 正确性 是否有逻辑错误？ 需要使用常量名的地方是否有错误？ 是否所有的条件都被处理？ 分支所处的状态是否正确？ 软件工程 * 数据 是否所有声明的数据块都已经使用？ 定位于单元的数据结构是否已经描述？ 如果有对共享数据、文件的修改，对数据的访问，则访问是否按照正确的共享协议进行？ 是否所有的逻辑单元、事件标记、同步标记都已经定义和初始化？ 是否所有的变量、指针、常量都已经定义并初始化？ 功能性 设计是否使用了指定的算法？ 软件工程 * 设计是否能够满足需求和目标？ 接口 参数表是否在数量、类型和顺序上保持一致？ 是否所有的输入∕输出都已经正确定义并检查过？ 所传递参数的顺序是否描述清楚？ 参数传递的机制是否确定？ 通过接口传递的常量和变量是否与单元设计的相同？ 传入、传出函数的参数，控制标记是否都已经描述清楚？ 软件工程 * PDL (Program Design Language) PDL是一种用于描述功能模块的算法设计和加工细节的语言。称为设计程序用语言。它是一种伪码。 伪码的语法规则分为“外语法”和“内语法”。 PDL具有严格的关键字外语法，用于定义控制结构和数据结构，同时它的表示实际操作和条件的内语法可使用自然语言的词汇。 软件工程 * 示例: 拼词检查程序 PROCEDURE spellcheck BEGIN --* split document into single words LOOP get next word add word to word list in sortorder EXIT WHEN all words processed END LOOP --* look up words in dictionary LOOP get word from word list 软件工程 * IF word not in dictionary THEN --* display words not in dictionary display word prompt on user terminal IF user response says word OK THEN add word to good word list ELSE add word to bad word list ENDIF ENDIF EXIT WHEN all words processedEND LOOP 软件工程 * --* create a new words dictionary dictionary :＝ merge dictionary and good word list END spellcheck 为了区别关键字，规定关键字一律大写，其它单词一律小写。 内语法使用自然语言来描述处理特性。内语法比较灵活，只要写清楚就可以，不必考虑语法错，以利于人们可把主要精力放在描述算法的逻辑上。 软件工程 * 判定表 决策表用于表示程序的静态逻辑 在决策表中的条件部分给出所有的两分支判断的列表，动作部分给出相应的处理 要求将程序流程图中的多分支判断都改成两分支判断 软件工程 * g a b f x1 x6 x7 x8 x2 x5 入口 h i j c d e 出口 F F F F F T T T T T switch do-while do-while while-do x3 x4 F F F T T T 无多分支判断结构 软件工程 * 1 2 3 4 5 6 7 8 9 10 11 12 13 14 x1 T T T T T F F F F F F F F F x2 － － － － － T T T F F F F F F x3 － － － － － － － － T T F F F F x4 － － － － － － － － － － T T F F x5 － － － － － T F F － － － － － － x6 T T T F F － － － － － － － － － x7 T F F － － － －