Here we present the main features of Inspecto need. When you sign up, you will also have access to an online training session. Additional and more advanced training is possible if you wish.
Inspecto need is a requirements management application. It allows you to create your requirements, formalize them, analyze them and export them to your software development projects.
To ensure good practice, we recommend that you first define the domain in the Domain definition section. This step, although optional, ensures that the elements you will use in your requirements are properly bounded. For example, you can define that the led color variable can only be green, orange, red or off.
Once this is done, you can start writing your requirements in the Requirements section. The easiest way to do this is to start with user needs, which you can express freely (following the recommendations of the ambiguity analyzer), then refine them into more formal requirements that can be used with Inspecto code to generate tests.
Finally, you can export your requirements, either to GitHub or GitLab, or to JSON or Word format using the Exporter. All project team members can also import them directly into Inspecto code.
A project can be created using the Projects menu to group together the associated customer requests. All you have to do is enter a name and a description.
Once the project is created, several sections are available:
The New requirement window can be decomposed in 7 parts, as described below:
1.2.3, but you can use any notation you like.
When the power supply is on, then the status led must be on, it is the context that makes it possible to specify that we are talking about the power supply and the status led of a computer for example.
Metadata are associated with requirements and can be used to add specific information. It will be possible to edit them in the next version.
This field is for free notes that you wish to add to a requirement for the purpose of providing additional information or clarification about the requirement.
You can create relationships to other requirements. These relationships are the following:
A requirement is an addition to another requirement if it specifies more properties.Example: “The drone shall retrieve destination of handled parcel from an existing web service and transport it to this destination” is an addition to “When a parcel is handled by the drone, the drone shall transport it to its destination”.
A requirement is a constraint of another requirement if it specifies the same properties but in a more restricted context.Example: “When delivery order is given and when the battery is low, the drone shall send a notification and stay in the charge pad” is a constrained version of “When the battery is under 10%, the drone shall stay in charge and a notification of battery status shall be available for the user”.
A requirement contradict another requirement if you cannot satisfy both of them at the same time.Example: “At any time, the drone shall avoid obstacles, fly at the minimum safe height and be able to stop in less than 1 second” contradicts “When the battery is under 10% then the drone shall switch to recovery mode and land quickly”.
A requirement is part of another requirement if the first requirement participate to the satisfaction of the second one.Example: “When the battery is under 10% then the drone shall switch to recovery mode” is part of “When the distance to warehouse is more than 500 meters and when the drone battery is under 10%, then the drone shall switch to recovery mode, send a location message and land quickly”.
A requirement is a refinement of an other one if it introduces a new property and/or if it weakens the constraints.Example: “When the drone handle a parcel, then it shall transport it carefully” can be refined in “At any time, the drone shall avoid obstacles, fly at the minimum safe height and be able to stop in less than 1 second.”.
A requirement repeats another requirement if it specifies the same properties with the same constraints.Example: “When activated, the drone shall take over a parcel (pick it in the warehouse and deliver it)” repeats “The drone shall pick up a parcel, go to the destination and drop it off when activated on the web application”.
Note that although we want to avoid repetitions and contradictions, it is important, if you detect some, to identify them.
Formal requirements are requirements expressed using a grammar that allows Inspecto need to parse and analyze them.
The greater the proportion of formal requirements, the lower the risk of ambiguities and misunderstandings related to the requirements.
Of course, the idea is not to write all the requirements in a formal way, but to start from non-formal requirements, close to the user needs, then to refine them little by little until the final requirements, which are formal.
Formal requirements are composed by two parts:
Thus, a formal requirement is a set of properties that must be satisfied given the constraints.
The grammatical form of a formal requirement is thus:
When <constraints> then <properties>
Constraints and properties are about the value of variables (i.e., elements) of your system or domain.
The main idea is to express what should be the value of variables when other variables have a certain value.
For example, when you write
When the power supply is on, then the status led must be on, you define that the value of
status led is
on when the value of
power supply is
The grammatical form to express a constraint is:
<variable> <comparison operator> <value>
Variables are defined using words in a classical way. You can also use noun phrases connected by prepositions to talk about sub-elements, for example
the led of the dashboard will be understood as the element
led contained in the element
The comparison operators are the classical ones:
is less thanor
is greater than);
is less or equal toor
is greater or equal to).
Value can be of type:
If variables and values do not change for properties, the syntax is slightly different since you have to introduce a modal verb:
<variable> <modal verb> <comparison operator> <value>
Modal verbs modify the comparison operators that follow them (the verb be is in the infinitive, e.g.
be less than instead of
is less than) and are:
At any moment, if you are writing a formal requirement, you can press the Parse and add requirement button to verify that your formal requirement is written correctly.
A requirement in natural language is a requirement expressed in natural language and is not analyzed. These requirements make it possible to express global and initial needs, without formalization.
They are therefore useful for grouping together a set of requirements, for keeping track of customer requests or for writing a requirement that cannot be formalized.
Inspecto code will generate the test structure associated with this requirement and will make the link between the code and the requirement, but will not be able to generate the various test cases, which remain the responsibility of the developer.
Each variables expressed in requirements is defined by a domain.
Inspecto need infers the type of variables using the context, but it is possible to define it strictly in order to:
led colorvariable can only be
This is done using the Domain definition section of Inspecto need. You simply add a new definition, giving a type to a given variable. Inspecto need will then parse it into the project based on that type.
Dans les paramètres d’un projet, vous pouvez retrouver la section Connection to other tools qui permet de connecter votre projet Inspecto need à un projet GitHub ou GitLab.
Cette connexion vous permettra d’importer l’ensemble de vos tickets labellisés “Requirement” et de les synchroniser avec les exigences sur Inspecto need.
Options de tracking :
Ces options permettent deux types de synchronisation avec les éléments de votre dépôt GitLab ou GitHub.
Au travers du menu Exporter, il est possible d’exporter les exigences d’un projet :
Pour chaque projet, une équipe est définie par le créateur du projet. Seul le créateur du projet peut y ajouter ou supprimer des membres.
Une liste récapitulative de l’ensemble des membres de l’équipe d’un projet est visible dans la section Project Settings 〉Projet Team .
Celle-ci contient les données de chaque membre, incluant les licences activées.
De même, l’ensemble des membres que vous gérez sont présents dans la section Profile 〉Team members
Here we present the main features of Inspecto code. When you sign up, you will also have access to an online training session. Additional and more advanced training is possible if you wish.
Inspecto code is an automatic test generation software, directly linked to the Inspecto need projects of which you are a member. You will be able to retrieve all the requirements previously written on Inspecto need.
Inspecto code allows you to generate your behavior and acceptance tests in the programming language of your choice.
After linking the generated tests to your code, you can run your tests from Inspecto code and observe which requirements are met or not by the application.
From Menu 〉File 〉New Project or directly with the icon
In the wizard that appears, enter the name of your project and the folder in which you want to place your project. Using the drop-down menu, you can indicate the Inspecto need project you are working on.
On the next page, indicate the specifics of your project's test generation, such as the language, the test framework used or the location of the test files.
A project can be imported or exported to remote repositories (Inspecto need, GitLab, GitHub, Jira).
There are several possible views of your requirements depending on your needs.
The visualization in the form of a list of all your requirements, which allows you to see at a glance all your requirements and the status of each one.
The visualization in the form of a ticket, which allows you to have all the data related to a requirement (texts, metadata, assigned member).
The graphical view, which allows you to see the links between your requirements from the Graph view tab. Thus, you will be able to see in green the minimum set of requirements that must be met to run all your tests.
It is also possible to open the .req files in the text editor by right-clicking 〉Open in editor.
It is possible to generate the test files associated with the requirements using the Tests 〉Process project menu or directly with the Process button in the toolbar. Your files will be generated in the tests sub-folder.
The generated tests are organized into two types of files:
It is possible to easily navigate between a requirement and the associated test code. To do this, there is a button in the detailed view of a requirement Go to test code. Conversely, you can return to a requirement with the command ctrl + space from the identifiers present in the comment of the test methods.
You must integrate the generated tests into your developments. Compile these tests with your application and then link the executable produced to Inspecto code using the Tests 〉Browse executable menu or using the button in the toolbar.
Once the tests are linked to the application code, it is possible to preview the results from the Inspecto Code application.
It is possible to link an executable file for C++ projects, a jar for Java projects or the generated main file for interpreted languages such as Python.
Once the executable file is linked, you can then launch the tests via the Run button> .
The results appear in the console.
Some parameters of the application such as the generation language or the font size can be modified in the Settings of Inspecto code, accessible via Menu 〉File 〉Settings.
There are several possible generation languages, available in the Settings of the Inspecto code application.
In order to keep track of customer requests and their origin, Inspecto Code allows you to link documents to a project, a file or a particular requirement.
To do this, simply right-click on the externalSources folder and select Add new external source. In the wizard that appears, you can then choose the type of link, then the file to link.
You just have to register on the site using the form on the Registration page. You will then have access to your personal space and we will contact you shortly to allow you to obtain one or more licenses that you will manage.
The manager account is the account of the person managing all the licenses of his team or company. He can choose to activate or deactivate the users' licenses.
There are several reasons why you may not be able to connect to Inspecto need:
There are several reasons why you may not be able to connect to Inspecto code:
Contrary to a BDD approach used in Cucumber, we have a more abstract approach because we focus on requirements. We could call this RDD approach (Requirement Driven Development). To make the link with the Gherkin files, we can open them in our application but no analysis is done on them. By transforming them into a requirements file with Inspecto need, you can generate the associated tests.