| as of 7/2/2022 |
SOFTWARE TESTING AND VERIFICATION |
| Country - Partner Institution - Programs: | Netherlands - Utrecht University - 'Utrecht Univ.' |
| UC Course Subject | Computer Science |
| Number & Suffix: | 120 |
| Full UC Title: | SOFTWARE TESTING AND VERIFICATION |
| Transcript Title: | SOFTWARE TESTING |
| UC QTR Units - Division: | 6.0 - Upper Division |
| Course Description: | This course investigates core concepts and theories of testing software. Students are able to define testing as a goal direct process, and thereby are able to test programs more effectively. The course introduces a number of basic techniques, so that students are able to select the right technique in a particular case. Specifically, the course addresses testing of games. Testing a program exhaustively is seldom feasible. In some application areas it is important to minimize the risk of errors and therefore program logic is covered. Such logic can proof programs without testing them. This course trains students to understand the abstraction and discipline that is needed to understand program logic. Themes covered in the course include: various concepts of test coverage testing levels (unit, integration, system, acceptation) testing techniques (property-based, partition, syntax driven, record-and-replay, mutation). |
| Language of Instruction: | English
|
| Partner Title: | SOFTWARE TESTING AND VERIFICATION |
| Partner University Department: | Information and Computing Sciences |
| Partner University Course Number: | INFOB3STV |