Testing from a specification writte

Testing from a specification written using a state-based language (such as Statechart, SDL, or X-machines) without encountering problems (such as infeasible paths) through any abstractions applied.

Kết quả (Việt) 1:

Kiểm tra từ một đặc điểm kỹ thuật viết bằng một ngôn ngữ dựa trên trạng thái (chẳng hạn như Statechart, SDL, hoặc máy X) mà không gặp phải vấn đề (ví dụ như đường dẫn infeasible) thông qua bất kỳ abstractions áp dụng.

Kết quả (Việt) 2:

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.