International audienceEngineering safe and reliable systems demands rigorous approaches such as formal methods, using models. Since models are not always available, one needs to infer them from software artifacts. This paper defines a new inference approach for input-output systems that is based on FSM-based testing theory. Central to the approach is the notion of initial quotient of an FSM associated with a partial characterization set that controls the precision of this approximated model. The proposed method infers a model of a system under test by building increasingly precise quotients of it using counterexamples. Various experiments demonstrate its practical usability
International audience"Internet of Services" (IoS) is a vision of the Internet of the Future where applications are built by combining services provided by a variety of service providers over the network. They are deployed as needed and consumed at run-time in a demand-driven and flexible way. Model-based testing is one method for testing security of applications but it needs formal models and most of the time service providers are not able to provide them. For that, model inference methods adapted to security testing can be used. This document tries to give some directions in order to combine enhanced model inference and model testing to ensure security of services automatically
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.