A study on separation axiom and covering axiom in a BI topological space and investigation of fixed points of mappings over generalized metric space with their random analogue