verificationPatternsShort -- 2009

verificationPatternsShort -- 2009 -...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Rapid Testing by Verification Patterns Wei-Tek Tsai Department of Computer Science and Engineering Arizona State University Tempe, AZ 85287
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Agenda Background Information The Verification Framework Requirement and Verification Patterns Framework Evaluation Summary
Background image of page 2
3 Main Contributions A Requirement Centered Verification Framework for  the requirement verification of real-time embedded  systems Rationale – Requirement, test, verifier A three layer architecture: hardware abstraction, support, test application Mechanisms Event assembling and event dispatching Test execution Behavioral verification Components Requirement, scenario, verifier, event assembler, test and test  engine etc.
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 Main Contributions A Pattern-based Requirement Verification Framework Novel concept of requirement patterns that classify  requirement based on the temporal and/or cause-effect  relations Novel concept of verification patterns that correspond to  requirement patterns. Verification patterns implemented as verifiers within the  verification framework context. Eight  requirement patterns and their corresponding  verification patterns Verification of a whole real-time system can be done by a  small number of patternized verifiers
Background image of page 4
5 Main Contributions An Extensible Verification Framework Requirement Patterns and Verification Patterns Feature Monitors A natural extension to event assembler Provide system abstraction that is more customer  friendly. Verification Extension with Behavioral Models Integration/Interfacing with all kinds of behavioral models Integration and Interaction with a Test Execution  Framework Pipelining test design, development and execution High level of automation
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
6 Background Information  Importance of the Verification of Embedded Software Failures in reactive applications including safety-critical  devices such as cardiac rhythm management devices can  be costly and have to be avoided.  Software is playing more and more important role of  controlling system components in many safety-critical  systems  Its testing is critical for ensuring products that have higher  levels of reliability and availability.  Its testing is the most critical phase of the product development  where the product is checked for its compliance with its  requirements through its execution 
Background image of page 6
7 Background Information The Concepts of Object-Oriented Framework A framework is a partially implemented program that  provides an overall software architecture, implemented  object and object components for a specific application or  domain. Object-oriented reuse technique – data abstraction, 
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 30

verificationPatternsShort -- 2009 -...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online