英语论文 ：大学期末大论文[1]

【找论文网 - 英语论文】
Over the last decade, businesses and governments have been giving increasing attention to the description, automation, and management of business processes using IT technologies. This interest grows out of the need to streamline business operations, consolidate organizations, and save costs, reflecting the fact that the process is the basic unit of business value within an organization. The Business Process Execution Language for Web Services (BPEL4WS, BPEL for short) provides an XML notation and semantics for specifying business process behavior based on Web Services. A BPEL process is defined in terms of its interactions with partner processes. A partner process may provide services to the process, require services from the process, or participate in a two-way interaction with the process. Mission-critical business solutions need comprehensive testing to ensure it performs correctly and reliably in operation. A common strategy is to subject the solution to several phases of testing such as unit, integration and system testing, among which unit testing is used to verify the functions of a single module (class, component, process, etc). Often the later a bug is discovered, the more expensive it is to fix. Therefore it is no surprising that recently software engineering practice has been laying more emphasis on unit testing. However, in current industrial practice, business process testing focuses on system and user acceptance testing, whereas unit testing has not gained much attention. Business process unit testing treats an individual process as the unit under test, and tests its internal logic thoroughly.

The quality of software is a hot topic attracting attentions from both researchers and practitioners. Software testing is an important technique to guarantee the quality of software. It aims to reduce the software faults as much as possible. My main work is to study the problem of how to apply the constraint satisfaction techniques to software testing autom英语论文