Search academic texts

Information × Registration Number 0219U004138, 0116U004559 , R & D reports Title To develop Jorrnal methods for automated testing and verifying safe-criticalsystems popup.stage_title Head Letichevsky Aleksander Adol'fovich, Registration Date 03-04-2019 Organization V.M.Glushkov Institute of Cybernetics, National Academy of Science of Ukraine popup.description2 3. A prototype system has been developed that allows you to generate test suites for different types of test coatings. A prototype of the "interactive constructor of traces" has been developed, with which in semi-automatic mode test suites can bebuilt that follow the requirements of specifications and behavior scenarios for models of designed systems. Product Description popup.authors Годлевський Олександр Олександрович Летичевський Олександр Олександрович popup.nrat_date 2020-04-02 Close