Infopaket

Validation and Verification of Software Systems

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

Second

2021/2022

2 Semester

4

PLO 1. Identify problem situations, perform their research based on a systems approach, make informed choices of methods and models for effective management decisions, apply models and decision-making methods in forecasting enterprise development and in the subject area of computer science. PLO 6. Use distributed high-performance computing technologies to ensure the efficient selection and use of consolidated resources and services. PLO 15. Have methods of developing and implementing measures to improve the efficiency of information systems.

1. Know: basic concepts of mathematical logic, theory of algorithms, theory of programming; have an idea of the complexity of algorithms. 2. To be able: to build logical specifications of programs taking into account the established requirements, to carry out verification procedures on check of correctness and validity of the software, and also to carry out the basic types of testing of programs. 3. Have the tools: for test development in Visual Studio.

The purpose of the discipline is mastering the technique of checking the correctness of programs by building models of programs with subsequent proof of the properties of the built models that characterize its correctness, as well as techniques for testing software systems in its main forms. As a result of studying the discipline the student must: know: the place and importance of verification and validation of software systems in the life cycle of software systems; main stages of software systems development, methods of engineering software requirements; classification of failures and errors in software systems, basic concepts and methods of testing software systems, methods of proving the correctness of programs. be able to: build logical specifications of programs taking into account the established requirements; perform verification procedures to verify the correctness and validity of software, as well as conduct basic types of software testing.

1. L.P. Babenko, K.M. Lavrishcheva. Osnovy Programnoyi inzhenerii. K. “Znannia”,2001.-269 s. 2. Klark Je. M., Gramberg ml. O., Peled D. Verifikaciya modelej programm: Model checking. M.:2002. 416 s. 3. S.V. Sinitsyn, N.Yu. Naliutin. Verifikaciya programmnogo obespechenia. InternetUniversitet Informatsionnykh Tekhnologiy. www.INTUIT.ru 4. I. Sommerwill. Inyzhereriya programmnogo obespechenia. ID “Williams”, 2002. 624 s.

Lectures, laboratory classes, independent work, defense of laboratory work, exam.

- Semester assessment: 1. Defending laboratory work 1: LO 1.1., LO 1.2 – 9 points/4,5 points. 2. Defending laboratory work 2: LO1.3 – 9 points/4,5 points. 3. Defending laboratory work 3: LO 1.2, LO 1.3, LO 2.1, LO 2.2, LO 2,3, LO 2.4 –7 points / 3,5 points. 4. Defending laboratory work 4: LO 1.2, LO 1.3, LO 2.1, LO 2.2, LO 2,3, LO 2.4 – 7 points/3,5 points 5. Defending laboratory work 5: LO 1.2, LO 1.3, LO 2.1, LO 2.2, LO 2,3, LO 2.4 – 7 points/3,5 points 6. Defending laboratory work 6: LO 1.2, LO 1.3, LO 2.1, LO 2.2, LO 2,3, LO 2.4 – 7 points/3,5 points. 7. Defending laboratory work 7: LO 1.2, LO 1.3, LO 2.1, LO 2.2, LO 2,3, LO 2.4 – 7 points/3,5 points. 8. Defending laboratory work 8: LO 1.2, LO 1.3, LO 2.1, LO 2.2, LO 2,3, LO 2.4 – 7 points/3,5 points Final assessment (in the form of an exam): - maximum number of points: 40 points; - learning outcomes which will be assessed: LO1.1, LO1.2, LO1.3, LO2.1, LO2.2, LO2.3, LO2.4. - the form of conductiong: written work.

Ukrainian