Thử nghiệm từ một đặc điểm kỹ thuật được viết bằng một ngôn ngữ dựa trên trạng thái (như Statechart, SDL, hoặc X-máy) mà không gặp phải vấn đề (chẳng hạn như các đường dẫn không khả thi) thông qua bất kỳ trừu tượng áp dụng.
đang được dịch, vui lòng đợi..
