A model-based approach for robustness testing

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 333-348

  Fernandez, Jean Claude ^a   Mounier, Laurent ^a   Pachon, Cyril ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; SPECIFICATIONS; COMPUTERS;

MODEL-BASED APPROACH; OPERATIONAL SPECIFICATIONS; ROBUSTNESS TESTING; VALIDATION PROCESS; CONFORMANCE TESTING; GENERATION TECHNIQUES; MODEL BASED APPROACH; SYSTEM IMPLEMENTATION; THEORETICAL FRAMEWORK;

TELECOMMUNICATION NETWORKS; ARTIFICIAL INTELLIGENCE;

EID: 24944587120     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_23     Document Type: Conference Paper

References (16)

1. The Agedis Project. http://www.agedis.de.
2. The Ballista Project. http://www.ece.cmu.edu/koopman/ballista/.
3. The Protos Project. http://www.ee.oulu.fi/research/ouspg/protos/.
4. A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal Test Automation: a Simple Experiment. In 12th International Workshop on Testing of Communicating Systems, G. Csopaki et S. Dibuz et K. Tarnay, 1999. Kluwer Academic Publishers.
5. M. Bozga, S. Graf, and L. Mounier. If-2.0: A validation environment for component-based real-time systems. In K. L. Ed Brinksma, editor, Proceedings of CAV'02 (Copenhagen, Denmark), volume 2404 of LNCS, pages 343-348. Springer-Verlag, July 2002.
6. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software - Practice and Experiece, 1(7), 2000.
7. J.-. Fernandez, C. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In CAV'96. LNCS 1102 Springer Verlag, 1996.
8. A. Ghosh, V. Shah, and M. Schmid. An approach for analyzing the Robustness of Windows NT Software. In Proceedings of the 21st National Information Systems Security Conference, pages 383-391, Crystal City, VA, 1998.
9. R. Groz, T. Jeron, and A. Kerbrat. Automated test generation from SDL specifications. In R. Dssouli, G. von Bochmann, and Y. Lahav, editors, SDL'99 The Next Millenium, 9th SDL Forum, Montreal, Quebec, pages 135-152, Elsevier, Juin 1999.
10. A. Hartman, A. Kirshin, and K. Nagin. A test execution environment running abstract tests for distributed software. In Proceedings of Software Engineering and Applications, SEA 2002, Cambridge, MA, USA, November 2002.
11. A. Helmy, D. Estrin, and S. K. S. Gupta. Fault-oriented test generation for multicast routing protocol design. In Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), pages 93-109. Kluwer, B.V., 1998.
12. C. Jard and T. Jron. Tgv: theory, principles and algorithms. In The Sixth World Conference on Integrated Design & Process Technology (IDPT'02), Pasadena, California, USA, June 2002.
13. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In SPIN'04 Workshop on Model Checking Software, 2004.
14. B. Miller, D. Koscki, C. Lee, V. Maganty, R. Murphy, A. Natarajan, and J. Steidl. Fuzz revisited: A re-examination of the reliabilty of UNIX utilities and services. Technical report, University of Wisconsin, Computer Science Dept., 1995.
15. M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe. Autolink - A Tool for Automatic and Semi-Automatic Test Generation from SDL Specifications. Technical Report A-98-05, Medical University of Lübeck, 1998.
16. J. Tretmans. Test Generation with Inputs, Outputs, and Quiescence. In T. Margaria and B. Steffen, editors, Second Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of Lecture Notes in Computer Science, pages 127-146. Springer-Verlag, 1996.