追踪你的要求

追踪你的需求不仅是遵守你的标准的一种方式,也是确保你的软件安全的有力工具。通过实施一个好的需求跟踪系统,每个工程师都知道每个规格的来源(高层次的需求,目标,目的,功能的目的)。这使他以更好的方式开发,如果他觉得低层次的需求没有达到定义的目标,他就有机会提供反馈。正确地跟踪你的需求也是很重要的,通过将每个测试与规范相联系来保证完整的测试覆盖。

进行同行评审

软件同行评审是由一个或多个具有类似能力的人对所开发的代码进行评估。它的目标是提高所开发软件的质量、性能和可信度。让不同的人审查一个工程师的工作,是发现可能的错误或需求误解的有力方法。这种技术极大地提高了质量和对产品的信心。

开发自动和独立的测试

测试你的软件似乎是一种常见的做法,然而,拥有一个好的测试方法并不总是简单的。自动测试相对于人工测试的好处是,你对测试结果有信心,而且这些测试的可重复性也很高。通过确保测试总是以同样的方式进行并提供同样的结果,你可以保证你的软件的稳定性。开发测试的人的独立性是关键。如果由同一个程序员来开发软件和测试程序,就很有可能使测试适应所开发的代码,而不是确保需求的正确实现。请记住,你测试你的软件是为了证明没有错误,而不是为了发现错误。

使用公认的编码准则

编码指南包含了对代码各方面的编程风格、实践和方法的建议。它提高了可维护性、可靠性、效率和可用性。MISRA C等准则的实施确保了开发的软件符合IEC61508中的大部分要求。通过只使用C语言的一个子集,它避免了未定义的行为和其他可能的语言误用。为了测试MISRA C的合规性,存在各种自动化工具,这使得软件的验证更加容易。