Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Infor M3 ERP
Enterprise manufacturers and distributors requiring a solution to manage and execute complex processes
Efficiently executing the complex processes of enterprise manufacturers and distributors. Infor M3 is a cloud-based, manufacturing and distribution ERP system that leverages the latest technologies to provide an exceptional user experience and powerful analytics in a multicompany, multicountry, and multisite platform. Infor M3 and related CloudSuite™ industry solutions include industry-leading functionality for the chemical, distribution, equipment, fashion, food and beverage, and industrial manufacturing industries. Staying ahead of the competition means staying agile. Our new capabilities bring improved data-driven insights and streamlined workflows to help you make informed decisions and take quick action.
Pikzie is an Unit Testing Framework for Python. Pikzie provides more Pythonish API(*) and more usefull test result output rather than PyUnit (unittest.py). (*) PEP 8 -- Style Guide for Python Code: http://www.python.org/dev/peps/pep-0008/
The project moved to GitHub, https://github.com/aevdokimenko/tsqlunit
TSQLUnit is a framework to write tests for applications written in Transact-SQL. It follows the tradition of the "xUnit" framework that is available for almost all programming languages.
PUT is a unit-testing framework that builds on the standard python unittest framework in order to provide extra features including: aggregate fixtures, suite heirarchial naming, customisable output, logging, suite level fixtures and more.
MATRIX is a world-class, award-winning learning management system (LMS) for businesses.
For small, medium, and large sized corporations, as well as associations and public organizations
The platform is known for delivering a great user experience, while incorporating all the essential tools companies need to support efficient training and learning.
BugEye is an XML-based unit test creation framework. Being XML-based, it can be easily translated to almost any language. The current translations are C#, Java, JavaScript, and Visual Basic. Future translations include C++, Python, Perl, and PHP.
An unit testing framework (http://www.xprogramming.com/software.htm) to allow unit testing of Products in a real Zope environment, with all the bells and whistles.
A unit testing framework for Python based on JUnit and XUnit, the de-facto standard frameworks for Java and SmallTalk respectively. Provides a standard, proven, simple and elegant way to write unit tests for Python software. GUI also provided.