Techniques-ingenieur.fr : les nouveautés des ressources documentaires Technologies de l'information : Génie logiciel

Vérification, validation et test des systèmes complexes

Fri, 06 Feb 2026 00:00:00 +0100

Les systèmes complexes, de plus en plus intelligents, nécessitent des tests bien définis, planifiés, optimisés et suivis, tandis que leurs concepteurs ont un temps limité à leur accorder. Découvrez des stratégies pour valider ces systèmes en réduisant les coûts et en minimisant les risques, que ce soit en faisant intervenir un opérateur ou via l’automatisation.

Méthode Agile et risques projet - Démarche d’anticipation et cas d’usage

Fri, 10 Oct 2025 00:00:00 +0200

La gestion des risques projet peut s’appréhender via un ensemble de méthodes formalisées. L’article aborde plus particulièrement le rôle des méthodes agiles dans la prévention des risques dans les projets. À l’aide de retours d’expérience mais aussi de mises en situation concrètes observées dans les organisations, cet article propose une vision illustrée de la mise en œuvre des méthodes agiles dans le cadre de développement de logiciels.

Référentiels normatifs - Produit logiciel

Sun, 01 Jun 2025 00:00:00 +0200

Même en tant que produit immatériel, le logiciel et les prestations qui l’accompagnent doivent répondre aux exigences de référentiels. Passez en revue le contenu des normes permettant l’amélioration des pratiques, la mesure du niveau de qualité atteint et l’augmentation des performances de ces livrables.

Référentiels normatifs - Gestion du cycle de vie du logiciel

Thu, 03 Apr 2025 00:00:00 +0200

De par sa contribution aux systèmes d’information, le logiciel doit lui aussi répondre à des exigences de qualité. D’où la nécessité de mettre en place, à toutes les étapes de sa vie, des bonnes pratiques opérationnelles, de la conception, au développement jusqu’à la maintenance corrective et évolutive.

Quantification de la fiabilité des logiciels

Thu, 27 Mar 2025 00:00:00 +0100

Les modèles de quantification de la fiabilité du logiciel sont la seule méthode d’évaluation objective du niveau de fiabilité obtenu en fin de développement, quelle que soit leur nature : logiciels embarqués, logiciels temps réels, logiciels de système d'information de tout domaine.

Référentiels normatifs - Processus d’ingénierie informatique

Wed, 25 Sep 2024 00:00:00 +0200

Le logiciel est un produit industriel qui n’échappe pas à la recherche de qualité, et qui doit satisfaire tous les acteurs impliqués. Un socle commun normatif mis au point par l'ISO permet de garantir la qualité des processus d’évaluation, de vérification et de qualification.

ITIL® et ISO 20000 - Comment bien préparer sa certification de prestations de service IT ?

Wed, 10 Jul 2024 00:00:00 +0200

Prestataires de service IT, mettez toutes les chances de votre côté pour obtenir la certification ITIL et ISO 20000. Bonnes pratiques, processus déterminants dans la prestation de service, découvrez tout ce dont vous avez besoin pour réussir.

Sécurité de l’information, cybersécurité et protection des données de vie privée - NF EN ISO/IEC 27001 : 2023

Thu, 04 Jul 2024 00:00:00 +0200

Assurer la sécurité de l’information d’une organisation nécessite d'identifier et d'évaluer les risques, de définir un plan d'action et de le mettre en œuvre. Découvrez les process et les normes associées.

Éthique de l’intelligence artificielle : vue d’ensemble

Thu, 19 Oct 2023 00:00:00 +0200

A l'heure où les usages de l'intelligence artificielle se démocratisent, comme en témoigne le développement de ChatGPT, quelles questions éthiques se posent quant à l'utilisation de l'IA ? Comment l'éthique peut-elle aider au développement harmonieux des innovations issues de l'IA ?

Obsolescence des systèmes informatiques et du logiciel

Mon, 21 Mar 2022 00:00:00 +0100

L'obsolescence affecte tous les produits, et en ce qui concerne les systèmes informatiques, elle concerne les composants mais aussi les logiciels. Quels sont les effets de l'obsolescence sur les logiciels et comment peut-on gérer ce phénomène ?

Normes ISO 2700x : vers la gouvernance de la sécurité des systèmes d’information

Tue, 03 Apr 2018 00:00:00 +0200

La mise en place de la sécurité des systèmes d'information en est encore à ses débuts, pour preuve la série des normes ISO 2700 n'est pas encore finalisée. Planification du traitement des risques, génération d’indicateurs significatifs, formation du personnel, et notamment moyens de contrôle..., autant d’étapes nécessaires à son déploiement.

Apport de la norme ISO/IEC 12207 (2008) pour l’utilisation d’UML

Thu, 17 Aug 2017 00:00:00 +0200

Découvrez les normes applicables pour la modélisation des systèmes d'information. Et comprenez comment le langage UML peut vous aider dans cette représentation.

SysML/UML-CS : une étude de cas

Tue, 14 Feb 2017 00:00:00 +0100

Découvrez les méthodes de modélisation SysML et UML à travers un cas d'étude. Une application pratique de cette modélisation très utilisée.

SysML/UML : comment les utiliser ? Avec quelle méthode ? - Un exemple d’application avec UML-CS et SysML-CS

Fri, 19 Aug 2016 00:00:00 +0200

Retrouvez ici un exemple concret d'application des notations UML et SysML. Ces notations sont une aide pour la modélisation des systèmes.

UML : une notation pour spécifier et concevoir des Logiciels

Wed, 10 Feb 2016 00:00:00 +0100

UML est un outil puissant pour la modélisation des logiciels. Familiarisez-vous avec tous les diagrammes qui constituent la base de cette notation.

SysML : une notation pour spécifier et concevoir des systèmes

Thu, 13 Aug 2015 00:00:00 +0200

SysML est issu d'UML et dédié à la conception de systèmes. Les principes généraux et les outils sont présentés en détail.

Normalisation des télécommunications et des TIC

Sun, 10 Nov 2013 00:00:00 +0100

Savez-vous pourquoi les instances de normalisation préparent l’avenir de notre société ? La normalisation dans le secteur des technologies de l'information et de la communication apporte des évolutions techniques très concrètes dans la vie quotidienne des professionnels et des particuliers.

Validation des algorithmes en UML et OCL

Wed, 07 Aug 2013 00:00:00 +0200

Comment vérifier et prouver qu’un programme fonctionne correctement ? Les propriétés formelles des langages de programmation peuvent être appliquées dans des modèles de modélisation à des fins de preuve. Ces techniques permettent de garantir que les exigences des applications ont été prises en compte.

UML pour le temps réel : le langage et les méthodes

Wed, 22 May 2013 00:00:00 +0200

Les concepts standard d'Unified Modeling Language (UML) peuvent être utilisés pour modéliser des systèmes temps réel. Les différents supports fournis par UML sont particulièrement bien adaptés pour la modélisation de la concurrence, du comportement, des communications et d’informations temporelles.

Normalisation en matière de sûreté de fonctionnement des logiciels

Sun, 07 Oct 2012 00:00:00 +0200

Les logiciels sont devenus incontournables. Tous les acteurs (concepteurs/développeurs, acquéreurs, organismes de contrôle, exploitants/utilisateurs), se doivent de maîtriser leur fonctionnement mais aussi leurs dysfonctionnements. D’où la création d’une norme pour assurer la maîtrise des risques.