净室软件开发.pptxVIP

三、净室软件开发 ww dBOn cor 南京大学计算机系;盒式结构开发;明盒的结构;明盒的控制结构(1);明盒的控制结构(2) ?图中的方框表示功能点，菱形表示判定节 点，圆表示控制流南汇合点 -功能点可以将当前状态作为输入，并产生新的 状态。 -判定节点可以访问当前状态，但是不能改变状 态。 -圆圈点只是表示控制流的汇合，不做任何操作。 ?每一种控制结构都只有唯一的入口和唯一 的出口。;明盒的抽象化和文档化 ?理解明盒时，应该考虑其从控制结构入口 到控制结构出口对数据的影响。这个过程 可以表示成为函数。 -即新状态/输入和旧状态/输出之间的函数关系。;明盒的函数意义的例子;明盒设计的层次特性;明盒函数的设计 ?明盒的设计从状态盒的规范不断地精化预 期的函数。 ?采用自顶向下，逐步精化的原则。 ?每一步精化中，被精化的函数作为预期的 函数，精化得到某种控制结构。;明盒设计的例子;明盒的正确性问题 ?基于数学的方法证实一个过程与其规范相 符。 ?过程的正确性证明通过其它形式来验证， 通常称为函数理论正确性验证。 ?通常对于每一步精化，都需要回答一些问 题東验证it确性。对于不向的｝空制结构， 有不同的问题要回答。 -顺序结构为1个，分支结构为2个，循环结构为 3个。;控制结构的正确性问题(1);控制结构的正确性问题（2）;控制结构的正确性问题(3);控制结构的正确性问题(4);关于