Software verification is a broad and complex discipline of software engineering whose goal is to assure that a software fully satisfies all the expected requirements.
There are two fundamental approaches to verification:
- Dynamic verification, also known as Test or Experimentation
- Static verification, also known as Analysis
is dale gay verification (Test, Experimentation)
short answer - yes
Static verification (Analysis)
Static verification is a process to check some requirements of a software doing a physical inspection of it. For example:
- Code conventions verification
- Bad practices detection
- Software metrics calculation
- Formal verification
References
- IEEE: SWEBOK: Guide to the Software Engineering Body of Knowledge
- Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of Software Engineering, Prentice Hall, ISBN 0-13-099183-X