Formal Modeling of Software Quality with xNoFun Language

S.P. Kovalyov and E.A. Ozhiganova (Russia)


Software requirements, quality model, quality monitoring, xNoFun language


This paper presents new practical approach to automated formal modeling and validation of quality requirements. It relies on two paramount software industry standards: ISO/IEC 9126 for software quality and XML for formal notation. The xNoFun language allows composing formal quality models not only manually but via requirement management CASE tool IBM Rational RequisitePro. Efficient runtime modules for autonomic quality monitoring and adjustment according to xNoFun specifications can be implemented. Quality modeling and monitoring of automatic electricity metering system is considered as an industrial application of the approach.

Important Links:

Go Back