Fault coverage in testing real-Time systems

Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999

Volumn , Issue , 1999, Pages 150-157

  En Nouaary, A ^a   Khendek, F ^b   Dssouli, R ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

^b Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Fault Coverage.; Implementation; Real Time Systems; Specijication; Testing; Timed Automata

Indexed keywords

COMPUTER SOFTWARE; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE TESTING; SPECIFICATIONS; TESTING;

CONTROL ACTIVITIES; FAULT COVERAGES; IMPLEMENTATION; REAL TIME SOFTWARE SYSTEM; SOFTWARE LIFE CYCLES; SPECIJICATION; TIMED AUTOMATA; VALIDATION PROCESS;

REAL TIME SYSTEMS;

EID: 85016655183     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.1999.811206     Document Type: Conference Paper

References (25)

1. R. Alur and D. Dill. A Theory of Timed Automata. Theoretical Comput. Sci., 126: 183-235, 1994.
2. G. V. Bochmann, A. Das, R. Dssouli, M. Dubuc, A. Ghedamsi, and G. Luo. Fault Model in Testing. In Proceedings of the 4th IFIP TC6 International Workshop Protocol Test System, 1992.
3. E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS Specification, Their Implementations and Their Tests. In B. Sarikaya and G. Bochmann, editors, Protocol Specification, Testing, and VeriJication, VI, Montreal, Quebec, Canada, June 10-13, 1986, pages 349-360. North-Holland, 1986.
4. O. Charles. Application des Hypothesde Test a une DLfinition de la Couverture. PhD thesis, UniversitC Henri PoincarC-Nancy 1 , 1997.
5. T. S. Chow. Testing Software Design Modeled by Finite State Machine. IEEE Transactions Software Engineering, SE-4, n 3: 178-187, 1978.
6. D. Clarke and I. Lee. Automatic Generation of Tests for Timing Constraints from Requirements. In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, Feb. 1997.
7. A. Dahbura and K. Sabnani. An Experience in Estimating Fault Coverage of a Protocol Test. In Proceedings of IEEE INFOCOM88, pages 71-79, 1988.
8. C. Daws and S. Yovine. Reducing the number of clock variables of timed automata. In Proceedings ofthe 1996 IEEE Real-Time Systems Symposium, RTSS96, Washington DC, USA. IEEE Computer Society Press, 1996.
9. A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed Test Cases Generation Based on State Characterisation Technique. In 19th IEEE Real-Time Systems Symposium (RTSS98). Madrid, Spain, December, 2-4 1998.
10. A. En-Nouaary, F. Khendek, and R. Dssouli. Fault Coverage in Testing Real-Time Systems.Technical report TR-I 162, DCpartement IRO, UniversitC de Montreal, September 1999.
11. S. Fujiwara, G. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. Test Selection Based on Finite-State Models. IEEE Transactions Software Engineering, SE-17, NO. 6:591-603, 1991.
12. K. Larsen and W. Yi. Time abstracted bisimulation: Implicit specifications and decidability. In Proceedings Mathematical Foundations of Programming Semantics (MFPS 9), volume 802 of Lecture Notes in Computer Science, New Orleans, USA, Apr. 1993. Springer-Verlag.
13. G. Luo, G. V. Bochmann, and A. Petrenko. Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method. IEEE Transactions Software Engineering, SE-20, NO. 2: 149-162, 1994.
14. N. Lynch and H. Attiya. Using Mappings to Prove Timing Properties. Distributed Computing, 6(2): 121-139, 1992.
15. D. Mandrioli, S. Morasca, and A. Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Trans. Comput. Syst., 13(4):365-398, Nov. 1995.
16. X. Nicollin, J. Sifakis, and S. Yovine. Compiling Real-Time Specifications into Extended Automata. IEEE transactions on Software Engineering, 18(9):794804, September 1992.
17. M. Phalippou. Relations dlmplantation et HypothPses de Test sur des Automates ci Entr2es et Sorties. PhD Thesis, UniversitC de Bordeaux I, 1994.
18. K. Sabnani and A. Dahbura. A Protocol Test Generation Procedure. Computer Networks and ISDN Systems, 15:285-297, 1988.
19. J. Springintveld, F. Vaadranger, and P. Dargenio. Testing Timed Automata. Technical Report CTIT97-17, University of Twente, Amesterdam, 1997.
20. J. Springintveld and F. Vaandrager. Minimizable Timed Automata. In B. Jonsson and J. Parrow, editors, Proceedings of the 4th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Uppsala, Sweden, volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
21. J. Tretmans. A Formal Approach to Conformance Testing. PhD Thesis, University of Twente, Aug. 1992.
22. J. Tretmans. Testing Labelled Transition Systems with Inputs and Outputs. Technical report 95-26, University of Twente, Aug. 1995.
23. S. T. Vuong and J. Curgus. On Test Coverage Metrics for Communication Protocols. In N. Holland, editor, Proceedings of the 4th International Workshop on Protocol Test System IWPTS91 (Twente. The netherlands), October 1991.
24. E. J. Weyuker and S. Rapps. Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Soffware Engineering, , SE-11(4), 1985.
25. M. Yao. On the Development of Conformance Test Suites in View of Their Fault Coverage. PhD thesis, Universitt de Montreal, DCpartement IRO, 1995.