编程入门宝典软件工程基础教程.pptVIP

习题:

1举例对比形式化方法和欠形式化方法的优缺点。

2在什么情况下应该使用形式化说明技术?使用形式化说明技术

时应恪守哪些准则?

3考虑下述的自动化图书馆流通系统：每本书均有一种条形码，

每个借阅人均有一种带有条形码的卡片。当一种借阅人想借一本

书时，图书管理员扫描书上的条形码和借阅人卡片上的条形码，

然后在计算机终端上输入C；当归还一本书时，图书管理员将再

做一次扫描，并输入R。图书管理员能够把某些书加到(+)图书集

合中，也能够删除(-)它们。

借阅人能够在终端上查找到某个作者所有的书(输入“A=”和

作者名字)，或含有指定标题的所有书籍(输入“T=”和标题)，或

属于特定主题范围内的所有图书(输入“S=”加主题范围)。最后，

假如借阅人想借的书已被别人借走，图书管理员将给这本书设置

一种预约，方便书归还时把书留给预约的借阅人(输入“H=”加书

号)。

/2/11试用有穷状态机说明上述的图书流通系统。湖南科技大学计算机学院戴祖雄;;第4章形式化说明技术;4.1概述;;4.1.3应用形式化方法的准则;?应该建立详尽的文档

?不应该放弃质量标准

?不应该盲目依赖形式化方法

?应该测试、测试再测试。

?应该重用;4.2有穷状态机;一种保险箱上装了一种复合锁，锁有三个;图4.1保险箱的状态转换图;;从上面这个简单例子能够看出,一种有穷状态机;目前状态

为了对一种系统进行规格说明,通常