0. Subject Introduction 课程介绍

Software Engineering is about exercising control over the software process or the product. This subject focuses on the latter: controlling the quality of software products.

软件工程是对软件过程或产品进行控制的专业。本课程专注于后者：控制软件产品的质量。

Subject Overview 课程概览

The aim of this subject is to explore systematic methods for testing software, selecting test inputs to:

1. maximise testing coverage;
2. maximise the likelihood of finding faults.

课程的目标是探索软件测试的系统性方法， 挑选测试输入以满足：

1. 最大化测试覆盖率；
2. 最大化发现故障的可能性。

This subject is largely divided into three parts:

1. Testing for functional correctness: running inputs and oberserving outputs to see if the software conforms to its requirements;
2. Testing for reliability: reliability is a statistical notion of correctness;
3. Testing for security: exploring advanced symbolic methods for detecting generic security vulnerabilities.

课程主要分为三部分：

1. 功能正确性测试：运行输入并且观察输出，以查看软件是否符合需求；
2. 可靠性测试：可靠性是正确性的统计概念；
3. 安全性测试：探索高级符号方法以检测通用的安全漏洞。