On Testing against Partial Non-observable Specifications

  title={On Testing against Partial Non-observable Specifications},
  author={Natalia Kushik and Nina Yevtushenko and Ana R. Cavalli},
  journal={2014 9th International Conference on the Quality of Information and Communications Technology},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…