Statische analyse: - Kan detecteren dat de variabele `a` niet is geïnitialiseerd voordat deze wordt gebruikt. - Signaleert dat `a` mogelijk `undefined` is en dat het aanroepen van `toString()` op een `undefined` waarde een fout kan veroorzaken (`TypeError: Cannot read property 'toString' of undefined`). - Kan ook wijzen op mogelijke codeerfouten of onvolledige afhankelijkheden, zoals ontbrekende initialisaties of onduidelijke variabelen. Dynamische analyse: - Bij het uitvoeren van de code zal de runtime een fout genereren wanneer `console.log(a.toString())` wordt uitgevoerd, omdat `a` niet is geïnitialiseerd en dus `undefined` is. - De runtime-fout helpt om precies te identificeren waar en waarom de code faalt, en geeft inzicht in de toestand van de variabele op dat moment. Aanbevelingen voor effectieve combinaties: 1. Gebruik statische analyse vooraf om potentiële problemen zoals niet-geïnitialiseerde variabelen en typefouten te detecteren, zodat je fouten kunt voorkomen voordat de code draait. 2. Test je code uitvoerig met dynamische analyse, bijvoorbeeld door unit tests, om te controleren of er runtime-fouten optreden en om de gedrag van de code onder verschillende omstandigheden te begrijpen. 3. Combineer beide methoden door statische analyse te gebruiken als eerste filter om mogelijke problemen te identificeren, en dynamische analyse om de daadwerkelijke uitvoering en eventuele onverwachte runtime-fouten op te sporen. 4. Voeg runtime checks toe (zoals het controleren of `a` niet `undefined` of `null` is voordat je `toString()` aanroept) om de code robuuster te maken en fouten te voorkomen. Door deze aanpak te volgen, verbeter je de betrouwbaarheid en stabiliteit van je code en kun je fouten efficiënter opsporen en oplossen.

Bij de gegeven code `function test() { let a; console.log(a.toString()); }` kunnen we het volgende analyseren: ### Statische Analyse (zonder code-uitvoering) - **Gevonden problemen**: 1. **Ongeïnitialiseerde variabele**: `a` is gedeclareerd maar niet toegewezen, waardoor de waarde `undefined` blijft. 2. **TypeError risico**: `a.toString()` probeert een methode aan te roepen op `undefined`, wat altijd een runtime-fout veroorzaakt. 3. **Ongebruikte functie**: De functie `test` wordt gedeclareerd maar niet aangeroepen (afhankelijk van volledige codecontext). ### Dynamische Analyse (tijdens uitvoering) - **Runtime-problemen**: 1. **TypeError**: Bij aanroep van `test()` crasht de code direct met "Cannot read properties of undefined (reading 'toString')". 2. **Call stack tracing**: Toont exact waar de fout optreedt (regel 2 in de functie). 3. **Variabele inspectie**: Toont dat `a` daadwerkelijk `undefined` is tijdens uitvoering. ### Effectieve Combinatie van Methoden 1. **Preventie met statische analyse**: - Gebruik tools zoals **ESLint** met regels zoals `no-unused-vars` en `no-undef` - TypeScript implementeren voor type-checking (flaggeert `a` als `any`/`undefined`) 2. **Validatie met dynamische analyse**: - Voer unit tests uit met **Jest** of **Mocha** die de functie aanroepen - Gebruik debuggers (Chrome DevTools, VS Code debugger) om variabelen te inspecteren - Implementeer error boundaries (voor frontend) of try/catch blocks 3. **Geïntegreerde aanpak**: ```javascript // Statische analyse verbetert code structuur function test() { let a = ""; // Initialisatie toegevoegd console.log(a?.toString()); // Optionele chaining voor veiligheid } // Dynamische analyse valideert gedrag test(); // Werkt nu zonder crashes ``` - **CI/CD-pijplijn** opzetten die zowel linting (statisch) als unit tests (dynamisch) uitvoert - **Code reviews** combineren met runtime monitoring (bijv. Sentry voor productie fouten) ### Aanbevelingen 1. **Statische analyse eerst**: Los alle linting/type-fouten op vóór runtime-testing 2. **Dynamische analyse complementair**: Gebruik tests om edge cases te valideren die statisch niet detecteerbaar zijn 3. **Feedbackloop creëren**: Gebruik runtime-fouten om nieuwe statische analyse regels toe te voegen Deze combinatie voorkomt ~70% van veelvoorkomende bugs tijdens ontwikkeling en reduceert kritieke runtime-fouten in productie.