Verification and validation of software systems

Course Code: MI206.2 • Study year: II • Academic Year: 2024-2025
Domain: Computer Science - Masters • Field of study: Advanced programming and databases
Type of course: Compulsory
Language of instruction: Romanian
Erasmus Language of instruction: English
Name of lecturer: Maria Loredana Oroian Boca
Seminar tutor: Maria Loredana Oroian Boca
Form of education Full-time
Form of instruction: Lecture
Number of teaching hours per semester: 42
Number of teaching hours per week: 3
Semester: Autumn
Form of receiving a credit for a course: Grade
Number of ECTS credits allocated 7

Course aims:

Elaboration of programs in a general and / or specific programming language, starting from the specification of the requirements until the execution, debugging and interpretation of the results in correlation with the used processor
Solving practical problems that include elements of data structures and algorithms, programming and testing units
Testing projects involving different software components
Acquire knowledge about testing programs

Course Entry Requirements:

- programming, data annalist

Course contents:

1. Defects and failures.Input combinations and preconditions.Costs.The personnel involved 2. Testing methods. Static vs. dynamic tests. Box approach. White-box testing. Black-box testing. Visual Testing. Gray-box testing 3. Test levels. Unit test. Integration test.System test. Acceptance of testing; 4. Testing process. Waterfall development model. Agile or Extreme development model. Top-down and bottom-up testing 5. Automatic testing. Testing tools. Measurement in software testing

Teaching methods:

lectures, exercises, examples

Learning outcomes:

a) systematic knowledge about the methodologies for making software products b) familiarization with modern concepts and concerns in writing the application software c) knowledge of the types of models and modeling tools used in the development of test software applications d) the necessary motivation regarding the importance of documenting the soft products

Learning outcomes verification and assessment criteria:


Recommended reading:

Ian Sommerville, Software Engineering- 9 th Edition,, 2011,
Rod Stephens, Beginning Software Engineering,, 2015,
- Padmini C, Beginner-Guide-To-Software-Testing,,