Lire d'autres Articles : Logiciel
Imprimer  |  Envoyez cet Article

Cet article a éte publié gratuitement. Seuls les articles payants sont proposés sans publicité !



Coverity Prevent™ figure au Palmarès 2008 d’Electronique Magazine
Coverity Prevent™ figure au Palmarès 2008 d’Electronique Magazine

 

NewswireToday - /newswire/ - Paris, France, 25/06/2008 - Coverity™, Inc., leader dans l’amélioration automatique de la qualité et de la sécurité des logiciels, annonce aujourd’hui que Coverity Prevent™ a remporté le prix du palmarès annuel d’Electronique Magazine dans la catégorie des outils logiciels.

   
 

Figurant parmi les meilleurs outils d’analyse statique du marché, Coverity Prevent permet d’identifier et de résoudre automatiquement les défauts logiciels critiques et les points de vulnérabilité lors du processus de développement. Parmi les dernières innovations de l’éditeur, on peut notamment mentionner l’introduction de la satisfaisabilité booléenne (SAT) et la détection des erreurs de programmation concurrentielle, deux fonctionnalités désormais intégrées à Coverity Prevent, sa solution phare d’analyse statique.

« Cette année, le jury a souhaité mettre l'accent sur les outils d'analyse statique de code, et plus particulièrement sur la technologie novatrice de Coverity qui s'attaque au problème de la détection du nombre le plus élevé possible d'erreurs sur un très grand nombre de lignes de codes, tout en réduisant au minimum les ‘faux positifs’ », explique François Gauthier, chef de service en charge des outils logiciels au sein de la rédaction d’Electronique Magazine.

L’application de la SAT à Coverity Prevent s’est vue distinguée par le jury du Palmarès 2008 pour sa capacité à fournir des résultats d’analyse d’une très grande précision, affichant de surcroît le taux de faux positifs le plus bas du marché. À la différence des moteurs d’analyse statique actuellement disponibles sur le marché qui s’appuient sur un dispositif d’analyse des flux de données et sur plusieurs vérificateurs pour identifier les défauts logiciels, le moteur SAT exploite, quant à lui, des solveurs.

Cette nouvelle technique d’analyse du code source a pu voir le jour grâce à la technologie développée par Coverity – dont le brevet est actuellement en cours d’homologation – qui crée une représentation précise du système logiciel au niveau du bit. Chaque opération logicielle pertinente est traduite en valeurs booléennes (vrai et faux) et en opérateurs logiques booléens (ex. et, non, ou). Dans l’univers de la programmation informatique à vocation commerciale, l’adoption de cette technique d’analyse à partir de solveurs SAT constitue une première mondiale.

Plus de 450 clients utilisent Coverity Prevent pour analyser l’intégralité des chemins de leurs applications. En exploitant toute la puissance de la fonctionnalité SAT de Coverity Prevent, ils ont désormais les moyens d’analyser les valeurs de chaque calcul effectué par ces applications. Exhaustive, cette analyse statique du code permet à Coverity de proposer le dispositif le plus précis du marché pour l’identification des performances critiques et des vulnérabilités de sécurité.

« Cela fait déjà plusieurs années que l’analyse de satisfaisabilité booléenne (SAT) est utilisée avec succès dans le secteur de l’EDA . Le fait d’appliquer les fonctionnalités éprouvées de la SAT à l’analyse statique de code permet aux développeurs d’explorer toute une panoplie de nouvelles approches leur permettant d’identifier les défauts logiciels les plus critiques », déclare Ben Chelf, CTO de Coverity. « Lorsque nous innovons pour résoudre les problématiques de développement logiciel les plus complexes, notre objectif est d’accompagner nos clients dans la création du code source le plus fiable et le plus sûr au monde. »

Electronique Magazine, une publication mensuelle diffusée en France publie chaque année son palmarès, lequel met l’innovation à l’honneur dans douze catégories de solutions dont celle des outils logiciels. Coverity Prevent a été sélectionné par un jury composé d'industriels, d'universitaires, de consultants spécialisés dans le domaine de l'électronique embarquée, et de journalistes de la rédaction.

À propos de Coverity
Coverity, leader mondial de l’amélioration de la qualité et de la sécurité des logiciels, est une société non cotée, établie à San Francisco (États-unis). La technologie révolutionnaire de Coverity repousse les limites du développement et de la diffusion des logiciels complexes en permettant d’identifier et de résoudre automatiquement les défauts logiciels critiques et les points de vulnérabilité lors du processus de développement. Plusieurs centaines de sociétés figurant parmi les plus grands éditeurs logiciels du monde utilisent la technologie Coverity et ce, pour trois raisons simples : elle peut prendre en charge plusieurs dizaines de millions de lignes de codes ; elle affiche le taux de faux positifs le plus bas du marché ; elle garantit que 100 % des chemins possibles à travers le code sont testés. Des sociétés comme Juniper Networks, Symantec, McAfee, Synopsys, NASA, Palm ou encore Wind River s’appuient sur les outils de Coverity pour identifier et éliminer les défauts majeurs de leurs codes critiques.

Coverity est une marque commerciale déposée, Coverity Extend et Coverity Prevent sont des marques commerciales de Coverity Inc. Tous les autres noms de société ou de produits cités dans le présent communiqué appartiennent à leurs détenteurs respectifs.

 
 
Cet article a éte publié gratuitement. Seuls les articles payants sont proposés sans publicité !


 

Agence / Source : Bijou PR

 
 

Disponibilité : Francophone

 

Distribution : [+]

 
 
# # #
 
  Coverity Prevent™ figure au Palmarès 2008 d’Electronique Magazine
_
Il est permis de republier / lié tout articles a condition de nommer NewswireToday FR comme la source.
 
  Pour plus d'informations, visitez :
Coverity |
Contact: Martha de Monclin - BijouPR.com 
06 63 44 33 74 martha[.]pageonepr.com
 
En toutes circonstances, NewswireToday ne pourra en aucun cas être tenu pour responsable du contenu, notamment du caractère illégal du contenu au regard de la réglementation en vigueur, d'erreur ou d'omission dans tout contenu, de toute perte ou dommage consécutifs à l'utilisation de tout contenu affiché, transmis pas courriel ou de toute autre manière via le dit Service.

Logiciel via RSS
Add Logiciel News to My MSNAdd Logiciel News to My Yahoo!
Imprimer  |  Envoyez cet Article

Cet article a éte publié gratuitement. Seuls les articles payants sont proposés sans publicité !


Lire tous les articles Bijou PR / Company Profile



Le Centre de Ressources Emploi Formation de Haute Normandie adopte Jaspersoft
Jaspersoft étend son leadership en matière de décisionnel intégré
Jaspersoft lance une offre décisionnelle sur Windows Azure
Le portail de formation en ligne de Jaspersoft enregistre une forte croissance pour sa 1ere année
Jaspersoft annonce une croissance importante en 2012
Jaspersoft révolutionne l’analytique avec son serveur décisionnel à tarification horaire sur Amazon
Jaspersoft réunit ses partenaires autour d’un évènement Big Data
Avec BitNami, Jaspersoft se déploie en un seul clic sur Amazon Web Services
Jaspersoft s’intègre à VMware Cloud Applications Marketplace™
Jaspersoft propose l’analyse Big Data dans le cloud avec Amazon Redshift
Jaspersoft annonce une plateforme nouvelle génération pour l’exploration des données - Jaspersoft 5
JasperSoft est Sponsor du BI Event de CXP
ILEX annonce son entrée en négociation exclusive avec l’éditeur CREDENTIEL en vue de son rachat
Ilex vous accueille aux Assises de la sécurité à Monaco du 3 au 6 octobre 2012
Jaspersoft étend son écosystème partenaires Hadoop
Conférence CRM Ventes et Marketing à Paris le 14 juin
Ilex sécurise le Centre Hospitalier de Montperrin
ASP Line intègre la solution de Jaspersoft dans son logiciel de gestion
ILEX partenaire des Journées du MiPih 2012
ILEX sponsor du Gartner IAM Summit de Londres
ILEX dévoile Sign&go 5.0 et implémente le standard OAuth 2.0 dans une solution IAM
Loilo, Inc. étend son offre tarifaire sur LoïloScope 2™, logiciel d'édition et de montage vidéo
Premier editeur commercial majeur d’outils de modelisation a passer a l'Open Source
ILEX participera aux 20èmes Journées nationales des technologies de communication hospitalière
ILEX participera aux Assises de la Sécurité et des Systèmes d'Information
ILEX, sponsor de 01 VIRTUAL MEETING, le premier salon virtuel 3D dédié aux technologies du Cloud
Le Centre Hospitalier Philippe Pinel d'Amiens a retenu la solution d'ILEX
Casewise lance une solution complète de modernisation des systèmes ERP
ILEX renforce la sécurité d’un Groupe bancaire français
Sign&go 4.2 - un Global SSO d'ILEX orienté vers le Cloud
La technologie Meibo décline son identité
CARRENET devient partenaire intégrateur Salesforce.com
Le marché européen des interfaces Homme-machine devrait continuer de croître selon Frost & Sullivan
CARRENET continue sur sa lancée et confirme sa stratégie CRM
IT Partners - Exceliance enrichit sa gamme ALOHA Load Balancer
RFlex dévoile les premières briques de sa nouvelle suite applicative RFlex Solutions
Ippon Technologies devient le premier partenaire Gold de Liferay en France
Atlassian développe ses activités en Europe
N’ware commencera à offrir la fonctionnalité SAP Business One 8.8 Cockpit
Celum annonce sa toute nouvelle solution verticale de 'Web-to-Print' - celum DYNAMO
Coverity et Armorize lancent une nouvelle solution
Orsys - Tribune d'expert Juin 2010 - 'Oui, une informatique humaniste est possible'
Parallels Automation permet à Telekom Austria de lancer de nouveaux services de collaboration et de messagerie
Bouygues Telecom Entreprises profite des innovations de Faveod
Journée de la Performance IT 2010: Quest met la virtualisation et les clubs utilisateurs à l'honneur
Le partenariat entre Google et Parallels va aider les hébergeurs à augmenter leurs revenus
SugarCRM et l'Open-Source investissent le Space-Cloud
Parallels permet aux clients Mac d’exécuter les logiciels de design 2011 d’Autodesk tout en profitant de l’assistance produit
Salon Solutions Linux - Exceliance dévoile HAProxy Entreprise Edition HAPEE
Coffee Sugar chez CIS : le rendez-vous CRM quotidien
Exceliance lance la version 3.5 de son répartiteur de charge ALOHA
Actio et Atrion présentent REACHtracker™ 2.0
celum annonce une hausse de 30% de son chiffre d’affaires en 2009
Metrixware annonce le rachat de Scort
Thermphos intègre la conformité des produits pour SAP EH&S d’Atrion
Tech Data lance l’offre Cloud Computing avec Parallels Automation
Tata Consultancy Services standardise sur Lombardi Blueprint
Atrion International signe avec Vopak un accord sur les services réglementaires
Coverity 5 mesure l'impact des changements logiciels
Quest lance une solution tout-en-un pour la gestion des bases de données DB2 multi plateformes
Atrion International et Microsoft aident les entreprises à devenir écologiques
Quest Software lance la version 10 de Toad for Oracle
Casewise annonce la sortie de Corporate Modeler Intelligence
La Sacem gagne en efficacité en unifiant ses outils d’éditique avec Jaspersoft
Jaspersoft lance une nouvelle version de JasperReports Professional
Virtualisation des postes de travail - nouvelle version de Quest vWorkspace
Lombardi Blueprint désormais compatible avec la norme BPMN 2.0
Microsoft Office Communications Server combinée à Parallels Automation maintenant disponible
Atrion lance la plate-forme technologique ACE™
Alexandre Wentzo, Chief Operating Officer EMEA Casewise
SugarCRM et CARRENET présentent Sugar 5.5 au salon CRM 2009
Quest Software lance la version 7 de SharePlex, sa solution pour la réplication des données Oracle
EMEA Partner Roadshow de Parallels : les partenaires White Label à Paris le 14 septembre
Lombardi poursuit sa croissance au premier semestre 2009
Quest Software nomme son nouveau Senior Vice President of WorldWide Sales
Quest lance e-Discovery Manager, plateforme de recherche fédérée de contenu électronique
Casewise annonce la sortie de Corporate Modeler 2009.1
La nouvelle forge communautaire de Jaspersoft totalement opérationnelle
Lombardi présente Teamworks 7, la nouvelle version de sa suite de gestion des processus métier
Lombardi annonce la nouvelle version Spring ’09 de Blueprint
Lombardi donne aux entreprises les moyens de réussir leur démarche d’amélioration des processus
Le lancement de la Lombardi University : un programme complet de développement des talents en BPM
CARRENET annonce la disponibilité du module gratuit SugarTAGS pour SugarCRM
Aviva choisit Lombardi comme partenaire stratégique pour la fourniture de logiciels BPM
Jaspersoft annonce la mise à jour de sa suite décisionnelle pour MySQL
Jaspersoft et Infobright annoncent un outil d’analytique open source
Quest Software propose un outil gratuit de découverte et d’analyse des environnements Lotus Notes
De plus en plus de sociétés et d’entreprises de taille moyenne se tournent vers Atrion
Coverity® lance le premier centre d’intégrité logicielle du marché
Coverity® lance un dispositif révolutionnaire de compilation logicielle
Lombardi Software se positionne dans le quadrant des « Leaders » du Magic Quadrant 2009
Lombardi présente les résultats 2008 de ses activités BPM
Capgemini choisit la solution BPM de Lombardi
Coverity publie les architectures applicatives de plus de 2500 projets Open Source
Jaspersoft & Hyperic s’associent pour lancer une plate-forme décisionnelle
Coverity booste les fonctionnalités Microsoft de sa solution Coverity Prevent
L'éditeur de logiciels Quest Software acquiert MonoSphere
Coverity™ enregistre une croissance annuelle de 39 % en Europe
Jaspersoft lève 12,5 millions de dollars auprès de capital-risqueurs
Jaspersoft annonce la sortie de la nouvelle version communautaire de son logiciel décisionnel

Visitez Nos Annonceurs









 
  ©2013 NewswireToday FR — Limelon Advertising, Co.
Accueil | Notre Réseau | Publicité | Recherche Articles | Contact | ENGLISH
newswire, PR free press releases distribution magazines engine news alert newsroom press room breaking news public relations articles company news alerts blogsIt msn pressreleasesnewswiredistribution ezine bizentrepreneur biznewstoday digital business report news market search pr firms pr agencies business reports newswire today investor relation successful internet entrepreneur free newswire distribution asianewstoday bizwiretoday pr-newswire-today