Testing subgroups of a finite group on some embedding properties like pronormality

We describe here algorithms for testing subgroups of a finite group on the following embedding properties: pronormality, abnormality, paranormality and their weak analogies. The method is based on a decomposition of the main group on some double cosets. These algorithms are realized in computer algebra system GAP.