Communications software design for testability: specification transformations and testability measures

Information and Software Technology

Volumn 41, Issue 11, 1999, Pages 729-743

  Dssouli, R ^a   Karoui, K ^a   Saleh, K ^a,b   Cherkaoui, O ^a,c  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

^b KUWAIT UNIVERSITY   (Kuwait)

^c UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTROLLABILITY; DESIGN FOR TESTABILITY; FINITE AUTOMATA; NETWORK PROTOCOLS; VECTORS;

COMMUNICATIONS SOFTWARE DESIGN; FINITE STATE MACHINE; SPECIFICATION TRANSFORMATION; TESTABILITY MEASURE;

SOFTWARE ENGINEERING;

EID: 0032599434     PISSN: 09505849     EISSN: None     Source Type: None    
DOI: 10.1016/S0950-5849(99)00033-6     Document Type: Article

References (19)

1. L. Cacciari, O. Rafiq, Controllability and observability in distributed testing, Information and Software Technology 41 (1999) 767-780.
2. R. Dssouli, K. Saleh, El M. Aboulhamid, A. En-Nouaary, C. Bourhfir, Test development for communication protocols: towards automation in computer networks, in: A. Cavalli (Ed.), The International Journal of Computer and Telecommunications Networks, Advanced topics on SDL and MSC, Elsevier, Amsterdam, 31(17) 1999, pp. 1835-1872.
3. T. Walter, J. Grabowski, A framework for the specification of test cases for real-time distributed systems. Information and Software Technology 41 (1999) 781-798.
4. R. Lai, Towards more industrially relevant academic researches on testing of communicating systems, Journal of Systems and Software (1999) (in press).
5. R. Dssouli, R. Fournier, Communication software testability, in: I. Davidson, W. Litwack (Eds.), IFIP Transactions, Protocol Testing Systems III, Proceedings of IFIP TC6 Third International Workshop on Protocol Test Systems, North-Holland, Amsterdam, 1991, pp. 45-55.
6. S.T. Vuong, A.A.F. Loureiro, S.T. Chanson, A framework for the design for testability of communication protocols, in: O. Rafiq (Ed.), IFIP Transactions, Protocol Test Systems VI, Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, North-Holland, Amsterdam, 1994, pp. 89-108.
7. A. Petrenko, R. Dssouli, H. Konig, On evaluation of testability of protocol structures, in: O. Rafiq (Ed.), IFIP Transactions, Protocol Test Systems VI, Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, North-Holland, Amsterdam, 1994, pp. 111-123.
8. K. Saleh, Testability-directed service definitions and their synthesis, in: Proceedings of the Eleventh IEEE International Phoenix Conference on Computers and Communications (IPCCC-92), March 1992, pp. 674-678.
9. K. Karoui, R. Dssouli, O. Cherkaoui, A. Khoumsi, Estimation de la testabilité d'un logiciel modélisé par les relations, publication #921, Départment d'Informatique et de Recherche Opérationnelle (DIRO), Université de Montréal.
10. N. Yevtushenko, A. Petrenko, R. Dssouli, K. Karoui, S. Prokopenko, On the design for testability of communication protocols, in: IWPTS'95, France.
11. R.S. Freedman, Testability of software components, IEEE Transactions on Software Engineering SE-17 (6) (1991) 553-564.
12. J. Voas, L. Morrell, K. Miller, Predicting where faults can hide from testing, IEEE Software, March 1991 41-48.
13. A. Petrenko, G.v. Bochmann, R. Dssouli, Conformance relations and test derivation, in: O. Rafiq (Ed.), IFIP Transactions, Protocol Test Systems VI, Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, North-Holland, Amsterdam, 1994, pp. 157-178.
14. Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, New York, 1970.
15. G.v. Bochmann, A. Petrenko, M. Yao, Fault coverage of tests based on finite state models, in: Proceedings of IFIP TC6 Seventh International Workshop on Protocol Test Systems, Japan, 1994.
16. G. Luo, A. Petrenko, G.v. Bochmann, Selecting test sequences for partially-specified non-deterministic finite state machines, in: Proceedings of IFIP TC6 Seventh International Workshop on Protocol Test Systems, Japan, 1994.
17. S.T. Vuong, A framework for the design for testability of communication protocols, in: Pau IWPTS 1991.
18. T.J. McCabe, C.W. Butler, Design complexity measurement and testing, Communication of the ACM 32 (12) (1989) 1415-1424.
19. R. Dssouli, K. Karoui, A. Petrenko, O. Rafiq, Towards design for testability of communication software, IFIP Intl workshop on protocol test systems (IWPTS '95), Chapman and Hall, 1995, pp. 237-251.