Formal Test Automation: The Conference Protocol with TGV/TorX

Bousquet, Lydie Du; Ramangalahy, Solofo; Simon, Séverine; Viho, César; Belinfante, Axel; Vries, R.G. de

doi:10.1007/978-0-387-35516-0_14

Cited by 21 publications

(20 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For an empirical evaluation we applied structural and fault-based test purpose design to the specification of an entity of the Session Initiation Protocol (SIP), namely the SIP Registrar. We executed the generated test cases against a commercial implementation and against OpenSER 3 , an open source SIP Registrar.…”

Section: Marking Strategiesmentioning

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

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: Marking Strategiesmentioning

confidence: 99%

“…For example, the authors of [3] used tgv for test generation and TorX for test execution. Tests were generated by the use of manually-designed test purposes and by the use of randomly-generated test purposes.…”

Section: Related Researchmentioning

confidence: 99%

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

View full text Add to dashboard Cite

show abstract

“…The test scenarios in [2] are derived from multiple specification languages (namely, LOTOS, Promela and SDL) and then on-the-fly and batch tested with TorX. [4] investigates combinations of TGV for abstract test generation and TorX for test execution. [11] brings the case study of the Conference protocol with Phact (Philips Automated Conformance Tester).…”

Section: A Related Workmentioning

confidence: 99%

Model-based Testing of the Conference Protocol with Spec Explorer

Botinčan

Novaković

2007

2007 9th International Conference on Telecommunications

View full text Add to dashboard Cite

show abstract

“…Bousquet et al [6] applied Mutation Testing in the conformance testing. In their experiment, the criterion is used to verify if the implementation of a conference protocol is according to its specification.…”

Section: Related Workmentioning

confidence: 99%

“…Mutation Testing is a criterion initially proposed to program testing but some works have shown this criterion can also be applied to specification testing and conformance testing [6,15,16,17,18,20,25,26,29]. Mutation Testing consists of generating mutants of the program/specification, based on a mutant operator set that intents to model common, typical errors made during the development.…”

Section: Introductionmentioning

confidence: 99%

Mutation Testing Applied to Validate SDL Specifications

Sugeta

Maldonado

Wong

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Mutation Testing is an error-based criterion that provides mechanisms to evaluate the quality of a test set and/or to generate test sets. This criterion, originally proposed to program testing, has also been applied to specification testing. In this paper, we propose the application of Mutation Testing for testing SDL specifications. We define a mutant operator set for SDL that intends to model errors related to the behavioral aspect of the processes, the communication among processes, the structure of the specification and some intrinsic characteristics of SDL. A testing strategy to apply the mutant operators to test SDL specifications is proposed. We illustrate our approach using the Alternating-Bit protocol.

show abstract

Formal Test Automation: The Conference Protocol with TGV/TorX

Cited by 21 publications

References 6 publications

Test purpose generation in an industrial application

Test purpose generation in an industrial application

Model-based Testing of the Conference Protocol with Spec Explorer

Mutation Testing Applied to Validate SDL Specifications

Contact Info

Product

Resources

About