Lectures related to Smoke testing (software)

Showcases a master's student's software testing internship experience at OPPO in Switzerland, emphasizing customer satisfaction and user experience.

Explores a student's internship in software testing for Opel phones in Switzerland.

Covers compilation, linking, external libraries, Doxygen documentation, and Google Test for C++ unit testing.

Explores software verification impact, disasters, successes, and transition systems.

Analyzes the Ariane 501 case study, focusing on the software errors and system complexities that led to a launch failure.

Introduces formal verification, emphasizing rigorous proof of system correctness and the use of mathematical models.