Ahmed Berbar
Mohamed Ahmednacer
ABSTRACT
Software testing is one of the most important lifecycle step. In spite of multiple existing test approaches, no test process guarantees a total absence of errors; so planning a fault tolerance mechanism becomes a necessity. Our work, in this context, is to design a new test approach based on the use of nematode worms. The advantage of this approach is to allow a quick deployment of the test, and the implementation of a fault tolerant infrastructure, without modifying the system.
- Génie logiciel et test logiciels.DESS OANNIS Parissis, 2002Google Scholar
- Athanasou. A. Performance differences on an untimed test: some Australian and New Zealand data from high school pupils and job applicants, Copyright2008 INIST-CNRS.Google Scholar
- Lionel C. Bri, And Ro Morasca, An Operational Process for Goal-Driven Definition of Measures, IEEE Computer Society, 2002.Google Scholar
- Lionel C. Bri, And Ro Morasca, An Operational Process for Goal-Driven Definition of Measures, Ieee Computer Society, 2002.Google Scholar
- Lionel C. Bri&Ro Morasca, An Operational Process for Goal-Driven Definition of Measures, IEEE, 2002.Google Scholar
- Khaled El Emmam, Saida beniarbi, nishith Goel and Shesh Rai, A validation of object oriented metrics, October 1999Google Scholar
- Peter Lindsay, Reasoning about Z specifications: a VDM perspective.; Software Verification Research Centre,; St Lucia, Queensland 4072, Australia. 2005.Google Scholar
- A. Jefferson Offutt, Yiwei Xiong and Shaoying Liu. Criteria for generating specification-based test. Information and Software Engineering Faculty of Information Sciences; George Mason University Hiroshima City University. 1999Google Scholar
- Sergio Yovine, ftp://ftp.imag.fr/pub/SPECTRE/KRONOS/articles/rts:embedded97.ps.gz 2000Google Scholar
- S. Alagar&M. Zheng, A Rigorous Method to Testing Real-Time Reactive Systems, APSEC 2001, IEEE, Macau 2001. Google ScholarDigital Library
- A. Berbar and M. Ahmed Nacer. Architecture de test pour les systèmes distribués. SNIB, mai 2004, Biskra ALGERIEGoogle Scholar
- Nasra Mahmoud and steve attelly. La tolérance aux fautes dans les systèmes informatiques. ISTIA 2002Google Scholar
- Dominique M Ery, Yassine Mokhtari. Validation of formal specifications. LORIA-UMR7503; Univ Henri Poincaré.Google Scholar
- Thomas Pareaud. Adaptation de la tolérance aux fautes à l'exécution. EDSys 2007 8eme congrès des doctorantsGoogle Scholar
- J. B Stefani and S. Krakowiak. Tolérance aux fautes: principes et mécanismes. INRIA, Université Joseph FourierGoogle Scholar
- Roberto Baldoni, Jean-Michel Helary and Michel Raynal. Mutually Consistent Recording in Asynchronous Computations. Rapport interne IRISA 1996Google Scholar
- Grégorie Jacob, Hervé Debar and Eric Filiol. Behavioral detection of malware: from a survey towards an established taxonomy. Journal in computer Virology, Volume 4, Number 3 Aout 2008, Springer ParisGoogle Scholar
- David Aitel. Nematodes -- Beneficial worms V 1.0, [email protected] Septembre 2005.Google Scholar
- Robin I. Wilson and John J. Watkins. Graph An Introductory Approach, ISBN 0-471-61554-4, 1990Google Scholar
- Springintveld, J. Vaandrager, F. W.&D'Argenio, P. R. <Testing Timed Automata
. Theoretical Computer Science, 254 (1--2). pp. 225--257. ISSN 0304-3975 2001 Google ScholarDigital Library
Recommendations
Fault Tolerance in Multiprocessor Systems Without Dedicated Redundancy
An algorithm called RAFT (recursive algorithm for fault tolerance) for achieving fault tolerance in multiprocessor systems is described. Through the use of a combination of dynamic space- and time- redundancy techniques, RAFT achieves fault tolerance in ...
Error injection aimed at fault removal in fault tolerance mechanisms-criteria for error selection using field data on software faults
ISSRE '96: Proceedings of the The Seventh International Symposium on Software Reliability EngineeringFault injection allows a detailed study of complex interactions between faults and fault handling mechanisms. It can be a useful complement to analytical modeling and formal verification techniques in the testing of fault tolerant systems. However, work ...
Testing software fault tolerance techniques: future direction
Software fault tolerance can itself be dangerous error-prone because of the additional effort that must be included in the programming process. The paper is based upon research in the area of testing software fault tolerance techniques. A Framework to ...
Comments