Accueil À propos Services Cas d'utilisation Ressources Blogue FAQ Réserver une démo
← Retour aux ressources

Document d'exigences fonctionnelles (FRD)

Chaque branche fermée : le modèle de document d'exigences fonctionnelles conçu pour être testé

BAAnalyste d'affairesPalier de base12 sections

Un modèle de document d'exigences fonctionnelles (FRD, pour Functional Requirements Document) transforme une fonctionnalité engagée en énoncés numérotés de ce que le système doit faire, chacun avec un critère de conformité et une méthode de vérification. La décision qu'il permet de prendre est la frontière de la spécification : quel comportement ce document couvre, lequel appartient à une spécification voisine, et quelles branches de la logique sont fermées. Specira compile le FRD à partir des exigences, des règles d'affaires et des décisions typées durant la découverte.

Un FRD rédigé à la main cache des exigences composées dans de longues phrases, laisse une branche marquée « à décider » et décrit une permission sans dire à quoi ressemble le refus. Le diagramme de séquence d'une section contredit le catalogue d'erreurs d'une autre. L'ingénierie hérite des choix technologiques que l'auteur a glissés, et les testeurs ne peuvent pas dire ce qui prouverait qu'un énoncé est faux.

Quelles sections contient le document d'exigences fonctionnelles?

Le modèle gouverné par défaut va des rôles et permissions aux exigences numérotées, aux règles d'affaires, à la gestion des erreurs, à la validation, aux diagrammes de workflow et d'états, puis aux spécifications d'interface.

SectionProfondeurComment elle est produite
Rôles utilisateur et permissionsbaseTable à partir d'éléments typés · Role, Description, Permissions
Exigences fonctionnelles par modulebaseProse synthétisée depuis la découverte
Règles d'affaires (clés)baseTable à partir d'éléments typés · ID, Rule, Trigger, Exception
Gestion des erreurs (résumé)baseProse synthétisée depuis la découverte
Règles de validation des donnéesstandardTable à partir d'éléments typés · Field, Rule, Error Message
Définitions des flux de travailstandardDiagramme généré
Spécifications d'entrée et de sortiestandardTable à partir d'éléments typés · Endpoint/Screen, Input, Output, Validation
Diagrammes de machines à étatsstandardDiagramme généré
Règles de traitement par lotscompletProse synthétisée depuis la découverte
Formules de calculcompletTable à partir d'éléments typés · Calculation, Formula, Inputs, Precision
Exigences de localisationcompletProse synthétisée depuis la découverte
RétrocompatibilitécompletProse synthétisée depuis la découverte

Comment Specira bâtit-il le FRD?

L'analyste d'affaires est propriétaire du FRD, avec les notes en ligne de l'architecte de solutions sur les interfaces et les états, du l'analyste en sécurité sur les rôles et les refus, et du le critique Red Team sur les branches non fermées. Il compile le document à partir des exigences, règles d'affaires et contraintes typées, et des décisions qui les ont fermées. L'exemple Meridian montre la discipline : la section Exigences fonctionnelles liste FR-010 à FR-013 comme des énoncés à un seul comportement, chacun avec une priorité, un critère de conformité (la phrase qui pourrait le prouver faux) et une méthode de vérification tirée d'un ensemble fermé. La section Rôles et permissions associe chaque ligne « ne peut pas » à une entrée nommée du catalogue d'erreurs, parce qu'un refus est aussi un comportement.

La section Comportement et logique de décision porte un validateur de fermeture des branches : une branche ouverte s'affiche comme un écart nommé, jamais comme une valeur par défaut devinée. La section Flux de cas d'utilisation produit les diagrammes de séquence et d'états par le même service de diagrammes que les exports, et le modèle vérifie que les flux d'exception concordent avec le catalogue d'erreurs. Chaque énoncé cite l'exigence d'affaires vers laquelle il trace et porte sa provenance. Le critique Red Team exécute la porte d'export sur les décisions réglées, et le FRD part en DOCX, Markdown ou JSON, ou se pousse vers Jira, GitHub, Linear et Confluence.

Première page de l'exemple : Document d'exigences fonctionnelles (FRD)

Exemple rendu

Rendu à partir du gabarit gouverné par défaut de Specira sur une entreprise fictive, filigrané, avec ses diagrammes. Document en anglais.

PDFVoir en ligne

Comment les équipes utilisent-elles le FRD?

À quoi ressemble le FRD dans Specira?

Les écrans ci-dessous suivent la spécification des règles de recommandation, de la décision de fermeture de la logique en découverte jusqu'au diagramme d'états rendu.

Écrans tirés d'un espace de démonstration Specira; compteurs et scores sont des données d'exemple.

Réservez une démo et regardez un document d'exigences fonctionnelles rendre ses énoncés, ses flux et son catalogue d'erreurs à partir d'une vraie session.

Réserver une démo

Quelles questions reviennent sur cet artefact?

Un document d'exigences fonctionnelles (FRD) spécifie ce qu'un système fait, sous forme d'énoncés atomiques numérotés, avec les rôles et permissions, les règles d'affaires, la logique de décision, la gestion des erreurs, les règles de validation, les diagrammes de workflow et d'états et les spécifications d'interface. Il se situe sous le document d'exigences produit et au-dessus des récits utilisateur. Dans Specira, l'analyste d'affaires en est propriétaire et chaque énoncé trace vers une exigence d'affaires.
Le validateur du modèle exige que chaque exigence porte un identifiant, un critère de conformité et une méthode de vérification choisie parmi inspection, analyse, démonstration ou test. Le critère de conformité, c'est la phrase qui permettrait de prouver l'énoncé faux. Les énoncés composés sont scindés, le système est toujours le sujet, et le détail d'implantation est exclu pour que le test vise le comportement, pas la technologie.
Il ne comble pas le trou. La section Comportement et logique de décision exécute un validateur de fermeture des branches, et toute branche dont l'issue est encore ouverte s'affiche comme un écart nommé avec le responsable de la décision manquante. La porte de préparation à l'export liste cet écart dans le rapport, alors la spécification peut circuler en ébauche sans qu'une valeur inventée passe pour une valeur approuvée.
Oui. Les définitions de workflow, les flux de cas d'utilisation et les machines à états sont générés par le service de diagrammes de Specira à partir des éléments typés et des décisions, le même chemin que les exports, alors le diagramme et les tableaux ne dérivent jamais l'un de l'autre. Chaque diagramme porte un repli textuel numéroté pour l'accessibilité, et le modèle vérifie que les flux d'exception concordent avec le catalogue d'erreurs.
Le FRD instancie une fonctionnalité sur laquelle le document d'exigences produit (PRD) s'est engagé et trace chaque énoncé vers une exigence d'affaires. Les récits utilisateur (user stories) délimitent ensuite une tranche du comportement du FRD et la prouvent avec des tests d'acceptation qui citent les canevas de scénario du FRD par identifiant. Les trois se citent mutuellement, alors un changement dans l'un apparaît comme un écart dans les autres.

Quels artefacts vont avec celui-ci?