软件工程答案2023

第四章测试

1.用自然语言书写的系统规格说明书可能存在的问题包括（  ）。
A:不完整性 B:二义性 C:含糊性 D:矛盾
答案:ABCD
2.关于形式化说明技术，下列说法正确的是（  ）。
A:任何时候都应该采用形式化说明技术 B:应该有形式化方法顾问随时提供咨询 C:应该形式化，但不要过分形式化 D:应该选用适当的表示方法     
3.Petri网可用于表达同步问题、竞争条件以及死锁问题。
A:错 B:对 4.用Z语言描述的、最简单的形式化规格说明包含（  ）。
A:状态定义 B:操作 C:给定的集合、数据类型及常数 D:初始状态 5.有穷状态机要求表示对象应该有有限个状态。
A:错 B:对