Static Testing In Software Engineering