Formal methods in industrial software standards enforcement

Authors:
Alexey Grinevich;Alexey Khoroshilov;Victor Kuliamin;Denis Markovtsev;Alexander Petrenko;Vladimir Rubanov
Affiliations:
Institute for System Programming of Russian Academy of Sciences, Moscow, Russia;Institute for System Programming of Russian Academy of Sciences, Moscow, Russia;Institute for System Programming of Russian Academy of Sciences, Moscow, Russia;Institute for System Programming of Russian Academy of Sciences, Moscow, Russia;Institute for System Programming of Russian Academy of Sciences, Moscow, Russia;Institute for System Programming of Russian Academy of Sciences, Moscow, Russia
Venue:
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Year:
2006

Citing 4
Cited 4

UniTesK Test Suite Architecture

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A formal approach to requirements based testing in open systems standards

ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Using a model-based test generator to test for standard conformance

IBM Systems Journal
Practical approach to specification and conformance testing of distributed network applications

ISAS'05 Proceedings of the Second international conference on Service Availability

Integration of verification methods for program systems

Programming and Computing Software
Component architecture of model-based testing environment

Programming and Computing Software
A combined technique for automatic detection of backward binary compatibility problems

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Backward compatibility of software interfaces: Steps towards automatic verification

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 real-life 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].