Content
Around Logiscope
The Kalimetrix consultants and experts have built an unequalled expertise in the Logiscope Toolset through years of development and maintenance of the product itself as well as uncountable operational uses in software "Third Party" evaluation or source code verification workbench set-up.
Since 2003, Telelogic AB has contracted Kalimetrix for the maintenance of the Logiscope Toolset.
Based on this expertise, Kalimetrix offers a consistent set of services and trainings to efficiently integrate Logiscope in your software Review, Validation, Verification and Acceptance processes:
Services
- Logiscope "Kick-Start" Package
- Getting Started with Logiscope
- Developing specific coding standards for RuleChecker
- Adapting TestChecker for specific embedded test platforms
- Customizing Logiscope HTML Reporting Facilities
- Plug-in Logiscope
Trainings
Logiscope "Kick-Start" Package
Objectives
The "Kick Start" Package provides you with a full support to speed up and successfully introduce the Logiscope Toolset within your organisation. Some key actions are successively performed over a limited period of time.
At the end of this period of time, you will be autonomous in the use of the Logiscope Toolset, have fully integrated it in a documented supporting Source Code Verification process and already applied this process on a "pilot" project.
Agenda
The Logiscope "Kick-Start" is a package of 10 predefined tasks Some may be re-ordered, cancelled or added to better fit to your needs and constraints.
- Introducing the Key Concepts of Software Product Evaluation;
- Analyzing representative software applications, this allows to create a first referential of analysis data;
- Studying statistical values of metrics;
- Tailoring a "corporate" Quality Model;
- Configuring Logiscope;
- selecting appropriate metrics and associated thresholds derived from the statistical study,
- rating of software components according to their complexity,
- selecting applicable coding standards to be verified;
- Specifying how to integrate the tool in the Development and Maintenance processes;
- Presenting the Source Code Verification results;
- Documenting Logiscope-based verification modules in compliance with the ISO/IEC 14598 International Standard for Software Product Evalutation;
- Training the development and maintenance team(s);
- Mentoring and support during a pre-established period of time (usually 2 months).
Pricing
The Logiscope "Kick Start" Package is a contract price of 7500 Euros.
The Pricing does not include travel expenses.
According to the context, Kalimetrix may propose a lighter version of the Logiscope "Kick Start" Package to better fit to your needs and constraints.
Getting Started with Logiscope
Objectives
The Getting Started with Logiscope package is a subset of the Logiscope "Kick Start" Package where the assigned Kalimetrix consultant assists a limited group of key users in their first contact with the Logiscope Toolset. He provides them guidance in their very first software analysis from the parsing of the code to the generation a verification report including key diagnosis of software features.
The Getting Started with Logiscope package can be part of the evaluation of the Logiscope Toolset.
Agenda
- Installing the Logiscope Toolset;
- Analyzing one or more representative software applications;
- Configuring Logiscope;
- selecting appropriate metrics and associated threholds derived from the statistical study,
- rating of software components according to their complexity,
- selecting applicable coding standards to be verified;
- Presenting the Source Code Verification results;
Pricing
- 2-day Package: 1550 Euros.
- 3-day Package: 2300 Euros.
- 4-day Package: 2900 Euros.
The Pricing does not include travel expenses.
Developing specific coding standards for RuleChecker
Objectives
The standard set of ADA, C, C++ or Java coding rules checked by Logiscope RuleChecker may be incomplete regarding your own rule set.
The Kalimetrix TCL and Perl experts perfectly master the data model implemented in Logiscope RuleChecker. They are the best to develop additional scripts to automate the checking of your specific coding standards.
Pricing
The pricing depends on the set of coding standards to be checked. Please, contact us for a quotation.
Adapting TestChecker for specific embedded test platforms
Objectives
You want to verify and demonstrate the completeness of your test plan using source code coverage measurement and analysis. You may need to adapt Logiscope TestChecker to a specific test environment: Real-Time Operating system, embedded platform
We have the best experts to develop libraries for collecting test execution traces on a specific embedded test platform.
Pricing
The pricing depends on the target testing platform. Please, contact us for a quotation.
"Verifying Software Using Logiscope" Training
Summary
This standard training introduces the key concepts of the software quality evaluation techniques supported by the Logiscope Toolset and their implementation though a series of pratical exercices mainly based on trainees self developed source code.
More than a simple introduction to a new tool, this training session provides the trainees with a normative and methodological framework for software product evaluation. It clearly locates the scope and benefits of the Logiscope Toolset regarding source code verification in the various software life cycle processes.
Agenda
- Software Characteristics: introducing the "ISO/IEC 9126-1: Quality Model" international standard
- Software Evaluation Process: introducing the ISO/CEI 14598 international standard
- Evaluation Techniques supported by Logiscope:
- Component Coupling Analysis: concepts of call graph, inheritance graph, dependency graph;
- Control Flow Analysis: concept of control graph
- Software Metrics: concept of Quality Model,
- Coding Standard Checking
- Structure-Based Testing / Test Coverage Measurement (optional)
- The Logiscope Toolset :
- Logiscope Studio
- Logiscope Viewer
- Logiscope TestChecker (optional)
- Application Exercices
Pricing
- 2-day Standard Training: 2500 Euros.
- 1-day TestChecker Option: + 1000 Euros.
The Pricing does not include travel expenses.
"Developing new rules for RuleChecker" Training
Objectives
You may want to add your own rules to the standard set of ADA, C, C++ or Java coding rules checked by Logiscope RuleChecker in order to be full compliant with your programming standard. This training aims at helping you to start to develop additional scripts (rules) to automate the check of your specific coding standards.
Content
This course is organized in modules. The following modules are available:
- M1 - Tcl language.
- This module is common to all languages (C/C++/Ada/Java) to develop rules using the Tcl language.
- Content: bases of Tcl.
- Length: 1 day, with 0.5 for practical exercises.
- M2 - Perl language.
- This module is needed only for Logiscope RuleChecker C.
- Content: bases of perl.
- Length: 1 day, with 0.5 for practical exercises.
- M3 - Logiscope RuleChecker C customization
- Content: Learn the underlying model of the Tcl verifier, learn how to use it to develop new rules, learn how to use the perl verifier for new rules development.
- Length: 3 days, with 1.5 for practical exercises.
- M4 - Logiscope RuleChecker C++/Ada/Java customization
- Content: learn how to parametrize the rules included in the product. Learn the underlying model of the Tcl verifier, understanding this model. Learn how to use this model to develop new rules.
- Length: 2 days, with 1 day for practical exercises (for one language C++ or Ada or Java) + 0.5 days for each additional language
- M5 - Rule development Methodology - how to start with rule verification.
- Content: how to go from the requirement (the text of the rule) to a specification which will be automatically verifiable with the tool. How to choose between the Tcl and the Perl verifier. How to deal between results precision and efficiency of the verification (memory usage, execution time) of the rule. Applpy this on some customer rules.
- Length: 0.5 day.
- M6 - Support for rule writing.
- Content: this module aims at providing a support (by e-mail) to help the user to start writing rules.
- Note: This kind of support is not provided by Telelogic hot-line.
- Length: The length of this module cannot be known in advance. It depends on the customer needs.
Pricing
Depending on your needs you will compose the training which will best fit your needs.
Each training day is 1000 Euros.
Training example:
- Developing new rules for C++ and Java languages will require modules M1 (1 day) , M4 for 2 languages (2.5 days) and M5 (0.5 day)
- 4 days training = 4000 Euros
The Pricing does not include travel expenses.
Price for M6 module depend on the agreement between Kalimetrix and the customer.