I understand quantization as a map from Symplectic Manifolds $M$ (either finite dimensional or not) to Hilbert Spaces $H$, along with a rule that attach to every function $F$ in $M$ a hermitian operator $A_F$ in $H$. Dirac proposed that the map should satisfy the rule $-i\hbar[A_F,A_G] = A_{\{F,G\}}$, where $[A,B]:=AB-BA$ is the commutator and $\{F,G\}$ is the poisson bracket.
It is known that this dream cannot be exactly realized, and this vagueness casts a shroud of mystery over quantization to outsiders, who see how physicists quantize without any apparent order. A relevant question here.
I'm aware of some methods of quantization. Pseudo-differential operators and Weyl quantization are widely used in mathematical analysis. There is a geometrical quantization well explained here.
I think that the only way to settle the problem is through experiments, or at least to clarify the meaning of quantization for some restricted families of operators, say polynomials of degree less than four in $p$ (momentum) and $q$ (position). It's been many years after the foundation of quantum mechanics, so what are the obstructions to this kind of verification?
For example, I suppose that experiments with nanotubes should help to understand the quantum realization of observables when the manifold $M$ is not flat.