I have a property which is local and stable for faithfully flat base change over a base scheme $S$. So I need to prove it for $O\_{S,s}$ with $s\in S$.
Why if I can prove it for a local artinian ring then this give to me the statement for $O\_{S,s}$?



local statement
The implication is not true in general, if I understand you correctly. For example, consider the property "affine" for morphism of schemes. This property is fpqc locally on the target.


Say, you have a morphism of schemes $f:X \to Y$ such that for every artinian ring $A$ and morphism $\text{Spec}(A) \to Y$ the base change $f\_A : X\_A = X \times\_Y \text{ Spec}(A) \to \text{Spec}(A)$ is affine. Then $f$ is not an affine morphism, in general. For instance, consider for $f$ the open immersion of the pointed affine plane 
$X := \mathbb{A}^2\_k -\lbrace0\rbrace\to \mathbb{A}^2\_k = :Y$.


Then $\mathbb{A}^2\_k$ is not affine! Otherwise, the open immersion $f$ would be an isomorphism as $H^0(X,O\_X) = H^0(Y,O\_Y)$ using that $X$ is $S\_2$.


Thus, the open immersion $f$ is not an affine morphism. However, every fiber is either $\mathbb{A}^2$ or $\mathbb{A}^2 - \lbrace 0 \rbrace$. Both are affine curves. So, $f$ has affine fibers, but is not affine. Morever, if you take any Artinian ring $A$, then for every morphism $\text{Spec}(A) \to Y$ the base change $f\_A : X\_A \to \text{ Spec}(A)$ has affine source $X\_A$. To see this, use that $k := A/Nil(A)$ is a field and that we know already that $X\_k$ is affine. The map $X\_k \to X\_A$ is finite, finitely presented and surjective, since $\text{ Spec}(k) \to \text{Spec}(A)$ is. Thus, $X\_A$ is affine by Chevalley's Theorem for affines.


Therefore, you cannot disprove that $f$ is affine by testing with Artin rings. 


However, if you impose an additional global condition (e.g. properness), then some properties can be checked over Artin rings as Ramsey pointed out.


