Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components

Details Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components

2004-04-19

arxiv.org/abs/cs/0404037v2

Computer Science

Software Engineering

Submitted to FSE'04

Scientific paper

Component-based software development has posed a serious challenge to system verification since externally-obtained components could be a new source of system failures. This issue can not be completely solved by either model-checking or traditional software testing techniques alone due to several reasons: 1) externally obtained components are usually unspecified/partially specified; 2)it is generally difficult to establish an adequacy criteria for testing a component; 3)components may be used to dynamically upgrade a system. This paper introduces a new approach (called {\em model-checking driven black-box testing}) that combines model-checking with traditional black-box software testing to tackle the problem in a complete, sound, and automatic way. The idea is to, with respect to some requirement (expressed in CTL or LTL) about the system, use model-checking techniques to derive a condition (expressed in communication graphs) for an unspecified component such that the system satisfies the requirement iff the condition is satisfied by the component, and which can be established by testing the component with test cases generated from the condition on-the-fly. In this paper, we present model-checking driven black-box testing algorithms to handle both CTL and LTL requirements. We also illustrate the idea through some examples.

Affiliated with

Also associated with

No associations

Rating

Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-382241