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].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ISO 9646. Information Theory – Open System Interconnection – Conformance Testing Methodology and Framework. ISO, Geneve (1991)
ITU-T. Recommendation Z.500. Framework on formal methods in conformance testing. International Telecommunications Union, Geneve, Switzerland (1997)
Bernot, G.: Testing against Formal Specifications: A Theoretical View. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol. 494, pp. 99–119. Springer, Heidelberg (1991)
Brinksma, E., et al.: A formal approach to conformance testing. In: de Meer, J., Mackert, L., Effelsberg, W. (eds.) 2-nd Int. Workshop on Protocol Test Systems, pp. 349–363. North-Holland, Amsterdam (1990)
Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede, The Netherlands (1992)
Bourdonov, I., et al.: UniTesK Test Suite Architecture. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 77–88. Springer, Heidelberg (2002)
Kuliamin, V., et al.: Integration of Functional and Timed Testing of Real-time and Concurrent Systems. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 450–461. Springer, Heidelberg (2004)
Kuliamin, V., et al.: UniTesK: Model Based Testing in Industrial Practice. In: Proc. of 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55–63 (2003)
Kuliamin, V.: Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. In: Proc. of 1-st International Symposium on Leveraging Applications of Formal Methods, Cyprus, October 2004, pp. 311–316 (2004)
Kuliamin, V., Petrenko, A., Pakoulin, N.: Practical Approach to Specification and Conformance Testing of Distributed Network Applications. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 68–83. Springer, Heidelberg (2005)
Leathrum, J.F., Liburdy, K.A.: A Formal Approach to Requirements Based Testing in Open Systems Standards. In: Proc. of 2-nd International Conference on Requirements Engineering, pp. 94–100 (1996)
Farchi, E., Hartman, A., Pinter, S.S.: Using a model-based test generator to test for standard conformance. IBM Systems Journal 41, 89–110 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grinevich, A., Khoroshilov, A., Kuliamin, V., Markovtsev, D., Petrenko, A., Rubanov, V. (2007). Formal Methods in Industrial Software Standards Enforcement. In: Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2006. Lecture Notes in Computer Science, vol 4378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70881-0_41
Download citation
DOI: https://doi.org/10.1007/978-3-540-70881-0_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70880-3
Online ISBN: 978-3-540-70881-0
eBook Packages: Computer ScienceComputer Science (R0)