Concept

Test automation

Related lectures (30)

Software Quality: Managing Defects and Testing Strategies

Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.

Project Management: Portfolio Management

Focuses on project planning, execution, and key user involvement for effective project management.

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Automated Testing: Fuzzing and Sanitization

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Property-Based Testing: Advanced Techniques and Applications

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Property-Based Testing: QuickChick

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Equipment Key Users Module Presentation

Covers the presentation of the equipment key users module and its focus on planning, data loading, and integration tests.

Software Correctness: Testing and Verification

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Software Quality: Stop Worrying, Love the Tests

Explores software quality, defect management, testing importance, and real-world examples of bug impacts.

Test of VLSI Systems: ATPG and Fault Coverage

Explores test vector generation, ATPG algorithms, fault coverage, and path sensitization in VLSI systems.

Test-and-Set Objects

Covers the limitations of binary registers and test-and-set objects in achieving consensus among processes.

Path-Delay Fault Testing

Covers linked and unlinked faults in VLSI systems, March test algorithms, critical paths, and path-delay fault testing.

Hydraulic Transients of Turbines: Hydroacoustic Modeling

Explores hydraulic turbine modeling, stability, and historical development, emphasizing the selection criteria for Francis turbines.

Doctoral Thesis Management

Covers the management of doctoral theses, including candidate evaluation and thesis submission.

External Libraries and Doxygen

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

Programming Bugs: Understanding, Fixing, and Preventing

Explores programming challenges, debugging techniques, software testing, and security practices in software development.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Concept Selection and Tradespace Exploration

Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.

Testing Strategies: Code Coverage and Quality

Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.