4. Ý nghĩa lý luận và thực tiễn của đề tài
4.3.1. Giới thiệu bài toán
Hệ thống điều khiển thang máy là hệ thống thời gian thực. Hệ thống này gồm các thành phần vật lý tương tác thường xuyên với môi trường của nó. Thang máy trong thực tế có thể có nhiều tầng, tuy nhiên trong phạm vi đề tài chỉ nghiên cứu hệ thống thang máy có 4 tầng. Với hệ thống này vẫn đảm bảo có được các đặc trưng trạng thái tiêu biểu của một thang máy như: Khi thang máy chuyển động đi lên có thể nó sẽ lên tầng trên hoặc bỏ qua để lên tầng trên nữa. Tương tự như vậy, khi thang máy chuyển động xuống có thể nó sẽ đi xuống 1 tầng hoặc bỏ qua tầng giữa để đi xuống tầng tiếp theo. Việc cầu thang lên hay xuống phụ thuộc vào lựa chọn của người đi trong cầu thang. Nếu chọn chính tầng mà thang máy đang dừng thì sẽ không có sự chuyển trạng thái. Tại mỗi tầng sẽ có các sự kiện chọn hoặc không chọn, nếu chọn có thể đi lên hoặc đi xuống. Việc các tầng được chọn quyết định sự di chuyển tiếp tục hay dừng lại tại đó của cầu thang.
Nếu cầu thang đi lên mà nút tầng được chọn là nút lên thì nó sẽ dừng lại cho người vào, nhưng nếu nút chọn hướng xuống thì nó sẽ xóa bỏ lựa chọn và đi qua. Do đó trạng thái của cầu thang khi đến các tầng có thể sẽ bị dừng lại và chuyển trạng thái.
Khi thang máy di chuyển lên, nếu có một số các tầng được chọn thì nó sẽ dừng lại ở tầng được chọn gần nhất, hoặc khi di chuyển xuống nó sẽ dừng lại ở 1 tầng được chọn gần nhất sau đó chuyển đến một trạng thái tiếp theo.
Từ mô tả của bài toán ta có sơ đồ chuyển trạng thái của cầu thang là một đồ thị có hướng như hình 4.7
Hình 4.7 Sơ đồ chuyển trạng thái của cầu thang 4 tầng Qua sơ đồ chuyển trạng thái ta nhận thấy hệ thống gồm có:
- Tổng số trạng thái: 4
- Tổng số các chuyển trạng thái: 12 - Tổng số sự kiện: 4
Với sơ đồ trên, cần lập kế hoạch kiểm thử như thế nào để có thể bao phủ được tất cả các trạng thái, các chuyển trạng thái với số các ca kiểm thử sử dụng là ít nhất. Bên cạnh đó, khi chú ý đến các lỗi có thể gặp, ca kiểm thử cần bao hàm đủ các sự kiện có thể:
Khi thang máy dừng ở một tầng, đi đến các tầng khác có thể: − Một tầng được chọn
1 2 4
− Cả ba tầng được chọn đồng thời
Khi thang máy di chuyển từ một tầng, có thể: − Một nút tầng được nhấn
− Hai nút tầng được nhấn − Ba nút tầng được nhấn
Và có thể cùng chiều hay khác chiều để kiểm tra hành động dừng hay bỏ qua.