RReqSpGuided product tour
SELECTED WORKFLOWE-Mail-Bestätigung – Guided Happy Path
Exit tour

START · PREPARED REQUIREMENT

Begin with one concise business rule.

The guided questions will turn this sentence into a controlled, testable specification.
START
DE
Prepared scenarioE-Mail-Bestätigung – Guided Happy PathRead-only

GUIDED CLARIFICATION

Complete the business decisions

Each answer is visibly applied before the next prepared question appears.
Decision 1 of 8
SPEZIFIKATIONSBEREICHArbeitsmodus wählen
↗
Geführter SpezifikationsassistentGezielte Fragen, wenn Umfang oder fachliche Entscheidungen noch nicht klar sind.
✓
Unterstützender DateikontextOptional kann eine Datei als Kontext für die geführte Unterhaltung verwendet werden.
Eigene Antwort schreibenWenn die Beispiele nicht passen, kann eine eigene Antwort verwendet werden.
Andere Beispiele benötigt?Weitere Beispiele für einen anderen Kontext anfordern.
Bereit zum Abschluss?Den aktuellen Entwurf zur Summary übergeben.
Für diesen Happy Path ist nur die markierte Auswahl verfügbar.

CONTROLLED REQUIREMENT

Review the clarified result

Confirm the specification and the split recommendation before quality analysis.
REVIEW
REQUIREMENT TITLE

Aktivierung eines Benutzerkontos nach E-Mail-Bestätigung

CONTROLLED DESCRIPTION

Wenn der Nutzer den Bestätigungslink öffnet, prüft das System den Token, seine Zuordnung zum Konto, seine Gültigkeitsdauer von einer Stunde und seine bisherige Verwendung. Bei einem gültigen, noch nicht verwendeten Token wird das Konto aktiviert und der Token sofort invalidiert. Für abgelaufene, ungültige oder bereits verwendete Links wird ein eindeutiges fachliches Ergebnis angezeigt.

Original ReqSp componentStep 1 · Requirement Statistics

Step 1

Requirement Statistics

A compact overview of the generated decision logic before you inspect the detailed table and testcase matrix.

Quality warnings detected
Release Index
76%
Needs refinement
Complete paths 15/17 75% index weight
Atomic logic 12/13 AND/OR conditions resolved
Boundaries Not applicable No boundary candidates found
Why the index is not complete 3 open checks

Path completeness 2 missing of 17

  • No branch · The confirmation link has not expired
    This branch has no executable action or defined result. References such as LINK do not complete an execution path.

Atomic logic 1 missing of 13

Condition 7 · AND unresolved — The confirmation link belongs to the account AND has not expired

The confirmation link belongs to the account AND has not expired

Tests 17

17 before optimization

Conditions 13

Decision criteria found in the requirement.

Actions 17

17 before optimization

Redundancies 0

0 detected before optimization

Warnings 3

2 empty branches, 1 unclear actions

Reduction 86 %

8175 states not executed separately

Review required

The generated decision logic contains 2 empty branches and 1 unclear actions. Inspect the highlighted paths in the structogram or tree before generating downstream artifacts.

Optimization Impact

Original values compared with optimized results
Statistic Values Optimized Description
Tests 17 17 Total number of tests to be executed.
Conditions 13 13 Total number of conditions in the decision table.
Actions 17 17 The frequency at which specific actions appear in the rules.
Redundancies 0 0 Number of identified redundancies in the process that were optimized.
Quality warnings 3 2 / 1 Empty decision branches and explicit unclear actions that require review.

Coverage Strategy

Current compact coverage compared with theoretical full path coverage
Decision Coverage 17

Covers executable decisions that lead to defined actions.

C1
Path Coverage 8192

Shows the theoretical condition paths for full combination testing.

C3: 2 ^ 13 conditions
Not Generated Separately 8175

Theoretical combinations that do not add a new action-relevant test in the compact set.

Scope Reduction 86 %

Current test scope covers 0,21 % of the theoretical path space.

Coverage rationale

Decision Coverage is the current generated test strategy: it keeps the test suite compact by focusing on executable decisions that lead to defined actions. Path Coverage is shown as a benchmark for full combination testing. It would require 8192 theoretical paths for this structure. The compact strategy avoids 8175 separate test cases that would not add a new action-relevant outcome.

01
Release Index becomes the quality worklist

The production component shows two incomplete paths and one combined AND condition. The next guided action opens the real Builder surface.

Original ReqSp componentStep 2 · Specification Builder1 UNCLEAR
Blocks:
Sequence
Condition
Wizard Edit in progress An AI preview is active. Apply or discard the change before saving or finalizing.

Drag blocks here

  • Edit with Wizard
  • Open Linked Item
  • Add Sequence Block
  • Add Condition Block
  • Edit
  • Delete
  • Add Block
    • Module Relation
    • Comment
    • URL
Compare both visualizations before resolving the highlighted finding.
Original ReqSp componentStep 1 · Recalculated qualityREADY

Step 1

Requirement Statistics

A compact overview of the generated decision logic before you inspect the detailed table and testcase matrix.

No warnings detected
Release Index
100%
Ready
Complete paths 17/17 75% index weight
Atomic logic 13/13 AND/OR conditions resolved
Boundaries Not applicable No boundary candidates found

No structural release findings detected.

Tests 17

17 before optimization

Conditions 13

Decision criteria found in the requirement.

Actions 17

17 before optimization

Redundancies 0

0 detected before optimization

Warnings 0

0 empty branches, 0 unclear actions

Reduction 86 %

8175 states not executed separately

Optimization Impact

Original values compared with optimized results
Statistic Values Optimized Description
Tests 17 17 Total number of tests to be executed.
Conditions 13 13 Total number of conditions in the decision table.
Actions 17 17 The frequency at which specific actions appear in the rules.
Redundancies 0 0 Number of identified redundancies in the process that were optimized.
Quality warnings 0 0 / 0 Empty decision branches and explicit unclear actions that require review.

Coverage Strategy

Current compact coverage compared with theoretical full path coverage
Decision Coverage 17

Covers executable decisions that lead to defined actions.

C1
Path Coverage 8192

Shows the theoretical condition paths for full combination testing.

C3: 2 ^ 13 conditions
Not Generated Separately 8175

Theoretical combinations that do not add a new action-relevant test in the compact set.

Scope Reduction 86 %

Current test scope covers 0,21 % of the theoretical path space.

Coverage rationale

Decision Coverage is the current generated test strategy: it keeps the test suite compact by focusing on executable decisions that lead to defined actions. Path Coverage is shown as a benchmark for full combination testing. It would require 8192 theoretical paths for this structure. The compact strategy avoids 8175 separate test cases that would not add a new action-relevant outcome.

✓
The controlled logic is complete

The same production analytics component now reports 17/17 paths, 13/13 atomic decisions and no open release findings.

DETERMINISTIC TEST ENGINE

From controlled logic to reproducible tests

ReqSp derives the base test structure from controlled decisions and path markers before optional enrichment.
01
CONTROLLED INPUTDecision model

Conditions, actions and executable columns are the source of truth.

02
STRUCTURAL EXPANSION17 executable paths

ReqSp resolves the J, N and inactive path markers in stable column order.

03
FIXED MAPPINGConditions become test context

J becomes a precondition, N a negative condition and x selects the path actions.

04
REPRODUCIBLE OUTPUT17 deterministic tests

The same controlled logic always produces the same base test definitions.

ALGORITHM RULES

Structural, language-neutral mapping

JCondition is truePrecondition
NCondition is falseNegative condition
xAction belongs to pathStep / expected result
–Inactive condition in Path CoverageExpanded to J and N
WHY THIS IS NOT AI-GENERATED

Coverage exists before enrichment

  1. ✓
    Stable orderingTests follow the controlled decision columns and receive deterministic numbers.
  2. ✓
    Duplicate paths removedIdentical condition/action signatures produce one base test.
  3. ✓
    AI stays optionalIt may improve wording later, but it does not decide paths, conditions or coverage.
DET
Deterministic first, optional enrichment second

ReqSp always persists the deterministic Test Cases before any optional enrichment job is created. This preserves the auditable base even when AI is disabled or unavailable.

Original ReqSp componentStep 8 · Finalize RequirementRELEASE INDEX 100

Step 8

Finalize Requirement

Review the requirement, optional AI enhancements, tests and draft risks before creating the immutable version.

Ready to finalize

AI Support Selection

Choose which AI-backed artifacts should be created during finalization. Story and Epic are preselected, but can be skipped when agile artifacts are not needed.

Code Generation Handled in Step 5 before finalization. Open
AI Prototype Handled in Step 6 when AI mode is selected. Open

Requirement Review

Test Summary

  • State Table 0 columns / 0 rows
  • Tests generated 17
  • Optimized tests 17
  • Test Code Not generated
  • Test App Not generated

Coverage mode for stored test cases

The selected mode is stored with the finalized version and is used by test cases, exports and connector payloads.

Applied on finalize

C1 keeps the compact logical test set. C3 expands don't-care values into concrete yes/no paths when a full path set is needed.

Recommended
Compact test suite from action-relevant decisions. Best for normal requirement reviews and efficient execution.
17 tests 86 % reduced
High assurance
Expanded path suite for deeper analysis. Useful when every theoretical path must be visible and executable.
8192 paths 2 ^ 13 conditions
Finalize will store the compact Decision Coverage test suite.
The guided tour uses the prepared Decision Coverage suite.

Optional Test Data Analysis

Boundary values and equivalence classes enrich the logical tests as executable data variants.

Review 0 recommendations
Analyzed Conditions 0
Boundary Candidates 0
Equivalence Candidates 0
Coverage still defines the logical test cases. Enabled variants are attached to matching tests only; unmatched variants are marked as not covered and do not create new tests.

No decision table is available yet for test data analysis.

Draft Risks

Manage Draft Risks

No draft risks defined yet.

Finalize creates the controlled requirement version.

The current requirement is captured for review. Later edits continue as a new version.

  • Immutable version
  • Risk assessment continues
  • Approval can start
  • Future edits create a new version
Back
02
Finalization freezes the controlled version

Deterministic tests already exist. AI-backed wording and delivery artifacts remain optional and are simulated without provider calls in this tour.

CONTROLLED VERSION CREATED

Prepare the delivery handover

The requirement and deterministic tests are stored. The optional User Story is now connected to the same version.
VERSION 1
✓
Requirement Summary

Wenn der Nutzer den Bestätigungslink öffnet, prüft das System den Token, seine Zuordnung zum Konto, seine Gültigkeitsdauer von einer Stunde und seine bisherige Verwendung. Bei einem gültigen, noch nicht verwendeten Token wird das Konto akt…

Ready
→
User Story & Epic

The prepared delivery artifact is connected to this controlled version and ready to inspect.

Ready
Original ReqSp componentStep 10 · Controlled artifactsCOMPLETE

Step 10

Requirement Summary

Version 1 finalized

Generated Artifacts

Version 1

Requirement Summary

Not requested

No AI-generated requirement summary was selected for this version.

User Story & Epic

Not requested

User Story and Epic generation was not selected for this version.

Coverage and Test Data

C1 Decision Coverage

Stored test strategy

C1 Decision Coverage

This finalized version stores the compact decision-based test set. It keeps the action-relevant logic focused while preserving traceability to the decision table.

Stored tests 0
Theoretical paths 0
0 executable instances are available for the finalized test cases.
Boundary variants: 0 Equivalence variants: 0
Boundary values and equivalence classes enrich existing logical test cases only. They do not create additional logical test cases.

Final Requirement

Status: approved

Approval Policy

Minimum 1 approval
Policy disabled No distinct roles Reject override blocked Self approval blocked

Approvals

0 reviews

No policy-valid approvals recorded yet for this version.

Finalized Risks

Version 1

No finalized risks recorded for this version.

Draft Risks

For next version

No draft risks defined for the next version.

Exports for this Requirement Version

Includes generated test cases with preconditions, steps and expected results for integrations and audit workflows.

17 test cases CSV / Gherkin / PDF / Spec Kit ZIP Connector-ready integrations Audit-ready PDF

Downloads

Portable files for reviews, handover and offline processing.

CSV Gherkin Audit PDF Spec Kit ZIP

Integrations

External test-management exports use configured connectors. Jira is available first; Xray, TestRail, Azure DevOps and ClickUp will follow the same connector flow.

Xray TestRail Azure DevOps ClickUp
03
Every artifact remains linked to one version

The original Summary component connects the controlled description, User Story, deterministic tests, risks, approvals and exports.

Shared ReqSp componentDelivery artifact · User StoryCONTROLLED
Delivery artifact · User Story #1

Aktivierung eines Benutzerkontos nach E-Mail-Bestätigung

Review the user outcome, acceptance criteria and delivery context derived from the controlled specification.

Ready Medium priority 5 acceptance criteria
Open specification
User outcome

Story intent

Derived from specification
Als Nutzer möchte ich mein Benutzerkonto über den Bestätigungslink aktivieren, um den Registrierungsprozess sicher abzuschließen.
As aNutzer
I wantsein Benutzerkonto über den Bestätigungslink aktivieren
So thatden Registrierungsprozess sicher abschließen
Delivery contract

Acceptance criteria

5
  1. 01
    Expected behavior

    Ein gültiger und ungenutzter Token aktiviert das zugeordnete Konto.

  2. 02
    Expected behavior

    Der Token wird nach erfolgreicher Aktivierung sofort invalidiert.

  3. 03
    Expected behavior

    Ein abgelaufener Link führt zu einem eindeutigen Fehlerergebnis.

  4. 04
    Expected behavior

    Ein bereits verwendeter Link aktiviert das Konto nicht erneut.

  5. 05
    Expected behavior

    Jedes fachliche Ergebnis wird nachvollziehbar protokolliert.

Traceability

Delivery context

Controlled specificationAktivierung eines Benutzerkontos nach E-Mail-Bestätigung EpicSichere Benutzeraktivierung
04
Delivery intent stays traceable

This is the same reusable User Story component used by ReqSp. The tour keeps workflow actions read-only while preserving the real layout and provenance.

VALIDIERUNGSBEREICH

Deterministischer Testfall

Ein Test ist geöffnet; die übrigen Tests dieser kontrollierten Version bleiben zunächst zugeklappt.
TEST 1 VON 17 GEÖFFNET
T01
DETERMINISTISCH ABGELEITETER BASIS-TESTFALL

Bereits verwendeter Bestätigungslink

ID DET-001

Extern: UNTESTED
Externe AusführungUNTESTEDNoch kein externes Ergebnis.
Jira / externer LinkNicht nach Jira exportiertKein externer Testlink vorhanden.
Manuelles Ergebnis / OverrideKeinesKein manuelles Ergebnis oder zusätzlicher Nachweis.

Deterministische Testdefinition

VORBEDINGUNGEN
  • Der Nutzer klickt auf den Bestätigungslink.
  • Der Token existiert und gehört zum Benutzerkonto.
  • Der Token wurde bereits verwendet.
NEGATIVE BEDINGUNGEN
  • Das Konto wurde über diesen Link noch nicht aktiviert.
WENN · SCHRITTE
  1. Den Bestätigungslink prüfen.
DANN · ERWARTETE ERGEBNISSE
  1. Der Link wird nicht erneut verwendet.
  2. Der Nutzer erhält den Hinweis, einen neuen Link anzufordern.
  3. Der Fehlversuch wird protokolliert.
EXTERNER NACHWEIS

Noch kein externer Nachweis importiert.

MANUELLES ERGEBNIS / OVERRIDE

In der Produktsandbox nur lesend. In ReqSp kann hier ein begründetes manuelles Ergebnis dokumentiert werden.

16 weitere deterministische TestsTest 1 ist geöffnet; alle weiteren Testfälle sind standardmäßig zugeklappt.
Testindex anzeigen
T02
Bereits aktiviertes KontoAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T03
Erfolgreiche Kontoaktivierung mit WeiterleitungAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T04
Erfolgreiche Kontoaktivierung ohne WeiterleitungAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T05
Aktivierung ohne automatisches LoginAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T06
Erfolgreiche StandardaktivierungAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T07
Abgelaufener BestätigungslinkAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T08
Token gehört nicht zum KontoAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T09
Ungültiger BestätigungslinkAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T10
Bereits invalidierter Bestätigungs-TokenAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T11
Aktiviertes Konto mit gültigem TokenAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T12
Aktivierung und Dashboard-WeiterleitungAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T13
Aktivierung ohne Dashboard-WeiterleitungAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T14
Aktivierung ohne LoginAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T15
Aktivierung mit protokolliertem ErgebnisAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T16
Nicht verwendeter Link wird nach einer Stunde deaktiviertAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
T17
Vor Ablauf ist keine Aktion erforderlichAus derselben kontrollierten Anforderungsversion abgeleitet
UNTESTED
Dieser Rundgang war ein ausgewählter Happy Path

ReqSp begleitet den gesamten kontrollierten Anforderungsprozess.

Die Tour konzentriert sich auf Spezifikation und deterministische Ableitung. In der vollständigen Plattform arbeiten diese Ergebnisse mit weiteren Governance- und Delivery-Funktionen zusammen.

01Baselines & VersionenKontrollierte Stände vergleichen, einfrieren und für Entwicklung oder Release bereitstellen.
02Approvals & AbweichungenReviews, Team-Lead-Freigaben und nachvollziehbare Entscheidungen steuern.
03Traceability & ImpactAnforderungen, Entscheidungspfade, Stories, Tests und Nachweise miteinander verbinden.
04Risiken & AuditRisk Library, Assessments, Evidenzen und manipulationsgeschützte Auditspuren verwalten.
05ConnectorenJira-Status, Stories und Tests mit kontrollierten ReqSp-Artefakten synchronisieren.
06Organisation & AI GovernanceRollen, Teams, Kostenlimits, Nutzung und organisationsbezogene Richtlinien verwalten.
✓
Geführter Produkt-Rundgang abgeschlossen

Sie haben einen realitätsnahen ReqSp Workflow durch originale und gemeinsam genutzte Produktkomponenten verfolgt.