- 博客(1)
- 收藏
- 关注
翻译 现有形式化工具介绍
**为什么使用形式化方法?–测试和仿真的局限性**测试和仿真为系统提供各种输入条件,并确保输出符合预期。输入是由设计人员设计或随机生成,因此,可以抽样功能属性,但无法验证安全性和安全性属性。**功能属性给定一个标称输入,它产生指定的输出。通常认为,设计的行为的多样性通常很小,足以充分测试遵从性。但是,即使是小型的顺序数字系统,只要有少量的数字输入(A、B、C)和消息传递接口。为了彻底地进行测试,必须使用A、B、C的所有可能组合。对于一个顺序系统,这是不够的。A、B、C的所有可能的时间交错也必须进
2021-04-14 10:08:10 805
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人