中国海洋大学考研期末软件工程试题.doc

系统流程图是用来描绘物理系统的 ＪＡＣＫＳＯＮ方法根据（　数据流图　　）来导出程序结构。 在结构测试用例设计中，有语句覆盖、条件覆盖、判定覆盖（即分支覆盖）、路径覆盖等，其中（??判定覆盖? ）是最强的覆盖准则。 （20分）培训中心要研制一个计算机管理系统，它的业务是：将学员发来的信件收集分类后，按几种不同的情况处理， 如果是报名的，则把报名数据送给负责报名事务的职员，他们将查询课程文件，检查该课程是否额满，然后在学生文件、课程文件上登记，并开出报告单给财务部门，财务人员开发票给学员。 如果是想注销原来已选修的课程，则由注销人员在课程文件、学生文件和帐目文件上做相应的修改，并给学生注销单。 如果是付款的，则由财务人员在帐目文件上登记，也给学生一张收费收据。 条件测试可用于检查程序模块中所包含逻辑条件是否正确。在布尔变量和关系操作符只出现一次且没有公共变量的情况下，BRO(Branch and Relational Operator)测试保证能发现条件中的分支和条件操作符错误。 考虑条件C1： (E1= E2) (E3 E4)，其中E1, E2, E3, E4是关系表达式，“”表示逻辑“与”，“”和“=”是关系运算符，为了检查C1中的关系操作符错误，请给出C1的条件约束，并给出求解过程（本题15分）。 三、参考课本p170 由C：B1B2的约束集为{(t,t), (t,f),(f,t)}可知，对C1的E1=E2来说，t为=，f为或，对E3E4来说，t为，f为=或，修改C的约束集，可得C1的约束集为：{(=, =), (=, ), (, ), (, ), (=, )} 1、银行计算机储蓄系统的工作过程大致如下：储户填写的存款单或取款单由业务员键入系统，如果是存款则系统记录存款信息，并印出存款存单给储户；如果是取款而且存款时留有密码，则系统首先核对储户密码，若密码正确或存款时未留密码，则系统计算利息并印出利息清单给储户。请用数据流图（DFD）描绘本系统功能。 三、解答题（共30分） 1、下面为在数组A（1）～A（10）中找最大数算法。　　　N=1　　　WHILE N=10 DO　　　　IF A（N）=A（N+1）MAX =A（N+1）　　　　ELSE MAX =A（N）　　　　ENDIF N=N+1 ENDWHILE 2、根据程序流程图设计该程序段的语句覆盖和路径覆盖测试用例，（分） 三、解答题（共30分） 1、如下图 注意：本题答案不唯一，学生给出的数字正确就应该算对 语句覆盖 A B X 覆盖路径 X 2 0 4 ace 3 路径覆盖 A B X 覆盖路径 2 0 4 ace 1 1 1 abd 2 1 2 abe 3 0 3 acd (A1) and (B=0) X=X/A (A=2) and (X1) X=X+1 a d b c e F F T T N=1 N=10 A(N)=A(N+1) MAX=A(N) N=N+1 MAX=A(N+1) T F N-S图 N=1 WHILE N=0 N=N+1 A(N)=A(N+1) MAX=A(N) MAX=A(N+1) PAD图