type of software testing in which a program's structure and components are examined without being executed
the process of analyzing the static structure of a program or intermediate software product. this is usually automated and can detect errors or error prone conditions
Other , more traditional tests are also available .