IGT setzt auf die statische Quellcode-Analyse von Coverity

IGT setzt auf die statische Quellcode-Analyse von Coverity San Francisco (ots/PRNewswire) - - Coverity Prevent ergänzt Entwicklungsumgebung von QNX Momentics Coverity Inc., Hersteller der weltweit modernsten Lösung zur Quellcode-Analyse, gab heute bekannt, dass IGT (International Game Technology) jetzt zu den über 200 Coverity-Kunden zählt. Zudem unterstützt das Coveritys Spitzen-Analyseprodukt Prevent (TM) jetzt die QNX(R) Momentics(R) Entwicklungsumgebung QNX Neutrino(R), des eingebetteten Echtzeit-Betriebssystems (RTOS - Real-Time Operating System). IGT ist ein weltweit agierendes Unternehmen, das sich auf den Entwurf, die Entwicklung, Herstellung und Vermarktung computerisierter Glücksspielgeräte, -systeme und -dienstleistungen spezialisiert hat. QNX Neutrino RTOS wird von IGT in seinen Glücksspielgeräten als Kern-Betriebssystem einsetzt und QNX Momentics dient als wichtigster C/C++ Compiler und als wichtigste Entwicklungsumgebung. QNX Neutrino ist ein skalierbares, POSIX-konformes, eingebettetes RTOS-System, das in erfolgskritischen Umgebungen wie Telekommunikationsgeräten, Automobilsystemen, Medizingeräten, Unterhaltungselektronik und vielen anderen Geräten zum Einsatz kommt. Prevent ist von vornherein so konfiguriert, dass es die QNX Momentics Entwicklungsumgebung direkt unterstützt und kann ohne Änderung der vorhandenen Erstellungsskripts innerhalb von Minuten in den Programmerstellungsprozess integriert werden. "Wir hatten bereits zuvor nach statischen Quellcode-Analyse-Werkzeugen Ausschau gehalten, fanden aber nichts, was sich erfolgreich in unserer QNX-Programmentwicklungsumgebung einsetzen liess. Coverity hingegen liess sich ohne Änderungen unserer Abläufe in die Entwicklungsumgebung integrieren. Die Anpassbarkeit von Coverity stellt ein enormes Plus dar", sagte Steven LeMay, Geschäftsführer Game Engineering bei IGT. "Wie jedes gute Unternehmen wollen wir unsere Qualität im Feld beweisen. Die Tatsache, Probleme schon während der Kompilierung, bevor sie sich beim Testen manifestieren, ausfindig zu machen und auf diesem Wege so viele Probleme wie möglich bereits in der Frühphase des Entwicklungsprozesses beseitigen zu können, führt zu einer deutlichen Reduzierung der Entwicklungskosten und - was noch wichtiger ist - zu einer höheren Produktqualität." Die IGT-Produkte müssen die strengen Auflagen der Glücksspielbranche erfüllen und ein umfangreiches Zulassungsverfahren durchlaufen. Unabhängige Prüflabors müssen jedes Produkt vor der Zertifizierung testen und dieser Zertifizierungsvorgang muss bei jeder Änderung der Software erneut durchlaufen werden. Deshalb muss die Beseitigung selbst eines kleinen Programmfehlers im Feld von den Aufsichtsinstitutionen genehmigt werden, was vor dem Einsatz der Lösung zu erheblichem Zeit- und Kostenaufwand führen kann. "Dadurch, dass Coverity die QNX Momentics Entwicklungsumgebung unterstützt, steht dem Entwickler auf einem der verbreitetsten Echtzeit-Betriebssysteme jetzt die modernste, statische Quellcode-Analyse-Technologie zur Verfügung", sagte Ben Chelf, CTO von Coverity. "Ein Entwickler, der erstmals für das QNX Neutrino Betriebssystem programmiert, kann sich auf Prevent stützen, um die für eingebettete Entwicklungen besonders kritischen Fehler, wie Ressourcenlecks, gleichzeitige Zugriffe und übermässige Speicheranforderungen, zu vermeiden." "Entwickler entscheiden sich bei erfolgsrelevanten und lebenswichtigen Systemen für die QNX-Technologie, weil sie eine Kombination unerreichter Leistung, Skalierbarkeit und Zuverlässigkeit bietet", sagte Linda Campbell, Leiterin strategische Allianzen bei QNX Software Systems. "Dank Coverity kann der Entwickler sich auf den übergeordneten Entwurf konzentrieren und muss weniger Zeit damit verbringen, versteckte Programmierfehler zu identifizieren und zu beseitigen." Neben der QNX Momentics Entwicklungsumgebung unterstützt Coverity Prevent auch im Bereich der eingebetteten Entwicklung verbreitete Compiler wie z.B. ARM, gnu, Green Hills, IAR, Intel, Marvell, Microsoft, Renesas, Texas Instruments und Wind River. Prevent bietet eine umfassende statische Analyselösung für den Entwickler, der Programmcode für eingebettete Plattformen wie Linux, Windows Mobile/CE, VxWorks, Multi, Symbian und das QNX Neutrino RTOS-System sowie für eigene, auf Standard-Mikroprozessorarchitekturen beruhende Betriebssysteme und Firmware erstellt. Coverity Prevents Unterstützung für die QNX Momentics Entwicklungsumgebung ist ab sofort verfügbar. Weitergehende Informationen stehen auf der Webseite unter www.coverity.com zur Verfügung. Informationen zu Coverity Coverity (www.coverity.com), der führende Anbieter von Programmen zur Verbesserung der Qualität und Sicherheit von Software, ist ein in privater Hand befindliches, in San Francisco ansässiges Unternehmen. Coveritys bahnbrechende Technologie beseitigt Hindernisse bei der Erstellung und beim Einsatz komplexer Software, indem bereits während des Programmierens automatisch kritische Mängel und Sicherheitslücken erkannt und deren Beseitigung unterstützt wird. Über 200 führende Unternehmen setzen auf Coverity, weil es sich auf mehreren Millionen Quellcodezeilen skalieren lässt, die niedrigste Falsch-Positiv-Rate aufweist und sämtliche Softwarepfade abdeckt. Unternehmen wie Juniper Networks, Symantec/VERITAS, McAfee, Synopsys, NASA, Palm und Wind River setzen die Tools von Coverity ein, um Sicherheits- und Qualitätsmängel in ihrem hochkritischen Quellcode zu entdecken und zu beheben. Coverity ist eine eingetragene Handelsmarke und Coverity Extend und Coverity Prevent sind Handelsmarken von Coverity Inc. QNX, Momentics und Neutrino sind in bestimmten Rechtsgebieten eingetragene Handelsmarken von QNX Software Systems GmbH & Co. KG und werden in Lizenz benutzt. Alle anderen Firmen- bzw. Produktnamen sind Eigentum ihres jeweiligen Inhabers. Webseite: http://www.coverity.com Originaltext: Coverity, Inc.

Das haben andere Besucher auf unserer Seite gesucht:


Diese Nachrichten haben andere Besucher auf unserer Seite besucht:
Gesetzliche Krankenkassen: Steigenden Bedarf an Hausärzten ... arvato mobile baut erfolgreiche Kooperation mit T-Online ... Wiederauferstanden: Mobile Banking kommt doch