Static analysis is a method to extract certain information about the program without actually running it. Extracted information is later used for white-box testing. In this blog post, we will first have a look at different types of information that we can extract using static analysis. Later, we will have a compendious overview of different techniques for static program analysis. Motivation There are broadly 2 categories of information, based on their usage, that we can extract: Proscriptive…
Tag: verification
Embedded software testing, validation and verification
Embedded softwares, unlike general softwares, are highly dependent on the hardware they are developed for, and thus it became essential to create a hardware-based or hardware-like environment simultaneously with the software for effective testing. Where simulators and emulators can, up to some extent, provide a hardware-like environment for testing embedded softwares, they can not always be relied upon while testing for safety-critical applications like flight control system. It is this, high dependency on hardware, which makes testing,…