Fully integrated framework to specify requirements, define test specifications, link tests with requirements, use formal methods, perform static analysis, generate test harnesses, execute test cases, post process results, study requirement coverage and manage the entire Verification & Validation (V&V) workflow for Systems Engineering.

Requirements Validation

Are you tired of putting requirements in various formats, writing thousands of test cases in spreadsheets, creating test harness models manually, integrating with test vector generation and code coverage tools, mapping test results to requirements and finally, developing new tools to automate the whole process?

Expert Test Bench is an integrated platform providing continuous solution addressing all these issues, helping to manage the entire workflow for easy and thorough Verification & Validation of Requirement Specifications.

Auto-Generation of Test Modules

Detailed testing of embedded systems involves defining unit tests for individual components, integration tests for the application, functional & non-functional tests, etc... and creation of appropriate test interfaces. Even small changes in implementation model/code can cause re-work of all the test cases and assembled test interfaces.

With our next generation technology, there is no need to maintain seperate test models. The test engineers can directly define the test cases, dynamically generate test harnesses from the actual controls in C or Simulink, update existing tests with changes in requirement/model and reuse them.

Plug & Simulate Controls Algorithm

The controls algorithm development for legacy systems started with C/Fortran. Even for new systems development, the C language is preferred for simplicity reasons. But, along with low level CAN and other hardware drivers, it is not always easy to simulate them in desktop.

In Expert Test Bench, it is easy to build custom schedulers, configure the inputs, compile the C modules in isolation, calibrate the parameters and simulate with various in-built fixed and variable time step solvers. The stored output results can be directly plotted and analyzed along with report generation.

Automated Test Driven Development

With more adaptation of Test Driven Development for Model based Systems Engineering (MBSE), comes the complexity of managing vast repository of knowledge, test artifacts and network of tools.

Expert Test Bench provides step-by-step approach managing all the phases of V process, starting with initial concept to final release and maintenance of systems. The transition between various phases are automated and made seamless through integration of knowledge and tools and the application of Expert Systems.

Save Testing Effort

The entire workflow for Verification and Validation (V&V) of complex embedded systems can be defined and automated easily in our integrated test environment. Helps to save time and effort and thereby, release well-tested software to customers much early. Even more savings can be realized through reuse of test artifacts across engineering programs.

We can work with you to identify the cost savings along with Return on Investment from Expert Test Bench.

Know More on ROI

Platform Independent

Expert Test Bench has support for multiple operating systems and native platforms including MATLAB-Simulink and C. The test specifications are stored in a tool neutral representation along with platform specific information.

The Model Developers and Test Engineers can migrate existing tests, develop new tests, version-control, collabrate and share test specifications across the engineering team easily.

Data Dictionary

Formal definition of signals and parameters referred in requirement specifications and models. The attributes will include data type, dimension, physical unit, etc...

Import/Export Data Dictionary

Data dictionary can be directly extracted from existing Simulink models, exported to and imported from Spreadsheets.

Test Vector & Parameter Database

Common set of possible test vectors for signals and parameters defined in the data dictionary, shared across engineering projects.

Define Requirement Specification

Hierarchical definition of system requirements with textual descriptions, mathematical assumptions and constraints.

Export Requirements as Document

Requirement Specification can be exported to various formats including as HTML and Microsoft Word documents.

Link with Requirement Database

Facilty to link and reuse requirement specification from Requirement Management systems and Microsoft Office documents.

Define Test Specification

Integrated framework for specifying multiple test cases for Systems under Test which could be either one or more Simulink subsystems or set of C modules.

Sharable Test Specification

Test Specification along with requirement specification can be shared with team members and version controlled.

Define Project Setup

Detailed setup specifying the source code, models libraries, scripts and data files along with option to customize the project initialization process.

Link Test Artifacts with Requirements

Various test artifacts in the Test Specification can be mapped as 'Satisfiable' by linked requirements in the Requirement Specification.

Simulation Configuration

Simulation configuration including Start & Stop time, Solver and initial conditions can be customized according to the test case.

Test Process Customization

Engineers can customize various aspects of the test execution process and add callbacks for integration with platform specific toolboxes & external tools.

Test Vector Specification

Numerous sources for providing the test inputs including from Test Vector Database, custom plots, Excel sheets and In-Vehicle data.

Auto-Generation of Test Vectors

Automatic derivation of test vectors from knowledge specified in the data dictionary and associated requirements.

Verification & Validation Logic

Easy way to specify verification and validation logic through requirements, mathematical constraints, scenarios, past and In-vehicle results.

Batch Test Execution

Test cases for various Systems under Test can be simultaneously executed in the target platform and the results are aggregated for detailed analysis.

Auto-Generation of Test Harnesses

Automatic generation of test harness model/code from the test specification and no hazzle of maintaining seperate test harness mode/code.

Requirements Coverage & Test Reports

Easy to read aggregated report for execution status for test cases and coverage reports for validation of system requirements.

Post-Processing of Results

Archived results from each test execution can be quickly plotted, analyzed, saved and customized for reports.

Results Comparison

Test results can be compared with baseline & old results and analyzed for convergence with actual data from plant systems.

Report Generation

Faclity to export execution status, coverage Studies and plots to various report formats including as HTML and Microsoft Office documents.

Additional Features for C Platform:

Desktop Simulation

Test case logic for the test modules are automatically generated, compiled with dependent libraries and executed in isolation. MIL, SIL and PIL testing processes are automated for faster V&V of ECU control algorithms directly in desktop, before deployment to the hardware.

Built-In ODE Solvers

Facility to provide both Discrete & Continous states, specify simulation time and choose various types of Built-In Fixed & Variable Step ODE Solvers for accurate and faster simulation without the need for external dependencies.

Application Code

Entire source code and the module hierarchy for the controls development projects can be imported with code configurations and external dependencies.

Test Harness Scope

Flexible scope for each test harness which could be either an unit C file or a module or a group of related modules or the entire application itself.

Scheduler Logic

Easy workflow for building custom schedulers with options for specifying the sampling frequency and conditions for execution of various controller tasks

Code Compilation

Support for standard compilers and customization of the compilation process, including specification of preprocessor configurations and linked libraries.

Test Vector & Parameter Initialization

Test vectors are directly importable from spreadsheets containing actual plant data and parameters are calibratable for individual test cases.

Auto-Storage of Test Results

Test Results are automatically logged for the executed test cases, stored in open formats for later debugging and automatically analyzed using in-house tools.

Get Trial

Thanks for choosing to evaluate our product. Kindly tell us about yourself and the purpose of the evaluation to serve you better.