Getting a Better Insight into Structural Testing

Automated Theorem Proving

We, authors of this article, have some experience in executing the program that proves the theorem, using the computerized theorem proving tools such as Gypsy to test approximately a thousand lines of code. The principle…


What Are Code Coverage Tools?

Debugging While Coding

Do you know how to simplify a debugging process when you are bogged down in coding work? Most people call this process “defensive programming,” but some prefer to think about it more and more deeply…



Is Test Automation Worth Using?

Is Test Automation Worth Using?

Actually, the use of an effective test automation system minimizes test case execution time (for example, up to one night), without which it is impossible to confirm that the product’s quality has been improved (namely…


Source Code Inspections

Source Code Inspections

Source code inspections are a set of procedures and techniques for detecting errors (debugging) that are used by a team of specialists to examine (read) the source code. When considering source code inspections, our attention…


Compatibility Testing (Configuration Testing) & Performance Testing

Test Case Automation

With proper test planning and reasonable expectations, the use of automated tools and automated test cases appears to be a good way to reduce the time spent on analysis of a software product. Now we…