Back to the email A Al May 7, 2026, morning Nice article! Here is a simple example of an integration test that would not decompose into a set of unit tests: test S {sum(1, 2, 3) == 6} The high level component method "sum" here integrates the low level component/unit method "add". It might have an error like this: def sum(a, b, c): return (add(add(a,b),a)) The test S would fail even though all possible unit tests of method "add" would pass. You're not signed in. Posting this comment will subscribe you to this newsletter with the email address you enter below. Reply and Subscribe
Nice article! Here is a simple example of an integration test that would not decompose into a set of unit tests:
test S {sum(1, 2, 3) == 6}
The high level component method "sum" here integrates the low level component/unit method "add". It might have an error like this:
def sum(a, b, c): return (add(add(a,b),a))
The test S would fail even though all possible unit tests of method "add" would pass.