2007 | OriginalPaper | Buchkapitel
Formal Grammars for Conformance Testing
verfasst von : Csaba V. Rotter
Erschienen in: Advances in Information Systems Development
Verlag: Springer US
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Formal languages and especialy formal grammars are able to describe conformance testing. This paper is focused on the correlation between testing and regular grammars. We compare the standardized formal methods relation described in ISO standard [1][2] and formal grammars. We show that the implementation relation can be specified with distributing or inter-working grammars. Our goal is to demonstrate that formal grammars are able to describe communication protocols and they can be used also as a test notation. The attention is focused mainly on second part, where we show the importance of these grammars, because they can describe the test environment and the test suites of these protocols [3].