Next Step: Robustness Testing Service

• Ballista Server

  • Selects tests
  • Performs pattern Analysis
  • Generates “bug reports”
  • Never sees user’s code

• Ballista Client
  • Links to user’s SW under test
  • Can “teach” new data types to server (defn. language)

Previous slide

Next slide

Back to first slide

View graphic version