I think this problem can in fact be handled by Gröbner basis theory in the case $A$ is a polynomial ring. Since $I\cdot J \subseteq I\cap J$ for any two ideals, one can simply compute a Gröbner basis of $I\cap J$ (which is computed as the elimination ideal $( t\cdot I+(1-t)\cdot I ) \cap A$) and then checking whether each generator belongs to $I\cdot J$ (again using Gröbner basis algorithm).

EDIT: As Mark points out in his comment, this argument can be used to solve the problem for the general case $A=k[X]/R$ by considering the ideals $I+R$ and $J+R$ in $k[X]$.