明盒预期函数设计_第1页
明盒预期函数设计_第2页
明盒预期函数设计_第3页
免费预览已结束，剩余1页可下载查看

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

第第页明盒预期函数设计明盒预期函数设计

发表于：2023-01-28来源：：点击数：标签：函数设计

为恢复已有的程序函数而解读和抽象控制结构与过程设计是互逆的。这些函数被称为预期函数(intendedfunction)。明盒设计不断细化预期函数。这些预期函数也定义了控制结构细化过程中所要求的数据。在明盒细化过程中初始的预期函数就是一个状态盒规范。明盒细化

为恢复已有的程序函数而解读和抽象控制结构与过程设计是互逆的。这些函数被称为预期函数(intendedfunction)。明盒设计不断细化预期函数。这些预期函数也定义了控制结构细化过程中所要求的数据。在明盒细化过程中初始的预期函数就是一个状态盒规范。明盒细化过程中的预期函数可根据表1所描述的设计语言文法而嵌入到它们的设计文本中。在表1中，方括号([])用来限定预期函数。在具体实现的语言中也可以使用解释符。整个控制结构的预期函数用[f]表示，放在入口处。控制结构里的预期函数接在关键字的后面。例如，在ifthenelse结构中，[g]和[h]分别放在then和else的后面，以记录操作g和h的效果。表1控制结构中的预期函数

图1则表示了对整型的变量的左操作的预期函数的细化过程。它本身嵌须一个更大的系统中(在图中未表示出来)。在第一步函数被分解为有两个执行部分的sequence结构。它们用两个需要进一步细化的预期函数表示(变量B是设计的局部变量。在初始预期函数的表示中并未出现)。注意在sequence中初始的预期函数被传递下来，以记录对数据的影响。第二步细化这两个新的预期函数，就变成了图右边的两ifthenelse控制结构。同样这两个新的预期函数也要往后传递以记录对数据的影响。

图1同时也表现了与已得到程序函为目的而解读控制结构有关的两步抽象。抽象后的程序函数和最初的预期函数应一样。尽管这个简单的例子从控制结构上就可以理解，但是在相对较大的设计院里，预期函数在验证和维护上对保证设计意图则发挥了至关重要的作用。对仅仅5-10行的语句可以一目了然，但对50或100行就不那么容易了。很明显在预期函数对保证控制结构细化的正确性是很重要的。后面详述。

另一个重要的地方就是明盒细化过程并不是因循守旧的。只有在知道了如何将设计的上层结构后，才可能创建良好的上层结构。设计是一个反复的和创造性的过程。加深了理解，才会出现更好的主意。对下层的洞察会导

人人文库> 全部分类> 图纸下载 > 毕业设计

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论