Black-Box Testing of Deep Neural Networks through Test Case Diversity