首页 流程图 详情

formal testing

2016-12-03 13:03:24 0 举报
仅支持查看
作者其他创作
大纲/内容
开发模型
是否建立断言（建立验证模型）
根据断言进行测试
典型的失效模式
否
需求分析文档
根据失效路修改软件，进行自动化测试
是
已校验的系统的属性（对断言的描述）
扩展的形式化模型（对系统的描述））
评论
0 条评论
下一页
为你推荐
查看更多
testing case 4
testing case 4
A/B testing 执行流程
A/B testing 执行流程
Vertical Cross Functional Template
Vertical Cross Functional Template
CI2
CI2
parcial 4
parcial 4
h
h
RFID TESTING
RFID TESTING
Testing case 2
Testing case 2
h
h
question2(3)
question2(3)