51Testing软件测试论坛

标题: Day1-6测试积点任务 [打印本页]

作者: 测试积点老人 时间: 2018-3-30 11:09
标题: Day1-6测试积点任务
问题：

【模型检测问题】设计一个系统，采用递归模型，如何验证某一个给定的性质？
模型检测问题：设计一个系统，采用递归模型，如何验证某一个给定的性质
目前思路：使用基于自动机的语义模型，尝试借用spin和LTL。

困惑：由于是递归模型，因此使用自动机来表达时，递归执行后会有很多个自动机（调用自身的状态机），整个系统的状态可能是无穷个，这对spin来说不适用，但既然是递归，模型里面很多都是类似的状态和迁移，一层一层的，是否可以借用spin？或者有没有其它更好的思路？

作者: qqq911 时间: 2018-4-2 10:31
在验证的部分，加入检查点设置

作者: abcsell 时间: 2018-4-2 11:16
设计检查点

作者: 梦想家 时间: 2018-4-2 11:19
加检查点

作者: libingyu135 时间: 2018-4-2 11:36
加检查点

作者: jingzizx 时间: 2018-4-2 13:12
没有别的好的办法，只能根据算法，自己设计，然后根据运行加入验证检查

欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/)