Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Software Development: Debugging, Testing, and Code Management

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (51)

GoogleTest, Pytest, Git Submodule/Subtree, Python os.path Log in to Mediaspace to watch this video

Covers Google Test, Pytest, Git submodule/subtree, and Python file manipulation.

Query Optimization: Distributed Execution and Testing Log in to Mediaspace to watch this video

Explores query optimization, distributed execution, and testing in a SmartDataLake project.

Design Thinking and Business Models Log in to Mediaspace to watch this video

Covers design thinking, innovation process, business models, and value creation in a modern context.

Additive Manufacturing: Space Mechanisms Log in to Mediaspace to watch this video

Explores additive manufacturing for space mechanisms, covering 3D printing technologies, materials, design rules, and applications in space.

Snowpack Theory Log in to Mediaspace to watch this video

Explores snowpack theory, covering installation, processes, and mechanisms involved in snowpack formation and energy conservation.

Software Quality: Managing Defects and Testing Strategies Log in to Mediaspace to watch this video

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

Building a Simplified Haystack Store for Image Management Log in to Mediaspace to watch this video

Covers a project to build a simplified version of the Haystack store for efficient image management and retrieval.

Property-Based Testing: QuickChick Log in to Mediaspace to watch this video

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

Software Engineering Overview Log in to Mediaspace to watch this video

Covers grading, organization, prerequisites, infrastructure, challenges, testing, developer tools, and reasons to study software engineering.

Learning-aided Program Reasoning Log in to Mediaspace to watch this video

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Software Correctness: Testing and Verification Log in to Mediaspace to watch this video

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

Memory Management: Crash Reasons and Solutions Log in to Mediaspace to watch this video

Delves into the reasons behind program crashes related to memory management.

Compilation and C++ Basics Log in to Mediaspace to watch this video

Covers the basics of compilation and C++ programming, including variables, functions, loops, and debugging.

Software Development: Code Refactoring and Debugging Log in to Mediaspace to watch this video

Covers the process of code refactoring and debugging in software development.

Network Simulation: Spontaneous Activity and Validation Log in to Mediaspace to watch this video

Covers spontaneous brain network activity, neural simulation, and validation, emphasizing the importance of in-vitro and in-vivo conditions for accurate network modeling.

Finite Element Methodology Log in to Mediaspace to watch this video

Explores finite element methodology, covering geometric modeling, technical data, physical behavior assumptions, and mesh convergence studies.

Programming for Engineers Log in to Mediaspace to watch this video

Covers programming concepts using MATLAB, C, and LabVIEW for engineering projects, including a billiards game analysis.

Verification and Validation: Testing and Risk Management Log in to Mediaspace to watch this video

Explores testing methodologies, risk management, and the Flight Readiness Review process in systems engineering.

Memory Allocation in C Log in to Mediaspace to watch this video

Covers the basics of memory allocation in C, including passing parameters by value and reference, dynamic arrays, and strings.

Test of VLSI Systems: ATPG and Fault Coverage Log in to Mediaspace to watch this video

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

Page 2 of 3