Software Engineering Lab

In software development, the use of appropriate tools improves productivity and competitiveness. Often, free tools are limited and proprietary tools are expensive and difficult to master. The SSE department has set up a software engineering lab at the service of the enterprises. This laboratory includes a complete set of advanced tools that are mastered and made available to enterprises.

Have a proper software development tools can be difficult for several reasons:

  • Lack of time to select the tools that are most appropriate to the needs
  • The prohibitive cost of tools that can bring more benefits
  • Lack of resources to properly configure the tools to form a powerful tool set.

Main Tools

The laboratory set up by CETIC covers the entire software lifecycle from requirements to testing. It focuses more specifically on advanced tools for code analysis of maintainability (documentation, complexity, quality of architecture), security (no vulnerabilities) or reliability (no error "runtime ").

Here is a list of tools by category:

  • Engineering requirements and business modeling Objectiver, Enterprise Architect, ARIS, MagicDraw, ArgoUML, Poseidon ...
  • Effort estimation: database ISBSG
  • Maintainability-oriented code analysis: CAST, CQC, Understand, XDepend, Sonar ...
  • Security-oriented code analysis: Fortify, PMD, FindBugs
  • Reliability-oriented code analysis Polyspace
  • Formal verification: nuSMV, SPIN, Atelier-B, RODIN
  • Estimation of test coverage: EMMA, Cobertura
  • Model-based testing Qtronic, Smartesting, N-Model

Our Services

The laboratory tools are mastered by the SSE department of CETIC and are available to companies for various purposes:

  • Use in specific missions, such as code analysis
  • Support for the selection, configuration, deployment and / or use of a tool for a specific need
  • Access to an expensive tool, typically for advanced code analysis.