There are many variants of Petri net at present, and some of them can model system with both function and performance specification, such as stochastic Petri net, and generalized stochastic Petri net. In order to addr...
详细信息
Web services composition is a new software development paradigm, and it is a key point to achieve service-oriented computing currently. For meeting the QoS requirements of consumers, this paper presents the QoS calcul...
详细信息
This paper proposes a business process testing scenario generation based on test cases composition. Just like path oriented testing technique in structure testing area, this testing method focuses on finding the logic...
详细信息
This paper proposes a business process testing scenario generation based on test cases composition. Just like path oriented testing technique in structure testing area, this testing method focuses on finding the logical error in the process implementation according to the formal business process presentation. The test cases against a node of process designed by the techniques such as boundary value analysis, equivalence partitioning and so on, may not easily find the errors in the special business process tends. These test cases are modeled as TCN (Test Cases Nets) with a CPN (Colored Petri Nets) in this paper. The BPSN (Business Process Scenario Net) is built by composing the existing TCN. The generation technique of the test scenario for basis path testing for a business process according to the BPSN is discussed. We exemplify our approach in an ATM system that has a rich set of interactions with its users.
Nowadays, with the prevalence of Web applications, more and more services and information are available over the Internet while their correctness, security and reliability are often crucial to the success of business ...
详细信息
Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to analyze security requirement...
详细信息
Regression testing is a hot research area for Web service composition, which has direct impact on QoS of applications. This paper proposes an aspect-oriented regression test technique for analyzing functionalities of ...
详细信息
ISBN:
(纸本)1891706292
Regression testing is a hot research area for Web service composition, which has direct impact on QoS of applications. This paper proposes an aspect-oriented regression test technique for analyzing functionalities of service composition. An extended version of Petri net is proposed as the underlying formalism. Services and components are modeled by Petri nets, service evolution is specified as crosscutting concerns, and in turn woven into the testing model of service composition by following weaving rules. A regression testing algorithm of service composition is designed. Theories of Petri nets help prove the effectiveness of the testing method. A case study shows that the approach simplifies the process of testing, and improves its efficiency as well.
In this paper, we propose a test generation method that combines compositional reasoning theory and counterexample guided abstraction refinement framework. Firstly, the abstract model of system is produced by composin...
详细信息
In this paper, we propose a test generation method that combines compositional reasoning theory and counterexample guided abstraction refinement framework. Firstly, the abstract model of system is produced by composing abstract components, then the abstract test cases can be generated by model checking based on abstract model, finally, the concrete test case of the complete original system is generated by refining the abstract model. The abstraction refinement keeps the state space small enough to alleviate the state space explosion problem.
As a graphical and mathematical modeling tool, CPN (Colored Petri Net) is often used to describe the transition of states for an information system. The advantage of CPN model is that the model can be simulated dynami...
详细信息
TCPNIA (Timed Colored Petri Nets with Inhibitor Arcs, TCPNIA) is a model for specifying real-time embedded systems. It integrates features of colored Petri nets, timed Petri nets and inhibitor arcs. The methods for mo...
详细信息
Test case is one of the most important part of softwaretesting. Reusing available test cases is an effective means to reduce the cost and improve the efficiency of softwaretesting. In order to efficiently reuse test...
详细信息
Test case is one of the most important part of softwaretesting. Reusing available test cases is an effective means to reduce the cost and improve the efficiency of softwaretesting. In order to efficiently reuse test cases, a unified and standard format to describe test cases is needed. Therefore, this paper presents a reusing method based on ontology. The test case ontology is created by Protege Ontology Editor and described by OWL (Web Ontology Language). At last, an example to illustrate the application of this method is to be discussed.
暂无评论