@inproceedings{ca7aa5025c2d45828eb7553682febcb5,
title = "On testing against partial non-observable specifications",
abstract = "As the complexity of communication systems increases, new techniques and strategies should be developed for testing and verification of the system components. In this paper, we focus on testing software components that implement communication protocols at various levels. Such implementations can be considered as reactive systems and we discuss how Finite State Machines (FSMs) might be used when deriving high quality tests and which properties can be held for corresponding FSMs when increasing/decreasing an abstraction level for the protocol specification. At the high abstraction level, the specification machine can be partial and non-observable, and we propose a test derivation strategy against such specifications. Furthermore, we turn to debugging techniques and discuss how an implementation bug can be located when the specification is partial and non-observable.",
keywords = "partial/non-observable machines, testing/debugging",
author = "Natalia Kushik and Nina Yevtushenko and Ana Cavalli",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014 ; Conference date: 23-09-2014 Through 26-09-2014",
year = "2014",
month = dec,
day = "12",
doi = "10.1109/QUATIC.2014.38",
language = "English",
series = "Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "230--233",
editor = "\{da Silva\}, \{Alberto Rodrigues\} and \{da Silva\}, \{Antonio Rito\} and Brito, \{Miguel A.\} and Machado, \{Ricardo J.\}",
booktitle = "Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014",
}