7形式化说明技术全解.pptVIP

软件需求的说明技术 非形式化：用自然语言描述需求规格说明。比如，应力分析程序必须在一分种之内生产任何一个梁的应力报告。 半形式化：用数据流图、实体-联系图建立模型。 形式化方法：使用具有坚实的数学基础的工具来描述系统性质。 非形式化方法的缺点 矛盾：是指一组相互冲突的陈述。 二义性：是指读者可以用不同方式来理解。 含糊性：比如，友好的界面、很高的安全性 不完整性 抽象层次混乱 形式化方法的优点 由于逻辑的严密性，它能够简洁准确地描述物理现象、对象或动作的结果。比如，关系代数里面的联结运算。 在不同的软件工程活动之间平滑地过渡 可以使用数学方法证明，设计符合规格说明，程序代码正确地实现了设计结果。 应用形式化方法的准则 应该选用适当的表示方法 应该形式化，但不要过分形式化 应该估算成本 应该有形式化方法顾问随时提供咨询 不应该放弃传统的开发方法 应该建立详尽的文档 不应该放弃质量标准 不应该盲目依赖形式化方法 应该测试、测试再测试 应该重用 有穷状态机的形式定义 有穷状态机是一个5元组(J，K，T，S，F)，其中： J是一个有穷的非空状态集，在任一确定的时 刻，只能处于一个确定的状态； K是一个有穷的非空输入集，在任一确定的时 刻，只能接收一个确定的输入； T是一个从(J-F)×K到J的转换函数； S∈J，是初始状态，由此状态开始接收输入； FJ，是终态集，到达