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]
<Other Science>
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% |
Data
| Cambridge C | Birmingham | 0 | 10 | 0 | 10 |
| Cambridge A | Imperial B | 10 | 10 | 0 | 20 |
| Cambridge B | Durham A | 10 | 10 | 0 | 20 |
| Cambridge D | Warwick A | 0 | 10 | 0 | 10 |
| Manchester | Edinburgh | 10 | 10 | 0 | 20 |
| Imperial A | Oxford B | 10 | 10 | 10 | 30 |
| Bristol B | LSE B | 10 | 10 | 0 | 20 |
| Oxford A | Bristol A | 10 | 10 | 10 | 30 |
| Southampton A | Warwick B | 10 | 10 | 0 | 20 |
| Durham B | Vanderbilt | 0 | 10 | 0 | 10 |