软件验证技术
工程 & 社会科学专业
马德里,西班牙
日期: 1/16/25 - 6/4/25
软件验证技术
概述
CEA CAPA合作机构: 马德里卡洛斯三世大学
地点: 马德里,西班牙
主要科目范围: 计算机科学
指令: 英语
课程代码: 18280
记录来源: 合作伙伴机构
课程详细信息: 300级
推荐学分: 3
联系时间: 42
先决条件: 编程(第一年/第一学期)
编程技术(第一年/第二学期)
算法与数据结构(二年级/第二学期)
描述
1.-软件验证基础.
2.-测试整个软件生命周期的开发模型.
3.-结构化技术.
4.-分析技术.
5.-代码和设计验证技术.
6.敏捷测试方法
2.-测试整个软件生命周期的开发模型.
3.-结构化技术.
4.-分析技术.
5.-代码和设计验证技术.
6.敏捷测试方法