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
