软件测试技术与质量保证 软件质量保证详解.pptVIP

1972年，Mills又向我们提示了一个重要的事实：如果在详细设计中，所有的模块都只使用单入口、单出口的3种基本控制结构，则不论一个程序包含多少模块，也不论一个模块包含多少基本控制结构，整个程序将保持一条清晰的线索。 这就是常说的控制结构的“结构化”，它是程序设计阶段确保模块逻辑清晰的关键技术。 * 这里还有几点要补充说明： ⑴ 方便使用或者提高程序效率，大多数软件项目还允许在程序设计中补充使用（do – while）和（switch – case）两种控制结构。 ⑵ 在许多情况下，当程序执行到满足某种条件时，需要立即从循环中转移出来。如果死抠单出口的原则，就会不必要地使循环重复下去，延长程序的执行时间。为了解决这类问题，在C语言中允许用break语句提前退出循环。 * 例如： int n = 0;? while (n 10000) { …… if((n%3==0)(n%5==0)(n%7==0)) { break; } …… } * ⑶ goto 语句不应滥用，但也不必完全禁用。一般地说，如果把goto语句的转移范围限制在同一控制结构的内部，不让它从一个控制结构转移到另一个控制结构，就不致引起流程的混乱。很多人建议废除C语言中的goto 语句，以绝后患。但实事求是地说，错误是程序员自己造成的，不是goto 的过错。goto