{"id":41257,"date":"2020-02-06T20:43:44","date_gmt":"2020-02-06T17:43:44","guid":{"rendered":"https:\/\/prohoster.info\/blog\/blog_prohoster\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya"},"modified":"2020-02-06T20:43:44","modified_gmt":"2020-02-06T17:43:44","slug":"avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","status":"publish","type":"post","link":"https:\/\/prohoster.info\/fr\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Poursuivant le sujet <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u00abQuelles sont vos preuves ? \u00bb<\/a><\/noindex>, examinons le probl\u00e8me de la mod\u00e9lisation math\u00e9matique sous un autre angle. Une fois que nous avons v\u00e9rifi\u00e9 que le mod\u00e8le correspond \u00e0 la dure r\u00e9alit\u00e9 de la vie, nous pouvons r\u00e9pondre \u00e0 la question principale : \u00ab Qu'avons-nous ici, en fait ? \u00bb. En cr\u00e9ant un mod\u00e8le d'un objet technique, nous voulons g\u00e9n\u00e9ralement nous assurer que cet objet r\u00e9pondra \u00e0 nos attentes. C'est pour cela que des calculs dynamiques des processus sont effectu\u00e9s et que le r\u00e9sultat est compar\u00e9 aux exigences. C'est ce qu'on appelle un jumeau num\u00e9rique, un prototype virtuel et d'autres tendances modernes qui, au stade de la conception, r\u00e9solvent le probl\u00e8me de comment s'assurer que nous obtenons ce que nous avions pr\u00e9vu.<\/p>\n<p><\/p>\n<p>Comment pouvons-nous rapidement nous assurer que notre syst\u00e8me est exactement ce que nous concevons, s'il volera ou naviguera, notre construction ? Et s'il vole, \u00e0 quelle hauteur ? Et s'il flotte, \u00e0 quelle profondeur ?<\/p>\n<p>\n<img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/e26c4b7db4ee148c73586124dacb6025.jpg\" style=\"display:block;margin: 0 auto;\" \/><noindex><a rel=\"nofollow\" name=\"habracut\"><\/a><\/noindex><\/p>\n<p>Cet article traite de l'automatisation de la v\u00e9rification de la conformit\u00e9 aux exigences techniques d'un b\u00e2timent lors de la cr\u00e9ation de mod\u00e8les dynamiques de syst\u00e8mes techniques. Prenons pour exemple un \u00e9l\u00e9ment du cahier des charges pour un syst\u00e8me de refroidissement par air d'un a\u00e9ronef.<\/p>\n<p><\/p>\n<p>Nous examinons les exigences qui peuvent \u00eatre exprim\u00e9es num\u00e9riquement et v\u00e9rifi\u00e9es math\u00e9matiquement sur la base d'un mod\u00e8le de calcul sp\u00e9cifique. Il est clair que ce n'est qu'une partie des exigences g\u00e9n\u00e9rales pour tout syst\u00e8me technique, mais c'est pr\u00e9cis\u00e9ment sur leur v\u00e9rification que nous d\u00e9pensons temps, nerfs et argent pour la cr\u00e9ation de mod\u00e8les dynamiques de l'objet.<\/p>\n<p><\/p>\n<p>Lors de la description des exigences techniques sous forme de document, plusieurs types d'exigences peuvent \u00eatre identifi\u00e9s, chacune n\u00e9cessitant des approches diff\u00e9rentes pour la formation de v\u00e9rifications automatiques de conformit\u00e9.<\/p>\n<p><\/p>\n<p>Par exemple, consid\u00e9rons ce petit ensemble mais r\u00e9el d'exigences :<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Temp\u00e9rature de l'air atmosph\u00e9rique \u00e0 l'entr\u00e9e du syst\u00e8me de refroidissement :<br \/>\nau sol - de -35 \u00e0 35 \u00baC,<br \/>\nen vol - de -35 \u00e0 39 \u00baC.<\/li>\n<li> Pression statique de l'air atmosph\u00e9rique en vol - de 700 \u00e0 1013 hPa (de 526 \u00e0 760 mm Hg).<\/li>\n<li> Pression totale de l'air \u00e0 l'entr\u00e9e du collecteur d'air en vol - de 754 \u00e0 1200 hPa (de 566 \u00e0 1050 mm Hg).<\/li>\n<li> Temp\u00e9rature de l'air de refroidissement :<br \/>\nau sol - pas plus de 27 \u00baC, pour les blocs techniques - pas plus de 29 \u00baC,<br \/>\nen vol - pas plus de 25 \u00baC, pour les blocs techniques - pas plus de 27 \u00baC.<\/li>\n<li> D\u00e9bit d'air de refroidissement :<br \/>\nau sol - pas moins de 708 kg\/h,<br \/>\nen vol - pas moins de 660 kg\/h.<\/li>\n<li> La temp\u00e9rature de l'air dans les compartiments d'instruments - pas plus de 60 \u00baC.<\/li>\n<li> La quantit\u00e9 de petites particules d'humidit\u00e9 libre dans l'air de refroidissement - pas plus de 2 g\/kg d'air sec.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>M\u00eame avec cet ensemble limit\u00e9 d'exigences, on peut identifier au moins deux cat\u00e9gories qui doivent \u00eatre trait\u00e9es diff\u00e9remment dans le syst\u00e8me :<\/p>\n<p><\/p>\n<ul>\n<li> les exigences des conditions d'exploitation du syst\u00e8me (par. 1-3);<\/li>\n<li> les exigences param\u00e9triques du syst\u00e8me (par. 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>Exigences des conditions d'exploitation du syst\u00e8me<\/i><br \/>\nLes conditions ext\u00e9rieures pour le syst\u00e8me en cours de d\u00e9veloppement lors de la mod\u00e9lisation peuvent \u00eatre d\u00e9finies comme des conditions limites, ou comme le r\u00e9sultat du fonctionnement du syst\u00e8me global.<br \/>\nLors de la mod\u00e9lisation dynamique, il est n\u00e9cessaire de s'assurer que les modes de fonctionnement sp\u00e9cifi\u00e9s sont couverts par le processus de mod\u00e9lisation.<\/p>\n<p><\/p>\n<p><i>Exigences param\u00e9triques du syst\u00e8me <\/i><br \/>\nCes exigences constituent des param\u00e8tres fournis par le syst\u00e8me lui-m\u00eame. Au cours de la mod\u00e9lisation, nous pouvons obtenir ces param\u00e8tres comme r\u00e9sultats du calcul et v\u00e9rifier que les exigences sont satisfaites dans chaque calcul sp\u00e9cifique.<\/p>\n<p><\/p>\n<h3>Identification et codage des exigences<\/h3>\n<p><\/p>\n<p>Pour faciliter le travail avec les exigences, les normes existantes recommandent d'attribuer un identifiant \u00e0 chaque exigence. Lors de l'attribution des identifiants, il est fortement conseill\u00e9 d'utiliser un syst\u00e8me de codage uniforme. <\/p>\n<p><\/p>\n<p>Le code de l'exigence peut simplement \u00eatre un num\u00e9ro repr\u00e9sentant l'ordre de l'exigence, ou il peut contenir un code de type d'exigence, un code syst\u00e8me ou d'assemblage auquel il s'applique, un code de param\u00e8tre, un code de localisation et bien d'autres choses que l'ing\u00e9nieur peut imaginer. (voir l'article pour un exemple d'utilisation du codage)<\/p>\n<p><\/p>\n<p>Le tableau 1 pr\u00e9sente un exemple simple de codage des exigences.<\/p>\n<p><\/p>\n<ol>\n<li> code de la source des exigences R - exigences de sp\u00e9cifications techniques ; <\/li>\n<li> code type d'exigences E - exigences - param\u00e8tres de l'environnement ext\u00e9rieur, ou conditions d'exploitation<br \/>\n S - exigences fournies par le syst\u00e8me ;<\/li>\n<li> code de l'\u00e9tat de l'avion 0 - tout \u00e9tat, G - au sol, F - en vol ;<\/li>\n<li> code type de param\u00e8tres physiques T - temp\u00e9rature, P - pression, G - d\u00e9bit, H - humidit\u00e9 ;<\/li>\n<li> num\u00e9ro d'ordre de l'exigence.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nExigences<\/b><\/td>\n<td><b>Description<\/b><\/td>\n<td><b>Param\u00e8tre<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>La temp\u00e9rature de l'air ambiant \u00e0 l'entr\u00e9e du SVO : au sol \u2014 de moins 35 \u00baC \u00e0 35 \u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>La temp\u00e9rature de l'air ambiant \u00e0 l'entr\u00e9e du SVO : en vol \u2014 de moins 35 \u00baC \u00e0 39 \u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>La pression statique de l'air ambiant en vol de 700 \u00e0 1013 hPa (de 526 \u00e0 760 mmHg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>La pression totale de l'air \u00e0 l'entr\u00e9e de l'aspirateur SVO en vol de 754 \u00e0 1200 hPa (de 566 \u00e0 1050 mmHg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>La temp\u00e9rature de l'air de refroidissement : au sol, pas plus de 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>La temp\u00e9rature de l'air de refroidissement : au sol, pour les blocs techniques pas plus de 29 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>La temp\u00e9rature de l'air de refroidissement en vol ne doit pas d\u00e9passer 25 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>La temp\u00e9rature de l'air de refroidissement : en vol, pour les blocs techniques pas plus de 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Le d\u00e9bit d'air de refroidissement : au sol, au minimum 708 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Le d\u00e9bit d'air de refroidissement : en vol, au minimum 660 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>La temp\u00e9rature de l'air dans les compartiments d'instruments ne doit pas d\u00e9passer 60 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>La quantit\u00e9 d'humidit\u00e9 libre fine dans l'air de refroidissement ne doit pas d\u00e9passer 2 g\/kg d'air sec.<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Projet du syst\u00e8me de v\u00e9rification des exigences.<\/h3>\n<p><\/p>\n<p>Pour chaque exigence de calcul, il existe un algorithme d'\u00e9valuation de la conformit\u00e9 des param\u00e8tres calcul\u00e9s et des param\u00e8tres \u00e9tablis dans l'exigence. En gros, tout syst\u00e8me de gestion contient toujours des algorithmes de v\u00e9rification des exigences par d\u00e9faut. M\u00eame tout r\u00e9gulateur les contient. Si la temp\u00e9rature d\u00e9passe les limites, le climatiseur s'active. Ainsi, la premi\u00e8re \u00e9tape de tout r\u00e9glage est la v\u00e9rification de la conformit\u00e9 des param\u00e8tres \u00e0 l'exigence.<\/p>\n<p><\/p>\n<p>Et comme la v\u00e9rification est un algorithme, on peut utiliser les m\u00eames moyens et outils que nous utilisons pour cr\u00e9er des programmes de gestion. Par exemple, l'environnement SimInTech permet de cr\u00e9er des packages de projets contenant diverses parties du mod\u00e8le, r\u00e9alis\u00e9es sous forme de projets distincts (mod\u00e8le d'objet, mod\u00e8le de syst\u00e8me de gestion, mod\u00e8le d'environnement, etc.).<\/p>\n<p><\/p>\n<p>Le projet de v\u00e9rification des exigences devient alors un projet d'algorithmes et se connecte au package mod\u00e8le. Et en mode de mod\u00e9lisation dynamique, il effectue une analyse de conformit\u00e9 aux exigences du cahier des charges.<\/p>\n<p><\/p>\n<p>Un exemple possible de la pr\u00e9sentation du projet syst\u00e8me est illustr\u00e9 \u00e0 la figure 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 1. Exemple de pr\u00e9sentation du projet de v\u00e9rification. <\/i><\/p>\n<p><\/p>\n<p>Tout comme pour les algorithmes de contr\u00f4le, les exigences peuvent \u00eatre pr\u00e9sent\u00e9es sous forme d'un ensemble de feuilles. Pour faciliter le travail avec les algorithmes dans des environnements de mod\u00e9lisation structurelle tels que SimInTech, Simulink, AmeSim, les fonctionnalit\u00e9s de cr\u00e9ation de structures multi-niveaux sous forme de sous-mod\u00e8les sont utilis\u00e9es. Cette organisation permet de regrouper diverses exigences en ensembles pour simplifier le travail avec l'ensemble des exigences, comme cela se fait pour les algorithmes de contr\u00f4le (voir Fig. 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 2. Structure hi\u00e9rarchique du mod\u00e8le de v\u00e9rification des exigences. <\/i><\/p>\n<p><\/p>\n<p>Par exemple, dans le cas examin\u00e9, deux groupes ont \u00e9t\u00e9 identifi\u00e9s : les exigences pour l'environnement et les exigences directement li\u00e9es au syst\u00e8me. Par cons\u00e9quent, une structure de donn\u00e9es \u00e0 deux niveaux est utilis\u00e9e : deux groupes, chacun \u00e9tant une feuille de l'algorithme.<\/p>\n<p><\/p>\n<p>Pour relier les donn\u00e9es au mod\u00e8le, un sch\u00e9ma standard de formation d'une base de donn\u00e9es de signaux est utilis\u00e9, dans laquelle les donn\u00e9es pour l'\u00e9change entre les parties du projet sont stock\u00e9es.<\/p>\n<p><\/p>\n<p>Lors de la cr\u00e9ation et des tests de logiciels, les mesures des capteurs (analogues aux r\u00e9els capteurs du syst\u00e8me) sont ins\u00e9r\u00e9es dans cette base.<br \/>\n Pour le projet de test, n'importe quels param\u00e8tres calcul\u00e9s dans le mod\u00e8le dynamique peuvent \u00e9galement \u00eatre sauvegard\u00e9s dans cette m\u00eame base de donn\u00e9es, et ainsi \u00eatre utilis\u00e9s pour v\u00e9rifier le respect des exigences.<\/p>\n<p>\nLe mod\u00e8le dynamique lui-m\u00eame peut, dans ce cas, \u00eatre r\u00e9alis\u00e9 dans n'importe quel syst\u00e8me de mod\u00e9lisation math\u00e9matique ou m\u00eame sous forme de programme ex\u00e9cutable. La seule exigence est la pr\u00e9sence d'interfaces logicielles pour \u00e9mettre des donn\u00e9es de mod\u00e9lisation dans un environnement externe.<\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 3. Connexion du projet de v\u00e9rification au mod\u00e8le complexe. <\/i><\/p>\n<p><\/p>\n<p>Un exemple de feuille de v\u00e9rification des exigences est pr\u00e9sent\u00e9 \u00e0 la figure 4. Du point de vue du d\u00e9veloppeur, il repr\u00e9sente un sch\u00e9ma de calcul habituel, o\u00f9 l'algorithme de v\u00e9rification des exigences est repr\u00e9sent\u00e9 de mani\u00e8re graphique.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 4. Feuille de v\u00e9rification des exigences. <\/i><\/p>\n<p><\/p>\n<p>Les parties principales de la feuille de v\u00e9rification sont d\u00e9crites \u00e0 la figure 5. L'algorithme de v\u00e9rification se forme de mani\u00e8re similaire aux sch\u00e9mas de calcul des algorithmes de contr\u00f4le. Dans la partie droite se trouve un bloc de lecture des signaux provenant de la base de donn\u00e9es. Ce bloc acc\u00e8de \u00e0 la base de donn\u00e9es des signaux pendant la mod\u00e9lisation.<\/p>\n<p><\/p>\n<p>Les signaux re\u00e7us sont analys\u00e9s pour d\u00e9terminer les conditions de v\u00e9rification des exigences. Dans ce cas, une analyse de l'altitude est effectu\u00e9e pour d\u00e9terminer la position de l'avion (s'il est au sol ou en vol). D'autres signaux et param\u00e8tres calcul\u00e9s par le mod\u00e8le peuvent \u00e9galement \u00eatre utilis\u00e9s \u00e0 cet effet.<\/p>\n<p><\/p>\n<p>Les conditions de v\u00e9rification et les param\u00e8tres v\u00e9rifi\u00e9s sont transmis \u00e0 des blocs de v\u00e9rification type, o\u00f9 l'analyse de ces param\u00e8tres est effectu\u00e9e afin de v\u00e9rifier leur conformit\u00e9 aux exigences sp\u00e9cifi\u00e9es. Les r\u00e9sultats sont enregistr\u00e9s dans une base de donn\u00e9es de signaux de mani\u00e8re \u00e0 pouvoir \u00eatre utilis\u00e9s pour g\u00e9n\u00e9rer automatiquement une checklist.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 5. Structure de la feuille de calcul de v\u00e9rification des exigences.<\/i><\/p>\n<p><\/p>\n<p>Les param\u00e8tres \u00e0 v\u00e9rifier ne doivent pas n\u00e9cessairement utiliser des signaux pr\u00e9sents dans la base de donn\u00e9es, g\u00e9r\u00e9s par des param\u00e8tres calcul\u00e9s lors du processus de mod\u00e9lisation. Rien n\u2019emp\u00eache de r\u00e9aliser des calculs suppl\u00e9mentaires dans le cadre du projet d'exigences, tout comme nous calculons les conditions de v\u00e9rification.<\/p>\n<p><\/p>\n<p>Par exemple, une exigence telle que :<\/p>\n<p><\/p>\n<p> <i>Le nombre d'activations du syst\u00e8me correcteur pendant le vol vers la cible ne doit pas d\u00e9passer 5, et le temps total de fonctionnement du syst\u00e8me correcteur ne doit pas d\u00e9passer 30 secondes.<\/i><\/p>\n<p><\/p>\n<p>Dans ce cas, un algorithme de compteur du nombre d'activations et du temps total de fonctionnement est ajout\u00e9 au sch\u00e9ma de calcul du projet d'exigences.<\/p>\n<p><\/p>\n<h3>Bloc de v\u00e9rification type des exigences.<\/h3>\n<p><\/p>\n<p>Chaque bloc de v\u00e9rification type des exigences est con\u00e7u pour calculer la conformit\u00e9 d'une exigence sp\u00e9cifique. Par exemple, les exigences li\u00e9es \u00e0 l'environnement comprennent une plage de temp\u00e9ratures de fonctionnement de l'air ambiant au sol et en vol. Ce bloc doit recevoir comme param\u00e8tre la temp\u00e9rature de l'air dans le mod\u00e8le et d\u00e9terminer si ce param\u00e8tre couvre la plage de temp\u00e9ratures sp\u00e9cifi\u00e9e.<\/p>\n<\/p>\n<p>Le bloc contient deux ports d'entr\u00e9e, param et condition.<\/p>\n<p><\/p>\n<p>Le premier re\u00e7oit le param\u00e8tre v\u00e9rifi\u00e9. Dans ce cas, \"Temp\u00e9rature de l'environnement externe\".<\/p>\n<p><\/p>\n<p>Le deuxi\u00e8me port re\u00e7oit une variable bool\u00e9enne \u2013 condition de r\u00e9alisation de la v\u00e9rification.<\/p>\n<p><\/p>\n<p>Si TRUE (1) arrive \u00e0 la deuxi\u00e8me entr\u00e9e, le bloc effectue le calcul de v\u00e9rification de l'exigence.<\/p>\n<p><\/p>\n<p>Si le second signal est FALSE (0), alors les conditions de v\u00e9rification ne sont pas remplies. Cela est n\u00e9cessaire pour tenir compte des conditions de calcul. Dans notre cas, ce signal est utilis\u00e9 pour activer ou d\u00e9sactiver la v\u00e9rification en fonction de l'\u00e9tat du mod\u00e8le. Si l'a\u00e9ronef est au sol pendant la mod\u00e9lisation, les exigences li\u00e9es au vol ne sont pas v\u00e9rifi\u00e9es, et vice versa \u2013 si l'a\u00e9ronef est en vol, les exigences li\u00e9es aux op\u00e9rations au sol ne sont pas v\u00e9rifi\u00e9es.<\/p>\n<p><\/p>\n<p>Ce signal peut \u00e9galement \u00eatre utilis\u00e9 lors de la configuration du mod\u00e8le, par exemple au d\u00e9but du calcul. Lorsque le mod\u00e8le est amen\u00e9 \u00e0 l'\u00e9tat d\u00e9sir\u00e9, les blocs de v\u00e9rification sont d\u00e9sactiv\u00e9s, mais d\u00e8s que le syst\u00e8me entre dans le mode de fonctionnement requis, les blocs de v\u00e9rification sont activ\u00e9s.<\/p>\n<p><\/p>\n<p>Les param\u00e8tres de ce bloc sont les suivants :<\/p>\n<p><\/p>\n<ul>\n<li>conditions limites : limite sup\u00e9rieure (UpLimit) et limite inf\u00e9rieure (DownLimit) des plages \u00e0 v\u00e9rifier ;<\/li>\n<li> le temps de maintien requis du syst\u00e8me aux limites des plages (TimeInterval) en secondes ;<\/li>\n<li>l'identifiant de l'exigence ReqName ;<\/li>\n<li>la possibilit\u00e9 de sortie de la plage Out_range \u2013 une variable bool\u00e9enne qui d\u00e9termine si le d\u00e9passement de la valeur dans la plage v\u00e9rifi\u00e9e constitue une violation de l'exigence.<\/li>\n<\/ul>\n<p><\/p>\n<p>Dans certains cas, le d\u00e9passement de la valeur v\u00e9rifi\u00e9e signifie que le syst\u00e8me a une marge et peut fonctionner en dehors de la plage de travail. Dans d'autres cas, le d\u00e9passement signifie que le syst\u00e8me ne parvient pas \u00e0 maintenir les param\u00e8tres requis dans la plage.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 6. Bloc de v\u00e9rification typique sur le sch\u00e9ma et ses param\u00e8tres.<\/i><\/p>\n<p><\/p>\n<p>En cons\u00e9quence du calcul de ce bloc, une variable de sortie Result est form\u00e9e, qui prend les valeurs suivantes :<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, valeur non d\u00e9finie ;<\/li>\n<li>1 \u2013 rDone, exigence satisfaite ;<\/li>\n<li>2 \u2013 rFault, exigence non satisfaite.<\/li>\n<\/ul>\n<p><\/p>\n<p>L'image du bloc contient :<\/p>\n<p><\/p>\n<ul>\n<li> texte de l'identifiant ;<\/li>\n<li> affichages num\u00e9riques des param\u00e8tres de limites de mesure ;<\/li>\n<li> identifiant de couleur de l'\u00e9tat du param\u00e8tre.<\/li>\n<\/ul>\n<p><\/p>\n<p>\u00c0 l'int\u00e9rieur du bloc, il peut y avoir un sch\u00e9ma logique d'inf\u00e9rence assez complexe.<\/p>\n<p>Par exemple, pour v\u00e9rifier la plage de temp\u00e9rature de travail du bloc illustr\u00e9 \u00e0 la figure 6, le sch\u00e9ma interne est pr\u00e9sent\u00e9 \u00e0 la figure 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 7. Sch\u00e9ma interne du bloc de d\u00e9finition de la plage de temp\u00e9rature.<\/i><\/p>\n<p><\/p>\n<p>\u00c0 l'int\u00e9rieur du bloc, les propri\u00e9t\u00e9s d\u00e9finies dans les param\u00e8tres du bloc sont utilis\u00e9es.<br \/>\nEn plus de l\u2019analyse de conformit\u00e9 aux exigences, le sch\u00e9ma interne du bloc contient un graphique n\u00e9cessaire pour afficher les r\u00e9sultats de la mod\u00e9lisation. Ce graphique peut \u00eatre utilis\u00e9 tant pour la visualisation pendant les calculs que pour l\u2019analyse des r\u00e9sultats apr\u00e8s les calculs.<\/p>\n<p><\/p>\n<p>Les r\u00e9sultats du calcul sont transmis \u00e0 la sortie du bloc et en m\u00eame temps enregistr\u00e9s dans un fichier de rapport g\u00e9n\u00e9ral, qui est cr\u00e9\u00e9 sur la base des r\u00e9sultats de l\u2019ensemble du projet. (voir fig. 8)<\/p>\n<p><\/p>\n<p>Un exemple de rapport cr\u00e9\u00e9 \u00e0 partir des r\u00e9sultats de la mod\u00e9lisation se pr\u00e9sente sous la forme d\u2019un fichier HTML, \u00e9labor\u00e9 selon un format sp\u00e9cifi\u00e9. Le format peut \u00eatre configur\u00e9 librement selon le format adopt\u00e9 dans l\u2019organisation concern\u00e9e.<\/p>\n<p><\/p>\n<p>\u00c0 l'int\u00e9rieur du bloc, les propri\u00e9t\u00e9s d\u00e9finies dans les param\u00e8tres du bloc sont utilis\u00e9es.<br \/>\nEn plus de l\u2019analyse de conformit\u00e9 aux exigences, le sch\u00e9ma interne du bloc contient un graphique n\u00e9cessaire pour afficher les r\u00e9sultats de la mod\u00e9lisation. Ce graphique peut \u00eatre utilis\u00e9 tant pour la visualisation pendant les calculs que pour l\u2019analyse des r\u00e9sultats apr\u00e8s les calculs.<\/p>\n<p><\/p>\n<p>Les r\u00e9sultats du calcul sont transmis \u00e0 la sortie du bloc et en m\u00eame temps enregistr\u00e9s dans un fichier de rapport g\u00e9n\u00e9ral, qui est cr\u00e9\u00e9 sur la base des r\u00e9sultats de l\u2019ensemble du projet. (voir fig. 8)<\/p>\n<p><\/p>\n<p>Un exemple de rapport cr\u00e9\u00e9 \u00e0 partir des r\u00e9sultats de la mod\u00e9lisation se pr\u00e9sente sous la forme d\u2019un fichier HTML, \u00e9labor\u00e9 selon un format sp\u00e9cifi\u00e9. Le format peut \u00eatre configur\u00e9 librement selon le format adopt\u00e9 dans l\u2019organisation concern\u00e9e.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 8. Exemple de fichier de rapport sur les r\u00e9sultats de la mod\u00e9lisation.<\/i><\/p>\n<p><\/p>\n<p>Dans cet exemple, la configuration de la forme du rapport est effectu\u00e9e directement dans les propri\u00e9t\u00e9s du projet, tandis que le format est donn\u00e9 dans le tableau comme signaux globaux du projet. Dans ce cas, SimInTech d\u00e9termine lui-m\u00eame la t\u00e2che de configuration du rapport, et le bloc d\u2019enregistrement des r\u00e9sultats dans le fichier utilise ces lignes pour \u00e9crire dans le fichier de rapport.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 9. Configuration du format du rapport dans les signaux globaux du projet<\/i><\/p>\n<p><\/p>\n<h3>Utilisation de la base de donn\u00e9es des signaux pour les exigences.<\/h3>\n<p><\/p>\n<p>Pour automatiser le travail avec les propri\u00e9t\u00e9s de configuration de chaque bloc type, une structure type est cr\u00e9\u00e9e dans la base de donn\u00e9es des signaux. (voir fig. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 10. Exemple de structure de bloc de v\u00e9rification des exigences dans la base de donn\u00e9es des signaux.<\/i><\/p>\n<p><\/p>\n<p>La base de donn\u00e9es des signaux fournit :<\/p>\n<p><\/p>\n<ul>\n<li> Le stockage de tous les param\u00e8tres n\u00e9cessaires aux exigences du syst\u00e8me.<\/li>\n<li> Une visualisation pratique des exigences existantes dans le projet \u00e0 partir des param\u00e8tres d\u00e9finis et des r\u00e9sultats actuels de la mod\u00e9lisation.<\/li>\n<li> La configuration d\u2019un bloc, d\u2019un groupe de blocs en utilisant un langage de programmation script. Les modifications dans la base de donn\u00e9es des signaux entra\u00eenent un changement des valeurs des propri\u00e9t\u00e9s du bloc sur le sch\u00e9ma.<\/li>\n<li> Le stockage des descriptions textuelles, des liens vers des articles du CCT ou des identifiants dans le syst\u00e8me de gestion des exigences.<\/li>\n<\/ul>\n<p><\/p>\n<p>Les structures de la base de donn\u00e9es des signaux pour les exigences peuvent facilement \u00eatre configur\u00e9es pour fonctionner avec un syst\u00e8me de gestion des exigences tiers. Le sch\u00e9ma g\u00e9n\u00e9ral d\u2019interaction avec les syst\u00e8mes de gestion des exigences est pr\u00e9sent\u00e9 \u00e0 la figure 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"V\u00e9rification automatique des exigences du cahier des charges lors de la mod\u00e9lisation dynamique\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figure 11. Sch\u00e9ma d'interaction avec le syst\u00e8me de gestion des exigences.<\/i><\/p>\n<p><\/p>\n<p>La s\u00e9quence d'interaction du projet de test SimInTech avec le syst\u00e8me de gestion des exigences est la suivante :<\/p>\n<p><\/p>\n<ol>\n<li> Le cahier des charges est r\u00e9parti en exigences.<\/li>\n<li> On identifie les exigences du cahier des charges qui peuvent \u00eatre v\u00e9rifi\u00e9es par la mod\u00e9lisation math\u00e9matique des processus techniques.<\/li>\n<li> Les attributs des exigences identifi\u00e9es sont transf\u00e9r\u00e9s dans la base de donn\u00e9es des signaux SimInTech dans des structures de blocs standards (par exemple, temp\u00e9rature maximale et minimale).<\/li>\n<li> Lors du calcul, les donn\u00e9es structur\u00e9es sont transf\u00e9r\u00e9es vers les sch\u00e9mas de calcul des blocs, l'analyse est effectu\u00e9e et les r\u00e9sultats sont enregistr\u00e9s dans la base de donn\u00e9es des signaux.<\/li>\n<li> \u00c0 la fin du calcul, les r\u00e9sultats de l'analyse sont transf\u00e9r\u00e9s dans le syst\u00e8me de gestion des exigences.<\/li>\n<\/ol>\n<p><\/p>\n<p>Les \u00e9tapes de travail avec les exigences 3 \u00e0 5 peuvent \u00eatre r\u00e9p\u00e9t\u00e9es pendant le processus de conception, lorsque des modifications dans la conception et\/ou les exigences se produisent, n\u00e9cessitant ainsi une nouvelle v\u00e9rification de l'impact des changements apport\u00e9s.<\/p>\n<p><\/p>\n<h3>Conclusions.<\/h3>\n<p><\/p>\n<ul>\n<li> Le prototype de syst\u00e8me cr\u00e9\u00e9 permet de r\u00e9duire consid\u00e9rablement le temps d'analyse des mod\u00e8les existants pour v\u00e9rifier leur conformit\u00e9 aux exigences du cahier des charges.<\/li>\n<li> La technologie de test propos\u00e9e utilise des mod\u00e8les dynamiques d\u00e9j\u00e0 existants et peut \u00eatre utilis\u00e9e m\u00eame pour tout mod\u00e8le dynamique, y compris ceux r\u00e9alis\u00e9s en dehors de l'environnement SimInTech.<\/li>\n<li> L'utilisation d'une organisation de donn\u00e9es par lots permet de cr\u00e9er des paquets de v\u00e9rification des exigences, parall\u00e8lement au d\u00e9veloppement des mod\u00e8les, ou m\u00eame d'utiliser ces paquets comme cahier des charges pour le d\u00e9veloppement des mod\u00e8les.<\/li>\n<li> La technologie peut \u00eatre int\u00e9gr\u00e9e sans co\u00fbt substantiel aux syst\u00e8mes de gestion des exigences existants.<\/li>\n<\/ul>\n<p><\/p>\n<p>Pour ceux qui ont lu jusqu'\u00e0 la fin, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">lien vers une vid\u00e9o de d\u00e9monstration du fonctionnement du prototype.<\/a><\/noindex><\/p>\n<p>Source : <a content=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/486336\/\">habr.com<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b. \u041f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e \u043a\u0430\u043a \u043c\u044b \u0443\u0431\u0435\u0434\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0441\u0435\u0440\u043c\u044f\u0436\u043d\u043e\u0439 \u043f\u0440\u0430\u0432\u0434\u0435 \u0436\u0438\u0437\u043d\u0438, \u043c\u043e\u0436\u043d\u043e \u043e\u0442\u0432\u0435\u0447\u0430\u0442\u044c \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u0432\u043e\u043f\u0440\u043e\u0441: \u00ab\u0430 \u0447\u0442\u043e, \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u043c\u044b \u0442\u0443\u0442 \u0438\u043c\u0435\u0435\u043c?\u00bb. \u0421\u043e\u0437\u0434\u0430\u0432\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u043c\u044b, \u043a\u0430\u043a \u043f\u0440\u0430\u0432\u0438\u043b\u043e, \u0445\u043e\u0442\u0438\u043c \u0443\u0431\u0435\u0434\u0438\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u044d\u0442\u043e\u0442 \u043e\u0431\u044a\u0435\u043a\u0442 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0448\u0438\u043c \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044f\u043c. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0438 \u043f\u0440\u043e\u0432\u043e\u0434\u044f\u0442\u0441\u044f [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":41258,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-41257","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.2 - aioseo.com -->\n\t<meta name=\"description\" content=\"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/fr\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.2\" \/>\n\t\t<meta property=\"og:locale\" content=\"fr_FR\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439 \u0422\u0417 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f | ProHoster\" \/>\n\t\t<meta property=\"og:description\" content=\"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/fr\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2020-02-06T17:43:44+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2020-02-06T17:43:44+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47 V\u00e9rification automatique des exigences du cahier des charges dans le processus de mod\u00e9lisation dynamique | ProHoster","description":"Poursuivant le th\u00e8me \u00ab Quelles sont vos preuves ? \u00bb, examinons le probl\u00e8me de la mod\u00e9lisation math\u00e9matique sous un autre angle.","canonical_url":"https:\/\/prohoster.info\/fr\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"fr_FR","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439 \u0422\u0417 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f | ProHoster","og:description":"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.","og:url":"https:\/\/prohoster.info\/fr\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2020-02-06T17:43:44+00:00","article:modified_time":"2020-02-06T17:43:44+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"41257","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-03-01 00:20:47","updated":"2022-10-01 02:07:44","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/fr\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}