La validation des systèmes est un domaine qui étudie les principes fondamentaux de la communication des systèmes et du traitement de l'information. Elle permet une analyse automatisée basée sur des modèles comportementaux d'un système afin de déterminer si ce dernier fonctionne correctement. Nous voulons garantir que les systèmes font exactement ce qu'ils sont censés faire. Les techniques mises en avant dans la validation des systèmes permettent de prouver l'absence d'erreurs. Elles permettent de concevoir un comportement de système intégré qui est structurellement sain et, par effet secondaire, vous obligent à rendre le comportement simple et perspicace. Cela signifie que les systèmes ne se comportent pas seulement correctement, mais qu'ils sont aussi beaucoup plus faciles à maintenir et à adapter. exigences par formules modales" est le troisième cours qui vous montre comment spécifier des exigences pour les automates afin d'établir la relation correcte entre les exigences et le comportement du système. Lecture de l'ouvrage. J.F. Groote et M.R. Mousavi. Modélisation et analyse des systèmes communicants. The MIT Press, 2014.
Profitez d'une croissance illimitée avec un an de Coursera Plus pour 199 $ (régulièrement 399 $). Économisez maintenant.
Validation du système (3) : Exigences par formules modales
Instructeur : Jan Friso Groote
3 660 déjà inscrits
Inclus avec
(13 avis)
Compétences que vous acquerrez
- Catégorie : Vérification et validation
- Catégorie : Validation des données
- Catégorie : Configuration requise
- Catégorie : Logique computationnelle
- Catégorie : Conception des systèmes
- Catégorie : Exigences fonctionnelles
- Catégorie : Science Informatique Théorique
Détails à connaître
Ajouter à votre profil LinkedIn
2 devoirs
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées
Il y a 2 modules dans ce cours
Dans ce module, vous apprendrez à spécifier des exigences de comportement. La logique de Hennessy-Milner est d'abord expliquée, puis étendue avec des points fixes. En utilisant cette logique, vous serez en mesure de caractériser formellement pratiquement n'importe quelle propriété comportementale sur le comportement d'un logiciel. Cela va de propriétés simples telles que l'absence de blocages dans un système, à des propriétés complexes telles que "dans un entrepôt, les contrôleurs donneront des instructions à tous les robots de manière à ce que l'article que j'ai commandé apparaisse avec certitude dans un temps fini à la sortie".
Inclus
6 vidéos2 lectures1 devoir
Ce module développe les formules modales. Il montre comment utiliser des données dans les formules, ce qui facilite grandement la modélisation de propriétés complexes. En outre, il montre comment les propriétés d'équité peuvent être modélisées dans le cadre en utilisant des opérateurs de point fixe imbriqués. Les derniers cours présentent les systèmes d'équations booléennes paramétrées et les systèmes d'équations booléennes en tant que technologie importante pour établir qu'une formule modale est valide pour un comportement spécifié particulier.
Inclus
5 vidéos1 lecture1 devoir
Instructeur
Offert par
En savoir plus sur Développement de logiciels
Statut : Essai gratuitUniversity of Colorado Boulder
Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?
Foire Aux Questions
Pour accéder aux supports de cours, aux devoirs et pour obtenir un certificat, vous devez acheter l'expérience de certificat lorsque vous vous inscrivez à un cours. Vous pouvez essayer un essai gratuit ou demander une aide financière. Le cours peut proposer l'option "Cours complet, pas de certificat". Cette option vous permet de consulter tous les supports de cours, de soumettre les évaluations requises et d'obtenir une note finale. Cela signifie également que vous ne pourrez pas acheter un certificat d'expérience.
Lorsque vous vous inscrivez au cours, vous avez accès à tous les cours de la spécialisation et vous obtenez un certificat lorsque vous terminez le travail. Votre certificat électronique sera ajouté à votre page Réalisations - de là, vous pouvez imprimer votre certificat ou l'ajouter à votre profil LinkedIn.
Oui, pour certains programmes de formation, vous pouvez demander une aide financière ou une bourse si vous n'avez pas les moyens de payer les frais d'inscription. Si une aide financière ou une bourse est disponible pour votre programme de formation, vous trouverez un lien de demande sur la page de description.
Plus de questions
Aide financière disponible,