On the fly test generation for real time protocols

Castanet, Richard; Koné, Ousmane; Laurençot, Patrice

doi:10.1109/icccn.1998.998798

Cited by 13 publications

(8 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This also disables a reasonable prediction of test suite coverage. Meanwhile, an explicit test suite selection strategy can be performed when using test purposes to characterize the expected tests [8,6,7] and, above all, "to guide" the test selection process, "off line", before test execution. This is a different and now classical basis for test selection against combinatory explosion.…”

Section: Introductionmentioning

confidence: 99%

“…Indeed, the "on the fly traversal" consists of searching the test pattern from the system model, while avoiding the whole exploration of the model. For timed systems, the principles of on the fly test selection from test purposes were presented a few years ago [6,15]. The new features and improvements here are the combination of on-the-fly traversal and modern symbolic abstractions together with enhanced real-time observers, for improving the efficiency of test case selection.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Symbolic and on the Fly Testing with Real-Time Observers

Bouaziz

Koné

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Analyzing real-time specifications involves new difficulties in the test generation process. In addition to usual combinatory explosion, issues like tests executability and controllability become more problematic. To deal with such issues, the new method proposed in this paper combines both on the fly computation (not on line) and optimized symbolic analysis with the underlying concept of real-time observers. A symbolic forward analysis is used for test executability and a backward analysis is performed to refine the tests controllability in view of avoiding inconclusive verdicts. The featured observers and the backward computation are the basis for a more targeted test selection. To illustrate the method, the work example is a process control communication system. Finally, we introduce Real-time Ethernet and the related tests produced with our method.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Symbolic and on the Fly Testing with Real-Time Observers

Bouaziz

Koné

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…We consider the access control-based vulnerabilities expressed in OWASP (2003) Castanet et al (1998).…”

Section: Web Services Security Overviewmentioning

confidence: 99%

A Guided Web Service Security Testing Method

Salva¹

2012

Emerging Informatics - Innovative Concepts and Applications

View full text Add to dashboard Cite

“…Castanet et al presents in [10] an approach where timed test traces can be generated from timed automata specifications. Test selection must be done manually through engineerer specified test purposes (one for each test) themselves given as deterministic acyclic timed automata.…”

Section: Related Workmentioning

confidence: 99%

Automated test generation from timed automata

Nielsen

Skou

2003

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

Abstract.Testing is the most dominating validation activity used by industry today, and there is an urgent need for improving its effectiveness, both with respect to the time and resources for test generation and execution, and obtained test coverage. We present a new technique for automatic generation of real-time black-box conformance tests for non-deterministic systems from a determinizable class of timed automata specifications with a dense time interpretation. In contrast to other attempts, our tests are generated using a coarse equivalence class partitioning of the specification. To analyze the specification, to synthesize the timed tests, and to guarantee coverage with respect to a coverage criterion, we use the efficient symbolic techniques recently developed for model checking of real-time systems. Application of our prototype tool to a realistic specification shows promising results in terms of both the test suite size, and the time and space used for test generation. BackgroundTesting consists of executing a program or a physical system with the intention of finding undiscovered errors. In typical industrial projects, as much as a third of the total development time is spent on testing, and it therefore constitutes a significant portion of the cost of the product. Since testing is the most dominating validation activity used by industry today, there is an urgent need for improving its effectiveness, both with respect to the time and resources used for test generation and execution, and obtained coverage.A potential improvement that is being examined by researchers is to make testing a formal method, and to provide tools that automate test case generation and execution. This approach has experienced some level of success: Formal specification and automatic test generation are being applied in practice [7,20,23,26], and commercial test generations tools are emerging [17,24]. Typically, a test generation tool inputs some kind of finite state machine description of the behavior required of the implementation. A formalized implementation relation describes exactly what it means for an implementation to be correct with respect to a specification. The tool interprets the specification or transforms it to a data structure appropriate for test generation, and then computes a set of test sequences. Since exhaustive testing is generally infeasible, it must select only a subset of tests for execution. Test selection can be based on manually stated test purposes, or on a coverage criterion of the specification or implementation.

show abstract

On the fly test generation for real time protocols

Cited by 13 publications

References 13 publications

Symbolic and on the Fly Testing with Real-Time Observers

Symbolic and on the Fly Testing with Real-Time Observers

A Guided Web Service Security Testing Method

Automated test generation from timed automata

Contact Info

Product

Resources

About