Formal Methods in Industrial Software Standards Enforcement

The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test derivation from the resulting formal specifications. Strong technological support of such a process in its engineering aspects makes it applicable to software standards of reallife complexity. This is illustrated by its application to Linux Standard Base. The work stands in line with goals of international initiative Grand Challenge 6: Dependable Systems Evolution [1].

• Type: Conference
• Year: 2006
• Where: ERSHOV
• Authors: Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov
• Keywords: Conformance Test Derivation, ERSHOV 2006, Software Standards, Standards Usage Infrastructure, Theoretical Computer Science