Rapid Embedded System Testing Using Verification Patterns

  • Authors:
  • Wei-Tek Tsai;Lian Yu;Feng Zhu;Ray Paul

  • Affiliations:
  • Arizona State University;Arizona State University;University of Minnesota;US Department of Defense

  • Venue:
  • IEEE Software
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The verification pattern (VP) approach for rapidly testing real-time embedded systems first classifies system scenarios into patterns. For each scenario pattern (SP), the approach develops a test script template to test all the scenarios belonging to that pattern. In this way, instead of developing numerous test scripts to test the system, test engineers can customize and reuse a set of test script templates to test the entire application, saving significant effort and time. This approach works particularly well for testing systems undergoing constant updates because test engineers can easily update or regenerate test scripts by reusing the test templates. The authors have applied this approach at industrial sites to test several safety-critical implantable medical devices. The applications significantly reduced cost and effort while maintaining the original quality requirements compared to the existing approaches.