The Research Of Software Testing Technology And Software Component Verification

This paper discusses an important technique-software testing, which is used to assure software quality. At first, this paper describes the basic concepts about software testing. With the progress of studying with software testing, peoples have put forward some new theories, for example, Test driven development, Exploratory testing, Model--based Testing , Automation of testing , Component-based Testing and so on.The emphases of this paper is component-based Testing. Components and Component-based software development is a hotspot of software engineering. Component testing is similar to the traditional unit testing; component-based software testing is similar to the traditional method of integration testing. Using software components is a modern approach for building extensible and reliable applications. To ensure high dependability, a component application should undergo verification, e. g. model checking, to prove it has certain properties. The implementation of an application is usually too complex to be verified at a formal level; therefore, a model being an abstraction of the implementation is to be used. Behavior protocols are a platform for modeling of software component behavior. Behavior Protocol Checker is a tool for evaluation of horizontal and vertical compliance on models described by behavior protocols. Evaluation of these relations employs exhaustive traversal of the model state space and thus is quite time-consuming. The current version of the Behavior Protocol Checker is limited to state spaces of the size in the order of magnitude of 10~8 states, which is not sufficient in some cases. While the Spin model checker is the most advanced model checker.In this paper, we propose a method for translation behavior protocols to Promela, which is consequently used as the input for the SPIN model checker. Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components. Test the software consisted of cooperating components by the proposed method , and give the validity of the translation rule.