Formal and Model-Based Testing of Concurrent Workflows

Wang, Chen-Wei; Cavarra, Alessandra; Davies, Jim

doi:10.1109/qsic.2011.27

Cited by 2 publications

(4 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [4] we introduced a testing approach to testing design models. We consider (MakeBooking ||| CancelOrChange) for demonstration.…”

Section: E a Testing Methodology For Parallel Workflowsmentioning

confidence: 99%

“…In [3] [4] we already introduce an approach-as visualised in Figure 1to testing design models. We adopt an object modelling language named BOOSTER [5] targeted at the model-driven development [6] of information systems.…”

Section: Introductionmentioning

confidence: 99%

“…A use-case scenario [4] may be certain pattern(s) of data usages, specific pattern(s) of operations, or a combination of both, that must occur. Each test result of the design model we obtain is a combination of an operation trace and a guarding constraint.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Formal Approach for the Iterative Design of Behavioural Models

Wang

2012

2012 19th Asia-Pacific Software Engineering Conference

Self Cite

View full text Add to dashboard Cite

In the process of specifying update operations of an information system, it is critical to ensure that the resulting design is consistent with the developers' understanding about the requirements, before it is adapted to a chosen platform of implementation. We present a formal approach to testing behavioural specifications that characterise the intended effects on the state as two-state, first-order predicates. By supplying use-case scenarios that are of interest, the developers are able to examine the test results, decide if the model under test is consistent, and revise the source specifications if necessary. To facilitate an iterative process of this, in this paper we develop a list of equivalence and refinement (rewriting) laws of predicates that are targeted at information system states. Our development is built upon the formal semantics and logical properties of a formal language of substitutions that serves as an abstract implementation language for these predicates.

show abstract

“…In [4] we introduced a testing approach to testing design models. We consider (MakeBooking ||| CancelOrChange) for demonstration.…”

Section: E a Testing Methodology For Parallel Workflowsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Formal Approach for the Iterative Design of Behavioural Models

Wang

2012

2012 19th Asia-Pacific Software Engineering Conference

Self Cite

View full text Add to dashboard Cite

show abstract

“…A limitation was applied on the count of loop iteration for handling the problem of state space explosion. A combination of formal and model‐based methodology for testing the concurrent workflows was given by Chen‐Wei Wang et al , where a method sequence and a boolean guard condition were used to represent a test case.…”

Section: Overview Of Studiesmentioning

confidence: 99%

A systematic review of approaches for testing concurrent programs

Arora

Bhatia

Singh

2015

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYConcurrent programs are replacing the sequential programs as they utilize the true capabilities of multicore architecture. The extensive use of multicore systems and multithreaded paradigms warrants more attention to the testing of the concurrent programs. The testing concurrent program is not a new field as it has been more than 40 years because the first problem related to the testing concurrent program was addressed by the researchers. The field covers various domains, which include concurrency problems, testing approaches, techniques, graphical representations, tools, and subject systems. This paper aims at providing an overview of research in the domain of testing concurrent programs by classifying it into eight categories: (a) reachability testing, (b) structural testing, (c) model-based testing, (d) mutation-based testing, (e) slicing-based testing, (f) formal methods, (g) random testing, and (h) search-based testing. The survey is focused on the techniques applied, methodologies followed, and tools used in these aforementioned approaches. Furthermore, the gaps are also identified in different approaches. The paper concludes with the consolidation of various testing parameters along with the future directions.

show abstract

Formal and Model-Based Testing of Concurrent Workflows

Cited by 2 publications

References 19 publications

A Formal Approach for the Iterative Design of Behavioural Models

A Formal Approach for the Iterative Design of Behavioural Models

A systematic review of approaches for testing concurrent programs

Contact Info

Product

Resources

About