会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
北汇信息
博客园
首页
新随笔
联系
订阅
管理
2023年4月23日
模型动态测试工具TPT 19 新特性速览
摘要: TPT19亮点 形式化需求:自动生成测试用例 在TPT 19中,测试用例可以通过形式化需求自动创建—只需要按下按钮。 此前,形式化需求已经自动评估。现在我们对此进行了更深一步的改进。 参数集的混合执行 TPT19中可以更容易地创建参数集,可以多次执行,当然也可以对其进行评估。 这意味着不同参数设置的
阅读全文
posted @ 2023-04-23 13:48 北汇信息
阅读(27)
评论(0)
推荐(0)
编辑