Formal Software Verification

开始时间: 01/15/2018 持续时间: 8 weeks

所在平台: edX

课程类别: 其他类别

大学或机构: USMx

授课老师: Dr. Michael Scott Brown Dr. Renata Rand McFadden

   

课程主页: https://www.edx.org/course/formal-software-verification-usmx-umuc-stv1-3x

Explore 1600+ online courses from top universities. Join Coursera today to learn data science, programming, business strategy, and more.

课程评论:没有评论

第一个写评论        关注课程

课程详情

Want to gain software quality skills used in mission critical systems?

Modeling checking, symbolic execution and formal methods are techniques that are used for mission critical systems where human life depends upon the system working correctly.

In this course, part of the Software Testing and Verification MicroMasters program, you will learn how to perform these techniques manually and by using automation tools.

No previous programming knowledge needed. The concepts from this course can be applied to any programming language and testing software. This course will use Java, Java Path Finder and Java Modeling Language, however, for examples and assignments.

课程大纲

  • Use Model Checking to evaluate software quality through model generation
  • Use Symbolic Execution to evaluate software for defects
  • Use Formal Methods to create proofs of software implementations

课程评论(0条)

Deep Learning Specialization on Coursera

课程简介

Learn software quality techniques beyond just running test cases.

课程标签

0人关注该课程

主题相关的课程