50,345 Hits in 6.7 sec

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
In this article we report on applying the well-known TGV tool for protocol conformance testing of a Session Initiation Protocol (SIP) server.  ...  Fifth IEEE International Conference on Software Engineering and Formal Methods 0-7695-2884-8/07 $25.00  ...  This article focuses on protocol conformance testing of a session initiation protocol (SIP) Registrar in the context of a commercial voice-over IP (VoIP) server.  ... 
doi:10.1109/sefm.2007.31 dblp:conf/sefm/AichernigPWW07 fatcat:5ih3iayiebbmfcnw3oqrubrase

An Algebraic Framework for the Feature Interaction Problem [chapter]

Mohammed Faci, Luigi Logrippo
2007 AMAST Series in Computing  
However, being formal, our method allows precise reasoning, leading to precise criteria for choosing the set of test cases and analyzing the test results.  ...  In this context, the main idea of our method is that in a system integrating features, the behavior of each feature (which is characterized as the sequences of observable actions generated by the feature  ...  Funding sources for our work include the Natural Sciences and Engineering Research Council of Canada, the Telecommunications Research Institute of Ontario, Bellcore, Bell-Northern Research, and the National  ... 
doi:10.1142/9789812708472_0020 fatcat:ypek2wz77ba5ln5mv4wpgttty4

Problem Oriented Software Engineering: A design-theoretic framework for software engineering

Jon G. Hall, Lucia Rapanotti, Michael Jackson
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
In this article we report on applying the well-known TGV tool for protocol conformance testing of a Session Initiation Protocol (SIP) server.  ...  Fifth IEEE International Conference on Software Engineering and Formal Methods 0-7695-2884-8/07 $25.00  ...  This article focuses on protocol conformance testing of a session initiation protocol (SIP) Registrar in the context of a commercial voice-over IP (VoIP) server.  ... 
doi:10.1109/sefm.2007.29 dblp:conf/sefm/HallRJ07 fatcat:tpanpxejgresjjdototgrnsysy

Challenges of a Validation Process Based on Models: An Industrial Case Study

Elisangela Rodrigues Vieira, Dario Vieira, Jean-Pierre Gallois
2012 Bell Labs technical journal  
Another objective was the implementation of model-based testing (MBT) in an industrial setting and the evaluation of its effectiveness.  ...  To those familiar with network modeling and its advantages across different phases of system development, the thought of generating test cases based on informal specifications would sound unreal.  ...  Given a model, a formal conformance relation, and test purpose definitions, the AGATHA test generator computes tests to be executed on the real systems and can also provide an automatic verdict upon test  ... 
doi:10.1002/bltj.21533 fatcat:c7oe6kql7rehvm54g53vmllxgu

Introduction to the PSTV-IX

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
1991 Computer networks and ISDN systems  
Bochmann and Bj~rn Pehrson, who contributed the reports on the workshop sessions they respectively chaired.  ...  All of the four papers that form the present collection were improved by acute, constructive criticism by the referees, to whom, also on behalf of the readers, we extend a hearty thanks for their outstanding  ...  A selection of these events has given birth to the collection presented in this issue, consisting of a tutorial on formal methods in protocol conformance testing, two papers on experience with formal methods  ... 
doi:10.1016/0169-7552(91)90078-q fatcat:abmyrcfipbhprdrlrgvlcjbxwa

Design and Operationalization of Patterns - Case of a Training Situation of Personal Assistance for Public in Professional Integration

Lahcen Oubahssi, Claudine Piau-Toffolon, Jean-Pierre Clayer, Fatma Kammoun
2013 Proceedings of the 8th International Joint Conference on Software Technologies  
We analyzed their process guiding the jobseeker course and formalized some of their training practices in the form of patterns.  ...  This paper presents work carried out in the context of a partnership with an association (PARTAGE) promoting the professional integration of the jobseekers.  ...  The first one formalizes the training progress and the second one the creation of an assessment test.  ... 
doi:10.5220/0004489904880495 dblp:conf/icsoft/OubahssiPCK13 fatcat:znerely2mzbgjbtv2aqcz546bq

Automation of test case derivation in respect to test purposes [chapter]

A. Guerrouat, H. König
1996 Testing of Communicating Systems  
Our approach is founded on a partial formalization of the test purposes that permits an automated derivation of test cases and the deduction of test verdicts.  ...  Test case derivation and test verdicts specification in respect to given test purposes are an important issue in conformance testing.  ...  context and so on.  ... 
doi:10.1007/978-0-387-35062-2_15 fatcat:ozcld2epfvghhm7mo4wl6lzyde

Some notes on the history of protocol engineering

Gregor v. Bochmann, Dave Rayner, Colin H. West
2010 Computer Networks  
The standardization of Formal Description Techniques in the 1980ies is discussed in the following section, as well as the standardization of conformance testing.  ...  Then it concentrates on the development of protocol engineering, that is, the methods for the specification of communication protocols and services, the verification of protocols and their implementation  ...  Specification-based testing In the context of protocol standardization, conformance testing is an important issue.  ... 
doi:10.1016/j.comnet.2010.05.019 fatcat:glvxu3spb5gczgvskx2h76q2zm

First International Workshop on Requirements Engineering and Law (RELAW)

Annie I. Antón, Travis D. Breaux, Dimitris Karagiannis, John Mylopoulos
2008 2008 Requirements Engineering and Law  
The purpose of this workshop was to bring together researchers, lawyers and engineers to coordinate discussion on emerging issues in this area.  ...  Requirements engineering is the practice of identifying and specifying system requirements to achieve a specific purpose.  ...  Formal Methods and Models The second session covers topics in formal methods and models used to represent and reason about legal requirements.  ... 
doi:10.1109/relaw.2008.4 fatcat:usxhwcvjtfbqfcnagw2ctyuqwu

Protocol testing

Gregor V. Bochmann, Alexandre Petrenko
1994 Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94  
We review the major results in the area of protocol testing and discuss in which way these methods may also be relevant in the more general context of software testing. servation and synchronization problems  ...  These issues have a strong impact on testability. Finally, we review the practice of protocol conformance testing and state our conclusions. 1.1.  ...  Acknowledgments: This research was supported by the IDACOM-NSERC-CWARC Industrial Research Chair on Communication Protocols at the University of Montreal. The authors wish to  ... 
doi:10.1145/186258.187153 dblp:conf/issta/BochmannP94 fatcat:cidcy7q36nfhte7sthilvgbw3y

Correct Passive Testing Algorithms and Complete Fault Coverage [chapter]

Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan
2003 Lecture Notes in Computer Science  
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly for the purposes of testing  ...  With respect to these definitions, we show that the homing algorithm, first proposed in [4] , and subsequently used in [6] [7] [8] , is sound and complete for passively testing the conformance of an implementation  ...  Acknowledgements The authors would like to thank Richard Buskens, Patrice Godefroid, and Raymond Miller for many helpful comments on earlier drafts of this paper.  ... 
doi:10.1007/978-3-540-39979-7_20 fatcat:dh5bzfwppvb6vbb7cefkp2zcxi

Modelling Enterprise System Protocols and Trace Conformance

Cameron Hine, Jean-Guy Schneider, Jun Han, Steve Versteeg
2010 2010 21st Australian Software Engineering Conference  
Being able to independently test each system's conformance to the protocol specification is important to ensure the overall robustness and reliability of the distributed system.  ...  In order to address this issue, we propose a concise formal modelling syntax for application-layer protocols, with clearly defined semantics.  ...  finally, the anonymous reviewers for their comments on the draft manuscript.  ... 
doi:10.1109/aswec.2010.40 dblp:conf/aswec/HineSHV10 fatcat:tb4v7z362ncklaxpyrqmkm5vyq

Improving Fault-based Conformance Testing

Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa
2008 Electronical Notes in Theoretical Computer Science  
Furthermore, the previous approach used the counterexamples of a bisimulation check (between the original and the mutant) as test purposes.  ...  Although a practical case study of web-server testing has been conducted, we observed several issues when applying this method in a large industrial project.  ...  (SFG), and the city of Vienna in terms of the center for innovation and technology (ZIT). Additionally, this research is partially funded by the EU project, Framework 6: IST-33826 CREDO.  ... 
doi:10.1016/j.entcs.2008.11.006 fatcat:v5tgpccsynaxnivmbnceb26dd4

Formal Methods in Testing Software Architectures [chapter]

Antonia Bertolino, Paola Inverardi, Henry Muccini
2003 Lecture Notes in Computer Science  
We also briefly discuss the relation of our approach with some recent research in exploiting the standard UML notation as an Architectural Description Language, and in conformance testing of reactive systems  ...  To identify the test sequences, we derive abstract views of the LTS, called the ALTSs, to focus on relevant classes of architectural behaviors and hide away uninteresting interactions.  ...  We are indebted to Antonio Bucchiarone, who provided the CW case study, and to Thierry Jeron for his constructive help in applying the TGV tool on the CW.  ... 
doi:10.1007/978-3-540-39800-4_7 fatcat:42xcmo6azrdmdkzmimofb6nwim

Combining Design Methods for Service Development [chapter]

Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker
1999 Formal Methods for Open Object-Based Distributed Systems  
.), Formal Methods for Open Object-Based Distributed Systems  ...  Since the testing step normally takes a lot of the overall development time, an approach to reduce this time via automation of test execution in a distributed Common Object Request Broker Architecture  ...  Test Case Development The starting point of any automated testing is the design and specification of test cases, which are used to check certain conformance requirements.  ... 
doi:10.1007/978-0-387-35562-7_22 fatcat:uqrjxyjvkbbltkiip4tvyjmmdq
« Previous Showing results 1 — 15 out of 50,345 results