Chƣơng 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM
2.1. Giới thiệu về mô hình hóa
Hiện nay, mô hình hóa hướng đối tượng là phương pháp xây dựng mô hình dựa trên tư duy hướng đối tượng. Mỗi thế giới thực đều được tạo thành bởi các đối tượng và mối quan hệ giữa chúng. Mô hình hóa hướng đối tượng giúp ta hiểu tốt hơn các yêu cầu của bài toán đặt ra, bởi cách thức tiến hành gần với tư duy con người hơn là mô
hình hóa hướng dữ liệu. Từ đó, ta có thể đưa ra giải pháp thiết kế và thực thi phù hợp hơn cho bài toán. Trong bài toán mô hình hóa máy rút tiền ATM, là một đặc tả hình thức mô hình hóa có thể biểu diễn một cách đầy đủ các khía cạnh cần quan tâm của hệ thống thực. Chính vì vậy mô hình hóa, là để biểu diễn thế giới thực, song bản thân mỗi mô hình cũng cần một ngôn ngữ để mô tả. Ngôn ngữ sử dụng để mô tả một mô hình được gọi là ngôn ngữ mô hình hóa. Một ngôn ngữ mô hình hóa chứa đựng các yếu tố về cú pháp và ngữ nghĩa của một mô hình. Hầu hết các ngôn ngữ mô hình hóa đều dựa trên các yếu tố thông dụng như văn bản, đồ họa, công thức toán học,…Trong mô hình hóa ta sử dụng ngôn ngữ nào? Trước hết, một ngôn ngữ mô hình hóa tốt phải đáp ứng được các yêu cầu như: Đơn giản, trực quan, dễ hiểu, dễ xây dựng; khả năng biểu diễn mạnh; khả năng thực thi cao; sự linh hoạt, nhất quán cho suốt qui trình phát triển công nghệ phần mềm.
Mô hình hóa hệ thống đã trở thành một phương tiện để biểu diễn một hệ thống sử dụng một số kí hiệu đồ họa trong máy hữu hạn trạng thái FSM. Đứng trước sự gia tăng mức độ phức tạp của một hệ thống, việc trực quan hóa của mô hình và mô hình hóa ngày càng hiệu quả trong cách tiếp cận xem xét về một hệ thống. Giúp cho người phân tích hiểu được chức năng của một hệ thống được sử dụng để giao tiếp với khách hàng. Phương pháp mô hình hóa hệ thống được xem như là một tập hợp các khái niệm, quy tắc và thứ tự dùng để biểu diễn một hệ thống khi thực hiện công việc kiểm thử cho hệ thống đó.
Mô hình (Model) là một dạng thức trừu tượng của một hệ thống, được hình thành để hiểu hệ thống trước khi xây dựng hoặc thay đổi hệ thống đó. Mô hình là một dạng trình bày đơn giản hóa của thế giới thực6. Bởi vì, hệ thống thực tế thì rất phức tạp và rộng lớn, có những mức độ phức tạp không cần thiết phải được mô tả và giải quyết. Mô hình cung cấp một phương tiện để quan niệm hóa vấn đề để giúp chúng ta có thể trao đổi các ý tưởng trong một hình thức cụ thể, không mơ hồ. Tuy nhiên, một mô hình cũng có những đặc điểm riêng như: Diễn đạt một mức độ trừu tượng hóa (mức quan niệm, mức tổ chức, mức vật lý,…); Tuân theo một quan điểm; Có một hình thức biểu diễn văn bản, đồ họa, sơ đồ, biểu đồ trạng thái…Cho nên các kỹ thuật mô hình hóa được sử dụng trong phân tích thiết kế để biểu diễn các ngôn ngữ đồ họa, ngôn ngữ văn phạm,…các ngôn ngữ đó gồm một tập hợp các ký hiệu. Mô hình có hai loại: Mô hình tĩnh ( Static model) được xem như là hình ảnh về thông số hệ thống tại một thời điểm xác định. Các mô hình tĩnh được dùng để trình bày cấu trúc hoặc những khía cạnh tĩnh của hệ thống; Mô hình động (dynamic model) được xem như là một tập hợp các hành vi, thủ tục kết hợp với nhau để mô tả hành vi của hệ thống và dùng để biểu diễn sự tương tác của đối tượng để thực hiện công việc trong hệ thống.
Mô hình hóa (Modeling) là thay thế các đối tượng gốc bằng một mô hình nhằm thu nhận các thông tin quan trọng về đối tượng bằng cách tiến hành các thực nghiệm trên mô hình. Việc xây dựng mô hình và nghiên cứu mô hình với mục đích nhằm làm sáng tỏ vấn đề mà chúng ta có thể đưa ra được các lỗi hoặc các thiếu sót của hệ thống từ việc tiếp cận trực quan đồ họa hơn là các dạng trình bày khác như văn bản, đoạn mã,… Hơn nữa, việc mô hình hóa giúp chúng ta dễ dàng hiểu được hệ thống. Mô phỏng được hình ảnh tương tự của hệ thống chính là sự trình bày của mô hình có thể đưa ra được hình ảnh giả lập như hoạt động thực sự của hệ thống thực tế, điều này giúp cho người tiếp cận cảm thấy thuận tiện khi làm việc với mô hình. Để gia tăng khả năng duy trì của hệ thống, nhằm thay đổi các vị trí được xác định trực quan trên mô hình sẽ giúp giảm đi được các lỗi của hệ thống. Chính vì thế mô hình hóa là phương pháp nghiên cứu thực nghiệm trên mô hình của một hiện tượng (quá trình, sự vật…) thay vì nghiên cứu trực tiếp hiện tượng ấy ở dạng tự nhiên. Do đó phải xây dựng mô hình sao cho những kết quả thí nghiệm trên mô hình có thể áp dụng tính toán trên thực tế.
Mô hình trạng thái hữu hạn (FSM) dùng để biểu diễn trạng thái của một đối tượng và thứ tự chuyển tiếp giữa các trạng thái, chuyển đổi từ trạng thái này sang trạng thái khác. Các sự kiện gây nên sự chuyển đổi trạng thái khác.