This document discusses tools that support static testing. Static testing involves manually reviewing software work products without executing them. Review process support tools can be used to facilitate reviews through features like storing and sorting comments, communicating with relevant parties, and tracking review status. Static analysis tools help developers test code by identifying risks, enforcing standards, and finding anomalies without execution. Modeling tools generate test cases from system models and help validate models through identifying inconsistencies and predicting behavior.