本专业面向初、中级软件开发人员,旨在培养他们在项目开发中实施测试技术和工具的知识和技能。通过四门课程的学习,您将掌握黑盒和白盒测试、自动化测试、网络和移动测试以及正式测试理论和技术,为规划和执行有效的软件测试做好准备。
应用的学习项目
学员将建立测试计划、测试套件和测试分析报告。学员将在代码中开发属性和断言,以方便自动测试的生成。学员还将为方法创建前置条件,以便于对正确性进行正式证明。


本专业面向初、中级软件开发人员,旨在培养他们在项目开发中实施测试技术和工具的知识和技能。通过四门课程的学习,您将掌握黑盒和白盒测试、自动化测试、网络和移动测试以及正式测试理论和技术,为规划和执行有效的软件测试做好准备。
应用的学习项目
学员将建立测试计划、测试套件和测试分析报告。学员将在代码中开发属性和断言,以方便自动测试的生成。学员还将为方法创建前置条件,以便于对正确性进行正式证明。

您将了解测试理论。
您将练习为各种质量意图编写测试,包括代码覆盖、缺陷查找和统计测试。
您将制定测试计划,为软件开发生命周期的测试阶段提供指导。
您将创建缺陷报告,为主管、同事和用户提供透明度和理解力。

您将评估需求的可测试性
您将在程序规范中定义可测试单元
您将选择并应用黑盒测试输入选择方法,包括边界值分析、模糊处理和随机选择
您将为自动化软件验证开发自动化测试和测试谕令。

本课程介绍最先进的自动分析技术。 自动分析既包括自动生成大量测试以检查程序是否满足要求的方法,也包括*有可能证明软件满足要求和不存在某些常见缺陷的方法,例如除以零、溢出/下溢、死锁、无竞赛条件、缓冲区/数组溢出、未捕获异常和其他一些可能导致程序失败或安全问题的常见错误。 学习者将熟悉这些方法的基本理论和应用,并在示例程序中应用各种自动分析技术。
完成本课程后,学员将能够: - 理解自动验证的基础:随机化和符号表示 - 区分随机测试、符号分析、静态分析和模型检查的优缺点 - 使用各种最先进的静态分析和自动测试工具进行自动验证 - 将可执行需求创建为适合自动测试和符号分析的oracle - 理解oracle的选择如何影响自动分析策略的故障查找。 - 使用自动测试实现完全突变覆盖 - 创建一个测试计划,同时使用手动编写的测试和自动测试,以最大限度地提高严谨性,最大限度地减少工作量和时间,最大限度地降低测试成本。 本课程面向有兴趣了解自动化原理以及软件分析和测试工具应用的学习者:软件工程师、测试中的软件工程师、测试自动化工程师、DevOps 工程师、软件开发人员、程序员、计算机爱好者。我们希望您熟悉软件开发生命周期,了解软件测试的基本原理,类似于软件测试入门、黑盒和白盒测试课程中的内容。 熟悉 Java 等面向对象的语言,或能够快速掌握 Java 语法以编写和修改代码,并愿意使用工具和集成开发环境。

我们构建的现代应用程序总是通过网络和移动平台与用户进行接触。 用户通过这些界面与软件进行交互,这些界面提供的体验对软件的感知质量有很大影响。
现代应用软件部署新版本和新功能的速度要求测试工作认真确定优先次序,并通过自动化快速执行。测试此类应用程序的技术和方法将是本课程的重点。我们将介绍与网络和移动平台测试相关的关键概念、基础技术以及使用 Selenium 作为自动化测试此类应用程序的框架。 学员将获得网络和移动测试原理的坚实基础以及使用测试框架自动化执行测试的能力。
将此证书添加到您的 LinkedIn 个人资料、简历或履历中。在社交媒体和绩效考核中分享。






明尼苏达大学是美国最大的公立研究型大学之一,为本科生、研究生和专业学生提供了大量的学习和研究机会。明尼苏达大学位于全美最有活力、最多元化的大都市社区的中心地带,与世界知名的健康中心、跨国公司、政府机构以及艺术、非营利和公共服务组织建立了广泛的合作关系,使明尼苏达大学和圣保罗校区的学生受益匪浅。




本课程完全在线,因此无需亲自到教室上课。您可以随时随地通过网络或移动设备访问讲座、阅读和作业。
可以!要开始学习,请单击您感兴趣的课程卡并注册。您可以注册并完成课程,以获得可共享的证书。当您订阅属于专项课程的课程时,您将自动订阅完整的专项课程。访问您的学习者仪表板,跟踪您的学习进度。
是的。在特定的学习课程中,如果您付不起注册费,可以申请助学金或奖学金。如果您选择的学习课程有助学金或奖学金,您可以在说明页面找到申请链接。
不,您不能免费学习此课程。报名参加该课程后,您可以学习专项课程中的所有课程,完成作业后可获得证书。如果您付不起学费,可以申请经济援助。
本专业不授予大学学分,但有些大学可能会选择接受专业证书作为学分。请向您所在的院校咨询以了解更多信息。
提供助学金,