Producing an efficient (minimum len

Producing an efficient (minimum length) test sequence, from an FSM M, that tests all of the transitions of M.

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

Mà sản xuất một trình tự kiểm tra hiệu quả (chiều dài tối thiểu), từ một M FSM, kiểm tra tất cả các quá trình chuyển đổi của M.

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

Sản xuất một chuỗi thử nghiệm (độ dài tối thiểu), hiệu quả, từ một FSM M, mà kiểm tra tất cả các quá trình chuyển đổi của M.