KnowraSoftware testingLinked fromLinked fromThe 17 pages that link to Software testing, each with the reason it gives.All 17Related 9Narrower topic 1Compared with 7Halting problemCompared with: Testing can reveal particular outcomes, but cannot decide termination for all programs and inputs.Quality controlRelated: Testing applies quality-control principles to software behavior and releases.Formal verificationCompared with: Testing samples executions, whereas formal verification can prove properties across a defined model.Model checkingCompared with: Testing samples executions, while model checking systematically analyzes the modeled behavior space.Software engineeringRelated: Testing supplies evidence that implementations satisfy intended behavior.Technical debtRelated: Missing or weak tests can make debt riskier by raising the cost of safe modification.Reverse engineeringCompared with: Testing evaluates correctness; reverse engineering seeks to infer how a system is built.Program verificationCompared with: Testing supplies evidence from sampled executions, unlike proofs that establish claims across specified cases.Verification and validationRelated: Testing supplies evidence for both verification and validation, but does not by itself define either process.Formal methodsCompared with: Testing samples executions, while formal verification can prove properties over defined models.Software developmentRelated: Testing checks behavior and exposes defects before and after release.Software maintenanceNarrower topic: Tests provide evidence that modifications preserve required behavior.Formal specificationCompared with: Testing samples executions; a formal specification can state properties for all modeled behaviors.Software portabilityRelated: Each supported environment adds combinations of configurations and behaviors that require testing.Software bugRelated: Tests expose bugs by comparing actual behavior with expected results.Computer science and engineeringRelated: Checks that implemented software meets requirements across intended conditions.VirtualBoxRelated: Disposable VirtualBox guests let testers check software across operating systems.
KnowraSoftware testingLinked fromLinked fromThe 17 pages that link to Software testing, each with the reason it gives.All 17Related 9Narrower topic 1Compared with 7Halting problemCompared with: Testing can reveal particular outcomes, but cannot decide termination for all programs and inputs.Quality controlRelated: Testing applies quality-control principles to software behavior and releases.Formal verificationCompared with: Testing samples executions, whereas formal verification can prove properties across a defined model.Model checkingCompared with: Testing samples executions, while model checking systematically analyzes the modeled behavior space.Software engineeringRelated: Testing supplies evidence that implementations satisfy intended behavior.Technical debtRelated: Missing or weak tests can make debt riskier by raising the cost of safe modification.Reverse engineeringCompared with: Testing evaluates correctness; reverse engineering seeks to infer how a system is built.Program verificationCompared with: Testing supplies evidence from sampled executions, unlike proofs that establish claims across specified cases.Verification and validationRelated: Testing supplies evidence for both verification and validation, but does not by itself define either process.Formal methodsCompared with: Testing samples executions, while formal verification can prove properties over defined models.Software developmentRelated: Testing checks behavior and exposes defects before and after release.Software maintenanceNarrower topic: Tests provide evidence that modifications preserve required behavior.Formal specificationCompared with: Testing samples executions; a formal specification can state properties for all modeled behaviors.Software portabilityRelated: Each supported environment adds combinations of configurations and behaviors that require testing.Software bugRelated: Tests expose bugs by comparing actual behavior with expected results.Computer science and engineeringRelated: Checks that implemented software meets requirements across intended conditions.VirtualBoxRelated: Disposable VirtualBox guests let testers check software across operating systems.