1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 3(40)'2014
  5. Method of synthesis test models of software objects behaviour of information and telecommunication systems of special purpose

Method of synthesis test models of software objects behaviour of information and telecommunication systems of special purpose

O.P. Dorensky
Annotations languages:

Integrated information and telecommunications system of special purpose is a complex software system and there are more than half of all errors appear at the design stage. In order to detect them in the proposed method for the synthesis of test behaviours of software objects, which is the percentage of completion of construction of models of message sequence software objects, logic synthesis and test models of state and activity classes transformation sequences of models in a model of cooperation at program objects. Usage of synthesized logic and text structure enables complete testing of complex dynamic component model of object-oriented software. This makes possible to identify algorithmic and system errors in the design phase of information and telecommunication systems and the devices.
Keywords: software, information and telecommunication system, design, program object, behavior, test model