Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services

Cavalli, Ana; Lee, David; Rinderknecht, Christian; Zaïdi, Fatiha

doi:10.1007/978-0-387-35578-8_3

Cited by 51 publications

(54 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…testing a component which is embedded in a complex system). It has also been adapted to perform interoperability testing [6].…”

Section: Steps Of the Testing Methodologymentioning

confidence: 99%

Application of a formal testing methodology to wireless telephony networks

Cavalli¹,

Mederreg²,

Zaïdi³

2004

J. Braz. Comp. Soc.

Self Cite

View full text Add to dashboard Cite

This paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability testing detecting different kinds of implementation faults, as for instance output and transmission faults. The test execution is performed in the framework of a set of architectures capable to deal with different environments. Telecommunication systems and mobility are the main focus of the application presented in this paper. Two case studies illustrates the application of the methodology to a wireless telephone network: conformance and interoperability testing of Wireless Application Protocol (WAP) protocols and services based on the subscriber location.

show abstract

“…testing a component which is embedded in a complex system). It has also been adapted to perform interoperability testing [6].…”

Section: Steps Of the Testing Methodologymentioning

confidence: 99%

Application of a formal testing methodology to wireless telephony networks

Cavalli¹,

Mederreg²,

Zaïdi³

2004

J. Braz. Comp. Soc.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Partial state space exploration guided by test purposes is carried out, which is called the Hit-or-Jump algorithm [14]. A test purpose is a set of (ordered) conditions.…”

Section: Testgen-ifmentioning

confidence: 99%

Modeling, Validation, and Verification of PCEP Using the IF Language

Hwang¹,

Lallali²,

Cavalli³

et al. 2009

Formal Techniques for Distributed Systems

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper, we present the modeling, validation, and verification of an industrial protocol for constraint-based path computation, called PCEP. From the PCEP specification defined by IETF, we divide the functionalities of PCEP into two parts: application and protocol. The protocol part of PCEP is then described in the IF language which is based on communicating timed automata. A number of basic requirements are identified from the PCEP specification and then described as properties in the IF language. Based on these properties, the validation and verification of the formal specification are carried out using the IF toolset. Test cases are generated by using an automatic test generation tool, called TestGen-IF, which uses partial state space exploration guided by test purposes. As a result of the modeling, validation, and verification, some errors and ambiguities are found in the PCEP specification. Also a number of test cases are obtained which will be used for testing implementations.

show abstract

“…To specify the Web application, we used ObjectGEODE [19] and SIRIUS [6] tools. They are based on a language specifically dedicated to the formal specification of interactive systems: SDL which is a specification and description language standardized by the ITU 5 (International Telecommunication Union).…”

Section: B the Formal Specificationmentioning

confidence: 99%

“…2) Generation with SIRIUS: SIRIUS is based on Hit-orJump [6], an algorithm especially used for components testing to perform test sequences generation through the specification. This research is guided by objectives which are illustrated by predicates on transitions (and written in SDL).…”

Section: The Security Policy Specification and Integrationmentioning

confidence: 99%

Testing Security Rules with Decomposable Activities

Lee

Won

Sung

et al. 2007

10th IEEE High Assurance Systems Engineering Symposium (HASE'07)

Self Cite

View full text Add to dashboard Cite

Abstract-Checking that a security policy has been correctly deployed over a network is a key issue for system administrators. Specification and testing of such policies constitute fundamental steps in the development of a secure system. To address both challenges, we propose a framework to describe how modalities such as permissions, prohibitions and obligations -involving decomposable activities-can be integrated in a functional EFSM specification of a system to obtain a new specification of the system that takes into account the security policy. Then, we propose a method to automatically derive test sequences to test the implementation, using a dedicated tool developed in our laboratory. Finally, we apply our framework to a Weblog system case study to demonstrate its reliability.

show abstract

Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services

Cited by 51 publications

References 11 publications

Application of a formal testing methodology to wireless telephony networks

Application of a formal testing methodology to wireless telephony networks

Modeling, Validation, and Verification of PCEP Using the IF Language

Testing Security Rules with Decomposable Activities

Contact Info

Product

Resources

About