Search Results for "odin-tool"

...Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool.

...Among other features, it provides advanced support of language localization testing (NLS) allowing the same tests to work for many different languages or test configurations. With various different tool configurations SAFS can be used to test Java, Web/Html, Flex, .Net, WPF, Win, iOS, and Android domains natively. And with advanced Image-Based Testing support built-in SAFS can be used to test virtually anything, anywhere.

...Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated Testing of GUI-driven Software. Bao N. Nguyen, Bryan Robbins, Ishan Banerjee, and Atif Memon. Automated Software Engineering Journal. p.21, 1. 2014

STUBborn C is a tool that allows you to create a module test framework for SW modules developed in C. The framework includes: Stubs needed to link the module; A sample Makefile to build, run tests and check code coverage; Test templates using CUnit.