H. Garavel. Open/Csar: An open software architecture for verification, simulation, and testing. In Ste#en [25], pages 68--84. For more information on the tool set, see http://www.inrialpes.fr/vasy/pub/cadp.html.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....ensure that such a symmetry indeed allows to find the desired subautomata. We instantiate this general framework by focusing on symmetries defined in terms of repeating patterns. Some experiments with pattern based symmetries, supported by a prototype tool implemented using the Open Csar tool set [14], have shown that substantial savings may be obtained in the number of tests. Since we assume that the black box system has some symmetrical structure (cf. the uniformity hypothesis in [16, 6] it is perhaps more appropriate to speak of gray box testing. For the specification FSM it will ....

....Section 7.2 presents the example of a cyclic train, and Section 7.3 presents the example of a ring leader election protocol. The code listings for these examples can be found in Appendices A, B and C. Part of the test generation trajectory was implemented: we used the tool environment Open Csar[14] for prototyping the algorithm Kernel from Section 3. Section 7.4 relates some prototyping experiences. We work with a pattern based symmetry (Section 6) and apply the test derivation method from Section 5. 7.1 A chatbox service In this section we report on some experiments in the application of ....

[Article contains additional citation context not shown here]

H. Garavel. Open/Csar: An open software architecture for verification, simulation, and testing. In Ste#en [25], pages 68--84. For more information on the tool set, see http://www.inrialpes.fr/vasy/pub/cadp.html.

....functional programming language equipped with primitives for graph exploration. Definitions of several well known temporal logics such as ACTL and the modal calculus are provided, and new ones can easily be added. Further details about XTL are given in Section 4. CADP also provides OPEN CSAR [11], an open programming interface that separates the tasks of graph generation and graph exploration, allowing different applications (simulation, controlled execution, model checking) to be applied to different formalisms (LOTOS programs, explicit graphs, networks of automata) It has been used ....

H. Garavel. OPEN/CSAR: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen, editor, Proceedings of TACAS'98 (Lisbon, Portugal), volume 1384 of Lecture Notes in Computer Science, pages 68--84, Berlin, Mar. 1998. Springer Verlag.

....functional programming language equipped with primitives for graph exploration. Definitions of several well known temporal logics such as ACTL and the modal calculus are provided, and new ones can easily be added. Further details about XTL are given in Section 4. CADP also provides OPEN CSAR [11], an open programming interface that separates the tasks of graph generation and graph exploration, allowing different applications (simulation, controlled execution, model checking) to be applied to different formalisms (LOTOS programs, explicit graphs, networks of automata) It has been used ....

H. Garavel. OPEN/CSAR: An Open Software Architecture for Verification, Simulation, and Testing. In B. Steffen, editor, Proceedings of TACAS'98 (Lisbon, Portugal), volume 1384 of Lecture Notes in Computer Science, pages 68--84, Berlin, Mar. 1998. Springer Verlag.

....needed to enhance modelling and analysis convenience. In addition, it seems favourable to link stochastic features to existing modelling and analysis tools with open architecture. We are currently making e#orts to incorporate stochastic modelling and analysis features into the CADP toolset [13, 15]. Markov chain models have been the clear focus of this paper. Their memoryless property considerably simplifies both modelling and analysis, but the property also implies that many real world phenomena can only roughly be approximated with Markov chains. Hence there is a need to extend the ....

H. Garavel. Open/Csar: An open software architecture for verification, simulation, and testing. In B. Ste#en, ed, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 98), LNCS 1384, pp. 68--84, Springer, 1998.

....Explorer is a specification language specific component that o#ers functions to explore the transition graph of a specification and to provide, for a given state, the set of transitions that are enabled in this state. For the interface between Explorer and Primer we use the Open Caesar interface [6] which is a C API that provides exactly such state and transition functions for labeled transition systems. This implies that we can use existing tools to implement the Explorer. Currently, we use Caesar as our LOTOS Explorer. An SDL explorer also exist (but, to our knowledge, is not publically ....

H. Garavel. Open/Csar: An Open Software Architecture for Verification, Simulation, and Testing. In B. Ste#en, editor, TACAS'98, pages 68--84. LNCS 1384, Springer-Verlag, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC