Course MI206.2 · Year II · Autumn 2024-2025

Verification and validation of software systems

Compulsory course in Advanced programming and databases, taught by Maria Loredana Oroian Boca.

This course page is from 2024-2025 and is archived.
See this course for the current academic year

Overview

Lecturer
Maria Loredana Oroian Boca
Seminar tutor
Maria Loredana Oroian Boca
Type of course
Compulsory
Language of instruction
Romanian
Erasmus language
English
Domain
Computer Science - Masters
Field of study
Advanced programming and databases
Form of education
Full-time
Form of instruction
Lecture
Credit awarded by
Grade
Teaching methods
lectures, exercises, examples
Entry requirements
- programming, data annalist

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 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

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

Assessment

projects

Recommended reading

Software Engineering- 9 th Edition
Ian Sommerville
https://iips.icci.edu.iq/images/exam/Software-Engineering-9th-Edition-by-Ian-Sommerville.pdf, 2011
Beginning Software Engineering
Rod Stephens
http://www.arxen.com/descargas/PulzarCloud/Books/Beginning%20Software%20Engineering%20-%20Rod%20Stephens.pdf, 2015
SOFTWARE TESTING TUTORIAL
-
http://moodle.nccu.edu.tw/pluginfile.php/77731/mod_resource/content/1/software_testing%281%29.pdf, 2019
SOFTWARE TESTING
-
https://www.tutorialspoint.com/software_testing/software_testing_tutorial.pdf
Beginner-Guide-To-Software-Testing
- Padmini C
oftwaretestingclass.com/wp-content/uploads/2016/06/Beginner-Guide-To-Software-Testing.pdf