From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems

Aichernig, Bernhard K.; Corrales-Delgado, Carlo

doi:10.1007/11693017_24

Cited by 27 publications

(26 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Its primary idea is to prevent the implementation under test to conform to a faulty specification. [1] outlines details regarding fault-based test purpose design. Briefly we summarize the basic principle:…”

Section: Fault-based Test Purpose Designmentioning

confidence: 99%

“…The use of test purpose tp on S gives a test case that fails if the implementation conforms to the faulty specification S M . In [1] the authors reported on successful application of this approach for testing the Apache HTTP server.…”

Section: Fault-based Test Purpose Designmentioning

confidence: 99%

“…In these cases the central point is the conformance with respect to the protocol's specification. In this article we report from an application of protocol conformance testing to a so called SIP Registrar in the context of a voice over IP (VoIP) server 1 . Due to the well-founded theory on input-output labeled transition systems (IOLTS), the ability of this theory to be employed in presence of non-deterministic models, and the availability of mature research prototypes, we decided to rely on IOLTSs.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Test purpose generation in an industrial application

Aichernig

Weiglhofer

Peischl

et al. 2007

Proceedings of the 3rd International Workshop on Advances in Model-Based Testing

Self Cite

View full text Add to dashboard Cite

Nowadays test engineers typically use two strategies for the design of test cases. First, test cases are designed related to some kind of structural coverage criteria. Second, test cases are created by having a specific fault model in mind. In this paper we evaluate these two supplementary techniques for test purpose design. We present a heuristic algorithm for the extraction of test cases from tgv's output, i.e., the test process. We discuss the problem of overlapping test purposes and illustrate improvements in terms of test execution time and in terms of number of test cases when minimizing this overlap. Furthermore, we evaluate different strategies for the generation of fault-based test purposes on our specification. For our evaluation, all extracted test cases are executed against a commercial and an open source implementation of a Session Initiation Protocol (SIP) Registrar.

show abstract

Section: Fault-based Test Purpose Designmentioning

confidence: 99%

Section: Fault-based Test Purpose Designmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Test purpose generation in an industrial application

Aichernig

Weiglhofer

Peischl

et al. 2007

Proceedings of the 3rd International Workshop on Advances in Model-Based Testing

Self Cite

View full text Add to dashboard Cite

show abstract

“…Another interesting application of mechanised conformance verification is reported in [2,3], where an approach is presented to generate fault-based testing. In [2], the strategy is to apply a mutation to the original specification and then carry out a mechanical comparison between the two specifications, based on some equivalence relation (in the particular context, strong bisimulation has been adopted).…”

Section: Introductionmentioning

confidence: 99%

“…In [2], the strategy is to apply a mutation to the original specification and then carry out a mechanical comparison between the two specifications, based on some equivalence relation (in the particular context, strong bisimulation has been adopted). A discriminating sequence resulted as counterexample of the analysis is taken as a test purpose from which test cases are generated.…”

Section: Introductionmentioning

confidence: 99%

Compositional Verification of Input-Output Conformance via CSP Refinement Checking

Sampaio

Nogueira

Mota

2009

Formal Methods and Software Engineering

View full text Add to dashboard Cite

Abstract. This paper contributes to a testing theory, based on the CSP process algebra, whose conformance relation (cspio) distinguishes input and output events. Although cspio has been defined in terms of the standard CSP traces model, we show that our theory can be immediately extended to address deadlock, outputlock and livelock situations if a special output event is used to represent quiescence. This is formally established by showing that this broader view of cspio is equivalent to Tretmans' ioco relation. Furthermore, we address compositional conformance verification, establishing compositionality properties for cspio with respect to process composition operators. Our testing theory has been adopted in an industrial context involving a collaboration with Motorola, whose focus is on the testing of mobile applications. Some examples are presented to illustrate the overall approach.

show abstract

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

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems

Cited by 27 publications

References 19 publications

Test purpose generation in an industrial application

Test purpose generation in an industrial application

Compositional Verification of Input-Output Conformance via CSP Refinement Checking

A systematic review of approaches for testing concurrent programs

Contact Info

Product

Resources

About