Conformance Relations for Fuzzy Automata

The use of formal methods improves the reliability of computer systems. In this context, fuzzy logic provides a tool to formally specify systems where uncertainty and imprecision play an important role. In this paper, we propose an extension of the fuzzy automata formalism and establish different conformance relations. The main goal of these relations is to formally capture the idea of a system behaving as specified by a specification. We sketch how our conformance relations can be alternatively characterized as a testing process by producing sound and complete sets of tests.

[1]  Leslie Lamport.  Who builds a house without drawing blueprints? , 2015, Commun. ACM.

[2]  Juan Boubeta-Puig,et al.  A Formal Framework to Specify and Test Systems with Fuzzy-Time Information , 2017, IWANN.

[3]  Madan M. Gupta,et al.  Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems , 2003 .

[4]  Manuel Núñez,et al.  Self-adaptive fuzzy-timed systems , 2011, 2011 IEEE Congress of Evolutionary Computation (CEC).

[5]  Mercedes G. Merayo,et al.  Formal testing from timed finite state machines , 2008, Comput. Networks.

[6]  King-Sun Fu,et al.  A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems , 1969, IEEE Trans. Syst. Sci. Cybern..

[7]  Mercedes G. Merayo,et al.  Using fuzzy automata to diagnose and predict heart problems , 2017, 2017 IEEE Congress on Evolutionary Computation (CEC).

[8]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[9]  Mercedes G. Merayo,et al.  An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data , 2018, ACIIDS.

[10]  Jan Tretmans,et al.  Model Based Testing with Labelled Transition Systems , 2008, Formal Methods and Testing.

[11]  Stefan C. Kremer,et al.  New directions in fuzzy automata , 2005, Int. J. Approx. Reason..

[12]  Rance Cleaveland,et al.  Using formal specifications to support testing , 2009, CSUR.

[13]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .

[14]  Yvan Labiche,et al.  A systematic review of state-based test tools , 2013, International Journal on Software Tools for Technology Transfer.

[15]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .

[16]  Teruo Higashino,et al.  A survey on formal active and passive testing with applications to the cloud , 2015, Ann. des Télécommunications.