Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M$ $R$-module with Cosupport in $\mathrm{V}(\mathfrak{a})$. We show that is $\mathfrak{a}$-coartinian if only $\mathrm{Ext}_{R}^{i}(R/\mathfrak{a},M)$ artinian for all $0\leq i\leq \mathrm{cd}(\mathfrak{a},M)$, which provides computable finitely many steps to examine $\mathfrak{a}$-coartinianness. also consider the duality...