Testing & Quality Engineering

Medical Devices / Software as Medical Device Testing

SaMD PHI data verification (results and data)
SaMD Core Engine verification(algorithms, and workflow)
SaMD Output verification (Output results verification with reference to Reference)

Avionics Software Testing

Airborne software testing as per DO 178B / DO 178 C / MISRA and other standards
Model based verification as per DO 331 supplement
Custom verification and testing as per CEMILAC, JSS, DOD etc.

Automotive Software Testing

Unit testing as per ISO 26262 criteria
Static and Dynamic analysis as per internal / custom requirements

We take-up the below Independent / third-party testing services –

End-to end system testing – including static and dynamic analysis

Functional testing

Compatibility / System Upgrade testing

Pre-release testing

Usability / User-experience testing

Model design, enhancement, code generation
Model in loop testing
Software in loop testing
Data correlation and analysis

Testing of Commercial FPGAs – Xilinx, and Atmel

Small logic algorithms – PLBs and IOBs

Large logic functions – Memory and DSps testing

Traceability and Requirements mapping analysis
Design verification as per hardware design and interface design documentation

Analysis using LDRA, Vector tools and manual process covering the following –

Linear code sequence and ‘code jump’ analysis
Complexity and code depth analysis
Control flow knots analysis
Reachability, looping depths, and Halstead metrics

Independent LRUs verification and testing
Compatibility and Interface testing
System failure modes and communication testing

Hardware and firmware upgrade testing
Built Software and used tools upgrade testing

Functional testing – test cases, test data, and test reports
Browser / device compatibility testing
Testing as per W3C and WS-I standards

Functional testing, Device compatibility testing