1 Background

My background is in software testing and software fault injection technologies. I am currently working on a team to develop a profile-independent component dependability model that is composable for the US National Institute of Standards and Technology. The approach first involves developing a dependability metric (as opposed to a reliability model) that can stamp a value onto a component that is similar to a reliability estimate (in [0, 1]). From there, we hope to be able to assess a worst-case system-level dependability estimate by analyzing how components are composed in a system and from what their individual dependability scores are.

Testing Formal Methods

Jeffrey M. Voas

Reliable Software Technologies
Suite 250, 21515 Ridgetop Circle, Sterling, VA 20165 USA
Tel: (703) 404-9293
Fax: (703) 404-9295
Email: jmvoas@rstcorp.com