Tôi thì sau khi hỏi người làm chung như vầy: nó là một "set" nhỏ cô đọng chức năng (của 1 ngôn ngữ) dùng để kiểm nghiệm khả năng của một ngôn ngữ > ngôn ngữ kiểm thuật" ? "ngôn ngữ kiểm nghiệm" ?