Tools from SVV Lab

As part of our work with industrial partners, we sometimes produce tools which we can make freely available to others. Currently the SVV lab is developing the following tools, which are available for use outside of our industrial partners. 

  • HITECS-TOOL helps engineers specify and analyze hardware-in-the-loop (HiL) test procedures for cyber physical systems (CPS). The tool supports a domain specific language, named HITECS, for specifying test procedures. For analyzing the specified HiL test procedures, HITECS-TOOL supports model checking, estimating execution time, and testing. More information about HITECS-TOOL can be found in the following link:
  • PoliSim is a model-based tool for the simulation and static change impact analysis of procedural legal policies. This tool provides support for decision-making and has been successfully used for investigating how repealing joint taxation would impact personal income taxes in Luxembourg. More information can be found here:
  • Xavier is a penetration testing tool to test web applications and services for SQL injection vulnerabilities. It utilises machine learning techniques to learn from previously executed attacks and adjusts the generation of new attacks in order to create attacks that have a high likelihood of revealing vulnerabilities. More information can be found in our publications:
  • SimCoTest (Simulink Controller Tester) is a test generation tool for Simulink/Stateflow controllers. SimCoTest enables automated test suite generation for simulation and code-generation Simulink models. More information about SimCoTest can be found here: 
  • SimFL (Simulink Fault Localization tool) is a tool for supporting MATLAB/Simulink models fault localization. SimFL is built based on statistical debugging techniques. SimFL enables automated collecting test execution information for fault localization, generating ranking lists based on the suspiciousness of atomic blocks in the Simulink, and improving fault localization by extending underlying test suite when the generated ranking is not satisfactory. More information about SimFL can be found here:
  • REGICE (REquirements Glossary term Identification and ClustEring tool) is an automated tool for identifying glossary terms in natural language requirements and clustering the identified terms based on relevance. The tool highlights the clusters of candidate glossary terms within requirements text to preserve the context in which the terms appear in the requirements. More information can be found here:
  • PUMConf (Product line Use case Model Configurator) is a tool that is developed for use-case driven development, and that guides the analysts and customers in making configuration decisions in product lines to automatically generate Product Specific (PS) use case and domain models from Product Line (PL) use case and domain models. It is integrated with an industrial requirements management tool (i.e., IBM Doors) as a plug-in, which relies on Natural Language Processing (NLP). The tool automatically checks the consistency of the PL models, identifies the partial order of decisions to be made, determines contradicting decisions, and generates PS use case models. PUMConf has been successfully evaluated on an industrial case study. More information about the tool can be found here:
  • UMTG (Use case Modelling for Test Generation) is a toolset for automatically generating executable and traceable system test cases from use case specifications and domain model, which employs Natural Language Processing (NLP), a restricted form of use case specifications, and constraint solving. UMTG is integrated with IBM Doors and IBM Rational Rhapsody, which are the most widely adopted tools in industry to manage requirements and design systems. UMTG has been successfully evaluated on an industrial case study. A demo and more information about the tool can be found here:
  • RETA (REquirements Template Analyzer) is a flexible tool for automatically checking natural language requirements against templates (currently SOPHIST and EARS templates) for conformance. RETA further provides a range of diagnostics to highlight potentially problematic syntactic constructs in natural language statements which can result in ambiguities. A demo and more information about the tool can be found here:
  • NARCIA (NAtural language Requirements Change Impact Analyzer) is an automated tool for analyzing the impact of requirements changes. When a change occurs in a requirements document, the tool computes a likelihood of impact for each requirements statement in the document. This allows users to concentrate on requirements that are most likely to be impacted. A demo and more information about the tool can be found here:
  • CoCoTest (Continuous Controller Tester) is a tool for testing dynamic continuous controllers. CoCoTest enables automated testing of continuous controller models designed and developed in MATLAB/Simulink. More information can be found here:
  • OCLR-Check is a toolset to perform offline checking of properties written in OCLR (a temporal extension of OCL) on system execution traces. More information can be found here:
  • JoanAudit is a program slicing tool for automatic extraction of security slices from Java Web programs. Security slices are concise and minimal pieces of code that are essential for auditing XML, XPath, and SQL injection--common and serious security issues for Web applications and Web services. More information can be found here:

If you have any questions, please contact the authors of the tools.