Infopaket

Validation and Verification of Software Systems

ОК.14

Обов’язкова дисципліна для ОП

Second

2023/2024

2 Semester

4

PLO1. To identify problem situations, perform their research on the basis of a systematic approach, make informed choice of methods and models for the formation of effective management decisions, apply models and methods of decision making in forecasting the development of the enterprise and in the domain of computer science. PLO6. To use distributed, high-performance computing technologies to ensure effective selection and use of consolidated resources and services.

Distance form

To know: basic concepts of mathematical logic, theory of algorithms, theory of programming; have an idea about the complexity of algorithms. To be able to: build logical specifications of programs taking into account established requirements, perform verification procedures for checking the correctness and validity of software, and also conduct basic types of program testing. To master the tools: development of tests in the Visual Studio environment.

The goal of the discipline is to master the technique of checking the correctness of programs by building program models with further proof of the properties of the constructed models that characterize their correctness, as well as the technique of testing software systems in its main types. The discipline is mandatory for the "Informatics" program. It is taught in the amount of 4 ECTS credits. The course includes 2 parts and 2 tests. The discipline ends with an exam.

1. L.P. Babenko, K.M. Lavrishcheva. Fundamentals of software engineering. K.: "Knowledge", 2001. - 269 p. 2. E.M. Clark, O. Gramberg, D. Peled, Verification of program models: Model Checking. Trans. with English under the editorship R. Smelyanskyi. - M.: 2002, 416 p. 3. S.V. Sinitsyn, N.Yu. Nalyutyn, Software Verification, Internet University of Information Technologies, www.INTUIT.ru 4. I. Sommerville, Software engineering. - "Williams" publishing house, 2002. - 624 c.

Lectures, laboratory session.

Semester assessment: 1. Control paper: 1 (test): РН 1.1., РН 1.2 – 9 points/4.5 points; 2 (test): РН1.3 – 9 points/4.5 points. 2. Defense of laboratory work 1-6 (project): РН 1.2, РН 1.3, РН 2.1, РН 2.2, РН 2,3, РН 2.4– 7 points/3.5 points. Final evaluation (in the form of an exam): - the maximum number of points that can be obtained by a student: 40 points; - learning outcomes that will be evaluated: PH1.1, PH1.2, PH1.3, PH2.1, PH2.2, PH2.3, PH2.4; - form of implementation: written work.

Ukrainian