第7章管理信息系统实施编程准备7.1物理系统的实施7.1物理系统的实施7.2程序设计7.2.1程序设计的基本要求（a）顺序(b)选择(c)循环图7－2－1程序的三种基本结构结构化程序设计就建立在上述结构定理上，同时，DIJKSTRA主张取消GOTO语句，而仅仅用三种基本结构反复嵌套构造程序。结构化程序设计至今还没有一个统一的定义，一般认为：结构化程序设计是一种设计程序的技术，它采用自顶向下逐步求精的设计方法和单入口单出口的控制技术。结构化程序设计的基本思想是按由顶向下逐步求精的方式，由三种标准控制结构反复嵌套来构造一个程序。按照这种思想，可以对一个执行过程模糊不清的模块，以顺序、选择、循环的形式加以分解，最后使整个模块都清晰起来，从而确定全部细节。规范性（Standardability）：即系统的划分、书写格式、变量的命名等等都是按统一规范进行的。这对于今后程序的阅读、修改和维护都是十分必要的。可读性（Readability）：即程序的清晰，没有太多繁杂的技巧，能够使他人容易读懂。它对于大规模过程化开发软件非常重要。可维护性(maintainability)：即程序各部分相互独立，没有调用子程序以外的其它数据关联。也就是说不会发生那种在维护时，牵一发动全身的连锁反应。一般一个规范性、可读性、结构划分都很好的程序模块，它的可维护性也是比较好的。7.2.3应用软件的选购与系统集成系统测试的注意事项测试工作应避免由原开发软件的个人或小组来承担。调试用例应该由“输入数据”和“预期的输出结果”组成。设计测试用例不仅要包括合理、有效的数据，还要包括无效的或不合理的输入数据。不仅要检查程序是否漏了该做的事，还要检查程序是否多做了不该做的事。保留测试用例，以便于重新测试和追加测试。多种测试方法相结合，以尽可能查出更多的错误。应保留测试数据，以便程序修改后进行再测试。看一个例子。例：下图所示的是一个小程序的控制流程图，该程序由一个循环语句组成，循环次数可达20次，循环体中是一组嵌套的IF语句，其可能的路径有五条，所以从程序的入口A到出口B的路径数高达520≈1014。如果编写一个调试例子，并用它来调试这个程序的一条路径要花一分钟，则调试每一条路径就需要二亿年。这个例子说明，要想通过“彻底”地调试找出系统的全部错误是不可能的。因此，调试阶段要考虑的基本问题就是“经济性”了。调试采取的策略是：在一定的开发时间和经费的限制下，通过进行有限步操作或执行调试用例，尽可能多发现一些错误。7.3.2系统测试的过程对于模块测试，一般分为人工走通和上机测试两步进行。人工走通就是打印出源程序，然后参照详细设计阶段的资料的要求把程序在纸上“走一遍”。程序的错误可分为语法错误和逻辑错误两种情况，一般来说，只要认真检查就可以发现绝大部分的语法错误和部分逻辑错误。当人工走通以后，就可以上机测试了。上机测试即用计算机进行交互测试。7.3系统测试7.3系统测试7.3.3系统测试的基本方法2．动态测试动态测试就是模块上机运行测试。在人工运行程序走通以后，就可上机调试。设计测试用例是开始程序测试的第一步，也是有效地完成测试工作的关键。按照在设计测试用例时是否涉及程序的内部结构，可以分为白盒测试和黑盒测试两种方法。白盒测试时，测试者对被测试程序的内部结构是清楚的。他从程序的逻辑结构人手，按照一定的原则来设计测试用例，设定测试数据。由于被测程序的结构对测试者是透明的，因此有些书本又称这类测试为玻璃盒测试或结构测试。黑盒测试的情况正好相反。此时，测试者把被测程序看成一个黑盒，完全用不着关心程序的内部结构。设计测试用例时，仅以程序的外部功能为根据。一方面检查程序能否完成一切应做的事情，另一方面要考察它能否拒绝一切不应该做的事情。由于黑盒测试着重于检查程序的功能，所以也称为功能测试。白盒测试--逻辑覆盖测试的种类语句覆盖判定覆盖条件覆盖判定/条件覆盖多重条件覆盖语句覆盖：选择足够多的测试数据，使被测试程序中的每个语句至少执行一次。判定覆盖：不仅每个语句必须至少执行一次，而且每个判定的可能的结果都应该至少执行一次，也就是每个判定的每个分支都至少执行一次。条件覆盖：不仅每个语句至少执行一次，而且是判定表达式中的每个条件都取到各种可能的结果。判定/条件覆盖：同时满足判定/条件两种覆盖标准的逻辑覆盖。多重条件覆盖：要求选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次。为了暴露程序中的错误，至少每个语句应该执行一次。语句覆盖的含义是，选择足够多的测试数据，使被测试程序中的每个语句至少执行一次。例如：图7－2－5是一个被测模块的流程图，它的源程序（用PASCAL书写）如下:PROCEDUREEXAM