QUESTION 1

Identify the term that is not equivalent to other three.

		software inspection
		code review
		peer review
		software testing

4 points

QUESTION 2

Formal methods refers to

		writing formal documents in APA or other industry standard format
		Mathematical representation of software
		Formal legal documents that are executed between the software company and customer
		Tracking projects formally using tools like MS Project

4 points

QUESTION 3

Static analysis of software is done by

		customer
		code inspection team
		testers
		tools

4 points

QUESTION 4

Identify the strategy that is NOT part of cleanroom development:

		formal specification
		statistical testing
		limited specification
		incremental development

4 points

QUESTION 5

Which one is NOT a principal type of critical system?

		Safety-critical systems
		time-critical systems
		business critical systems
		mission-critical systems