model checker, Software, static analysis, validation, verification

Static program analysis: Motivation and Techniques

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…

Continue Reading

model checker, Software, static analysis, validation, 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,…

Continue Reading