85 or 86 BMW Question

I think my son has 528i or something lkke that, and it doe not start.
There is no spark.
He is thinking there is something wrong with the OBC, is there a way to check it or bypass it?
Also would this model have something similiar to a crankshaft position sensor?
Thanks