MathWorks - Mobile View
  • Inicie sesión con su cuenta de MathWorksInicie sesión con su cuenta de MathWorks
  • Access your MathWorks Account
    • Mi Cuenta
    • Mi perfil de la comunidad
    • Asociar Licencia
    • Cerrar sesión
  • Productos
  • Soluciones
  • Educación
  • Soporte
  • Comunidad
  • Eventos
  • Obtenga MATLAB
MathWorks
  • Productos
  • Soluciones
  • Educación
  • Soporte
  • Comunidad
  • Eventos
  • Obtenga MATLAB
  • Inicie sesión con su cuenta de MathWorksInicie sesión con su cuenta de MathWorks
  • Access your MathWorks Account
    • Mi Cuenta
    • Mi perfil de la comunidad
    • Asociar Licencia
    • Cerrar sesión

Vídeos y webinars

  • MathWorks
  • Vídeos
  • Videos Home
  • Buscar
  • Videos Home
  • Buscar
  • Contáctese con ventas
  • Software de prueba
  Register to watch video
  • Description
  • Related Resources

Best Practice for Software Quality - Defining and Measuring Software Quality Objectives for Source Code

Philippe Spozio, Renault
Thierry Cambois, PSA Peugeot Citroën

When verifying and validating code, automotive manufacturers and their suppliers often share the objective of producing safe code with the right timing and cost. However, they have different ways of meeting this objective. The supplier may ensure quality through verification and validation in the development process; the manufacturer may check quality through verification and validation in the final product. Without a common approach on both sides, measuring the real quality of the end code can be a very complicated task.

In order to share their experience in using software verification tools such as PolySpace® code verifiers, automotive manufacturers Renault SA and PSA Peugeot Citroën, automotive suppliers Valeo and Delphi Diesel Systems Power Train, and MathWorks decided in 2007 to create a working group. This working group focused on defining software quality objectives for source code and a common approach to implement and measure them. This session presents their results.

Incremental Quality Objectives have been defined along the software life-cycle process, from the first code version to the ultimate code delivery. Along that path, we describe verification milestones, such as the absence of coding rules violations or the absence of run-time errors, and propose to associate different quality levels with different modules and different deliveries. The quality therefore relies on a modular verification approach based on a typical development process.

The final result is a tool-independent document that can be used as a step in a better formalization of relationships between car manufacturers and suppliers with regards to software quality objectives. As a consequence of this work, Renault and PSA integrated the document in their software requirement plan. Additionally, the document proposes a pragmatic way of using verification tools such as PolySpace code verifiers for the purpose of detecting coding rules violations or proving absence of run-time errors.

Recorded: 22 Jun 2010

Related Products

  • Polyspace Code Prover

Feedback

Featured Product

Polyspace Code Prover

  • Request Trial
  • Get Pricing

Up Next:

1:04:09
Embedded Software Verification with Polyspace Products for...

Related Videos:

46:01
Best Practices for Verification and Validation
43:53
DO-178B Certification: Automate and Streamline Using Code...
3:50
Understand C/C++ Code Design with Polyspace Products
2:15
What Is Polyspace Code Prover?

View more related videos

MathWorks - Domain Selector

Select a Web Site

Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .

Select web site

You can also select a web site from the following list:

How to Get Best Site Performance

Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.

Americas

  • América Latina (Español)
  • Canada (English)
  • United States (English)

Europe

  • Belgium (English)
  • Denmark (English)
  • Deutschland (Deutsch)
  • España (Español)
  • Finland (English)
  • France (Français)
  • Ireland (English)
  • Italia (Italiano)
  • Luxembourg (English)
  • Netherlands (English)
  • Norway (English)
  • Österreich (Deutsch)
  • Portugal (English)
  • Sweden (English)
  • Switzerland
    • Deutsch
    • English
    • Français
  • United Kingdom (English)

Asia Pacific

  • Australia (English)
  • India (English)
  • New Zealand (English)
  • 中国
    • 简体中文Chinese
    • English
  • 日本Japanese (日本語)
  • 한국Korean (한국어)

Contact your local office

  • Contáctese con ventas
  • Software de prueba

Explorar productos

  • MATLAB
  • Simulink
  • Software para estudiantes
  • Soporte para hardware
  • File Exchange

Probar o comprar

  • Descargas
  • Software de prueba
  • Contáctese con ventas
  • Precios y licencias
  • Cómo comprar

Aprender a utilizar

  • Documentación
  • Tutoriales
  • Ejemplos
  • Vídeos y webinars
  • Formación

Obtener soporte

  • Ayuda para la instalación
  • Respuestas
  • Consultoría
  • Centro de licencias
  • Contactar con soporte

Acerca de MathWorks

  • Ofertas de empleo
  • Sala de prensa
  • Misión social
  • Contáctese con ventas
  • Acerca de MathWorks

MathWorks

Accelerating the pace of engineering and science

MathWorks es el líder en el desarrollo de software de cálculo matemático para ingenieros

Descubra…

  • Select a Web Site United States
  • Patentes
  • Marcas comerciales
  • Política de privacidad
  • Antipiratería
  • Estado

© 1994-2021 The MathWorks, Inc.

  • Facebook
  • Twitter
  • Instagram
  • YouTube
  • LinkedIn
  • RSS

Únase a la conversación

This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic.  By continuing to use this website, you consent to our use of cookies.  Please see our Privacy Policy to learn more about cookies and how to change your settings.