software testing - 2024 ACF Winter at Online

Question

A form of software development “driven” by this process involves repeatedly performing this process alongside a minimal amount of code. For 10 points each:

[10m] Name this software engineering process whose “unit” form frequently utilizes fakes, stubs, and mocks.

ANSWER: software testing [accept unit testing or test-driven development; prompt on TDD]

[10e] Testing is a “dynamic” way to find these programming errors. Grace Hopper famously found a literal one of these errors inside the Harvard Mark II.

ANSWER: bugs [accept debugging]

[10h] Static program analysis often utilizes a logic developed by this computer scientist, whose namesake “triples” describe pre- and post-conditions for a program command. This British computer scientist also invented quicksort.

ANSWER: Tony Hoare [or Charles Antony Richard Hoare or C. A. R. Hoare; accept Hoare logic or Floyd-Hoare logic or Hoare rules or Hoare triples]

Back to bonuses

Summary


2024 ACF Winter at UC Berkeley	2024-11-16	Y	3	26.67	100%	100%	67%
2024 ACF Winter at Lehigh	2024-11-16	Y	7	17.14	100%	43%	29%
2024 ACF Winter at Northwestern	2024-11-16	Y	7	17.14	100%	57%	14%
2024 ACF Winter at Ohio State	2024-11-16	Y	6	16.67	100%	67%	0%
2024 ACF Winter at Online	2024-11-16	Y	8	15.00	100%	38%	13%
2024 ACF Winter at Central Florida	2024-11-16	Y	5	12.00	100%	20%	0%
2024 ACF Winter at Oxford	2024-11-16	Y	10	19.00	100%	70%	20%
2024 ACF Winter at Brandeis	2024-11-16	Y	10	17.00	100%	60%	10%

Data


Arkansas	Colorado College	10	10	0	20
Iowa	Central Oklahoma	0	10	0	10
McGill E	Vassar B	0	10	0	10
Texas B	Mississippi State	10	10	0	20
NYU A	WUSTL A	10	10	10	30
Oregon State	Texas D	0	10	0	10
Missouri	Texas A	0	10	0	10
Vassar A	Ole Miss	0	10	0	10