|
所在平台: EdxArchive 课程类别: 其他类别 大学或机构: USMx |
课程主页: https://www.edx.org/archive/formal-software-verification-usmx-university-maryland-university-stv1-3x
课程评论：没有评论
Learn software quality techniques beyond just running test cases.
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.
