51Testing软件测试论坛

 找回密码
 (注-册)加入51Testing

QQ登录

只需一步,快速开始

微信登录,快人一步

手机号码,快捷登录

查看: 1485|回复: 5
打印 上一主题 下一主题

[原创] Day1-6测试积点任务

[复制链接]
  • TA的每日心情
    擦汗
    昨天 09:05
  • 签到天数: 525 天

    连续签到: 2 天

    [LV.9]测试副司令

    跳转到指定楼层
    1#
    发表于 2018-3-30 11:09:15 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
    问题:

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

    困惑:由于是递归模型,因此使用自动机来表达时,递归执行后会有很多个自动机(调用自身的状态机),整个系统的状态可能是无穷个,这对spin来说不适用,但既然是递归,模型里面很多都是类似的状态和迁移,一层一层的,是否可以借用spin?或者有没有其它更好的思路?
    分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友
    收藏收藏
    回复

    使用道具 举报

  • TA的每日心情
    奋斗
    昨天 10:09
  • 签到天数: 1514 天

    连续签到: 3 天

    [LV.Master]测试大本营

    2#
    发表于 2018-4-2 10:31:18 | 只看该作者
    在验证的部分,加入检查点设置
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    开心
    6 天前
  • 签到天数: 473 天

    连续签到: 2 天

    [LV.9]测试副司令

    3#
    发表于 2018-4-2 11:16:42 | 只看该作者
    设计检查点
    回复 支持 反对

    使用道具 举报

  • TA的每日心情
    慵懒
    昨天 07:32
  • 签到天数: 2810 天

    连续签到: 3 天

    [LV.Master]测试大本营

    6#
    发表于 2018-4-2 13:12:19 | 只看该作者
    没有别的好的办法,只能根据算法,自己设计,然后根据运行加入验证检查
    回复 支持 反对

    使用道具 举报

    本版积分规则

    关闭

    站长推荐上一条 /1 下一条

    小黑屋|手机版|Archiver|51Testing软件测试网 ( 沪ICP备05003035号 关于我们

    GMT+8, 2024-11-14 03:40 , Processed in 0.063528 second(s), 23 queries .

    Powered by Discuz! X3.2

    © 2001-2024 Comsenz Inc.

    快速回复 返回顶部 返回列表