Si son hijos del mismo padre que ella son hermanos. Hermanastros es cuando son los hijos de otras relaciones de la persona con la que esté.
Pues oye, yo siempre he entendido que hermanastros son los que son hijos de un progenitor, y no del otro.
Vamos que puede ser hijo del padre o de la madre, y de otra pareja del padre o de su madre.
En la terminologia popular yo siempre he oido decir: mira es el hermanastro, de tal, hijo de su padre.O es el hermanastro hijo de su madrastra.