Kelly Mears

KnowledgeDomain 06

Open map

Testing & Verification

Establishing that something works, and recognizing when you have established nothing.

Notes
49
Links within
170
Links outward
330
Knowledge graph: 235 notes, 500 links.Each dot is a note, sized by how many links it has and colored by topic. Focus or hover a dot to isolate it and its neighbors; activate it to open the note. The graph is a single tab stop: use the arrow keys to move between notes, Home and End for the most and least linked, Enter to open the focused note, and Escape to leave the graph.Ground TruthSilent FailureDeterminismNamingGoodhart's LawRoot Cause AnalysisFalsifiabilityAccessibilityCode ReviewContinuous IntegrationLarge Language ModelLeast PrivilegeRace ConditionIdempotenceKeyboard NavigationContainerizationProcessSecret ManagementObservabilityARIACharacter EncodingFlaky TestFocus ManagementTruncation BiasDocument Object ModelFail FastReproducible CasePerformance BudgetProgressive EnhancementVacuous TruthSeeded RandomnessUnit TestNondeterminismSemantic HTMLSquash MergeChesterton's FenceCommitEnvironment VariableMotion DesignRegressionColor ContrastCross-Site ScriptingModule GraphSchema ValidationBig-O NotationHallucinationReduced MotionStacking ContextStatic AnalysisTime ZoneDatabase MigrationHTTP Status CodeTest IsolationToken BudgetAssertionAtomic CommitCronDaemonEvent LoopFeature FlagInstrumentationPortBundlerEvaluation HarnessPortalPrompt InjectionResource StarvationResponsive BreakpointTest DoubleComponent StoryGit BisectGraphics DriverIntegration TestCode CoverageCoverage GateCPU SchedulerDefensive DefaultEasingEnd-to-End TestFactory GameHeisenbugMonorepoPersonal DataRate LimitingSchema DriftSurvivorship BiasSystemdTest FixtureWebhookGit HookGit WorktreeOpen RedirectService VirtualizationSQL InjectionStaging AreaAccessibility TestingCode FormatterDeadlockExponential BackoffFast-Forward MergeHeadless BrowserImmersive SimJSON SchemaMerge TrainPostel's LawRecord and Replay TestingRegression TestingRollbackSeed DataServer-Side Request ForgeryVisual Regression TestingAdversarial ReviewBackground Tab ThrottlingBranch ProtectionCircuit BreakerDatabase ReplicationImmutabilityInteractive RebaseLaw of TrivialityLeast Recently Used CachePressure Stall InformationPseudorandom Number GeneratorPure FunctionReflogUpsertBenchmarkingBranch CoverageCanary ReleaseCAP TheoremcontenteditableContract TestingDesign by ContractFingerprintFocus IndicatorFrame PacingGit BlameGlobLLM-as-JudgerequestAnimationFrameStacked Pull RequestsStreetlight EffectTest-Driven DevelopmentTime-of-Check to Time-of-UseTree ShakingType SystemBattle RoyaleBinary SearchBuild CacheCargo CultCompilerCore DumpCPU AffinityDatabase ConstraintDefensive ProgrammingDetached HEADFailure DetectionFan-Out and Fan-InForeign KeyForm ValidationMemoizationMonadMulti-Agent OrchestrationOAuthOpenAPIOptimistic LockingOverfittingPage CacheProperty-Based TestingRecord and ReplayRefactoringRubber Duck DebuggingSubagentSwapTest OracleUnreachable CodeWeb AnalyticsAlt TextBroken Windows TheoryChaos EngineeringInterpreterJavaScriptLeader ElectionMinimal Reproducible ExamplePHPPremature OptimizationPromisePrototype PollutionTest Impact AnalysisTimeoutType InferenceAcceptance TestingAudit LogBlameless PostmortemDefinition of DoneDynamic Voltage and Frequency ScalingFake ClockIsolation LevelLexical AnalysisLoggingMinimum Viable ProductMutation TestingNetwork PartitionPersistent Data StructureSchema EvolutionSmoke TestStaggered AnimationTest Data BuilderWatchdog TimerActor ModelConcurrency and ParallelismConnection PoolDuck TypingFutexGolden File TestingMiddlewareNullShallow CloneSnapshot TestingStaging EnvironmentThreat ModelingTypeScriptCall StackDeveloper ExperienceInfrastructure as CodeLock-Free Data StructureMicrocodePacket CaptureParameterized TestDependency InjectionFail-SafePessimistic LockingUser Agent StringConfidence IntervalReflectionUser Story

Drag to pan · hold ⌘/ctrl and scroll — or pinch — to zoom.

01

Where it reaches

02

The hubs

Race Condition

A defect whose occurrence depends on the relative timing of concurrent operations.

Testing & Verification36 connections

Flaky Test

A test that passes and fails on identical input, and the most corrosive thing a suite can contain.

Testing & Verification30 connections

Unit Test

A fast, isolated test of one unit of behavior with its collaborators replaced.

Testing & Verification25 connections

Static Analysis

Finding bugs by examining code without running it, from linters and type checkers to deep security analysis, always trading missed bugs against false alarms.

Testing & Verification21 connections

03

Every note

A

B

C

D

E

F

G

H

I

L

M

P

R

S

T

U

V