A framework and a tool for robustness testing of communicating software

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 1461-1466

  Saad Khorchef, Fares ^a   Rollet, Antoine ^a   Castanet, Richard ^a  

^a UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

Formal testing; IOLTS; Robustness testing; TCP protocol

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; NETWORK PROTOCOLS; ROBUSTNESS (CONTROL SYSTEMS); SPECIFICATIONS;

COMMUNICATING SOFTWARE; INTEGRATING HAZARDS; ROBUSTNESS TESTING; SPECIFICATION MODELS;

SOFTWARE TESTING;

EID: 35248882488     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244315     Document Type: Conference Paper

References (15)

1. J.-H. Barton, E.-W. Czeck, Z.-Z. Segall, and D.-P.Siewiorek. Fault injection experiments using FIAT. IEEE Trans. Comput, 39(4):575-582, 1990.
2. G.-J. Carrette. CRASHME: Random input testing. http://people. delphiforums.com/gjc/crashme.html, 1996.
3. R. CASTANET and H. WAESELYNK. Techniques avancées de test de systèmes complexes: Test de robustesse. Technical report, Action spécifique 23 du CNRS, 11 2003.
4. J. DeVale, P. Koopman, and D. Guttendorf. The ballista software robustness testing service. In Testing Computer Software Conference (TCSC99), June 1999.
5. D. Estrin, S. Gupta, and A. Helmy. STRESS: Systematic testing of robustness by evaluation of synthesized scenarios, http://netweb.usc.edu/stress/ , 1998.
6. IEEE. Information technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 3: The Tree and Tabular Combined Notation (TTCN), number 9646 in 2, 2003.
7. ITU-T. Specification and description language (sdl). ITU-T Recommendation no Z. 105, International Telecommunication Union. Genève, 1999.
8. T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, J.-C. Fernandez, A. Kerbrat, and M. Bozga. Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV. Revue de l'Electricité et de l'Electronique (REE), 3, March 1999.
9. I. S. G. of Software Engineering Terminology 610.12-1990. Customer and terminology standards. In IEEE Standards Software Engineering, IEEE Press, 1, 1999.
10. J. Postel. Transmission control protocol. IETF, RFC793, September 1981.
11. J. Röning, M. Laakso, and A. Takanen. PROTOS systematic approach to eliminate software vulnerabilities, http://www.ee.oulu.fi/research/ouspg, May 2002. 2002.
12. F. Saad-khorchef, I. Berrada, A. Rollet, and R. Castanet. Automated robustness testing for reactive systems : Application to communicating protocols. In 6th International Workshop on Innovative Internet Community Systems (I2CS 2006), Neuchâtel, Switzerland, June 26-28 2006.
13. 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.
14. J. Tretmans and E. Brinksma. TorX: Automated model based testing. In First European Conference on Model-Driven Software Engineering, 2003.
15. L-T. R. Z.140-142. The testing and test control notation", version 3 (ttcn-3), rec. z.140: Ttcn-3 core language, rec. z.141: Tabular presentation format for ttcn-3 (tft), rec. z.142: Graphical presentation format for ttcn-3 (gft). ITU-T, Geneva (Switzerland), 2002.