Software testing: Static testing