I agree with Gjergji Zaimi's comment above: Both "Fermat test" and "Fermat primality test" are short and descriptive.