Ballista: “High Level” + “Repeatable”

• Example test:

read(bad_fd, NULL_buffer, neg_one_length);

• High level fault injection

  • Send exceptional values into a component set through the API

• Repeatable: single function call for each test:

  • System state initialized & cleaned up for each single-call test
  • Combinations of valid and invalid parameters tried in turn
  • A “simplistic” model, but it does in fact work...
    • Crashes several commercial operating systems

Previous slide

Next slide

Back to first slide

View graphic version