Referenced Items are not available for this document.
We address the problem of test case selection and path sensitization in the process of testing real-time preemptive systems, following a formal methodology based on the theory of preemptive Time Petri Nets (pTPN) implemented in the Oris tool. We discuss practical factors that limit feasible behaviors in the implementation of a nondeterministic specification and we motivate the assumption of test cases defined as paths selected in the symbolic state space of a pTPN specification. Feasibility and effectiveness of the proposed sensitization technique are demonstrated through experimentation on a real-time operating system.
Published in:
Emerging Technologies and Factory Automation, 2007. ETFA. IEEE Conference on
Date of Conference: 25-28 Sept. 2007
- Page(s):
- 85 - 92
- E-ISBN :
- 978-1-4244-0826-9
- Print ISBN:
- 978-1-4244-0825-2
- INSPEC Accession Number:
- 9824646
- Conference Location :
- Patras
- Digital Object Identifier :
- 10.1109/EFTA.2007.4416757
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
