Luận văn sẽ tiếp tục cung cấp một quy trình kiểm thử hoàn chỉnh từ việc tạo mô hình kiểm thử (sử dụng trình cắm thêm UML hoặc trình chỉnh sửa TopCased) tới việc sinh bộ kiểm thử bằng cách kết hợp tiêu chí bao phủ và việc thực hiện kiểm thử tuần tự. Trạng thái hiện tại, ParTeG hỗ trợ tự động tạo phân vùng đầu vào ngay cả đối với nhiều tham số đầu vào tƣơng tác, một số chiến lƣợc tìm kiếm khác nhau, độ ƣu tiên mục tiêu kiểm thử, điều chỉnh mô hình kiểm thử và dẫn xuất của các máy trạng thái cùng với các mối quan hệ kế thừa giữa các lớp.
Một sự so sánh ngắn của ParTeG với các công cụ thƣơng mại khác đã thể hiện rằng ParTeG có thể phát hiện nhiều đột biến hơn hẳn. ParTeG có kế hoạch mở rộng cách tiếp cận đã triển khai trong tƣơng lai. Ví dụ, tạo kiểm thử có thể đƣợc hỗ trợ cho các mô hình khác nhau nhƣ một sự kết hợp của các mô hình đã đƣợc tích hợp (biểu đồ lớp, máy trạng thái) với các biểu đồ tƣơng tác.
Luận văn có kế hoạch nghiên cứu thêm một số dạng khác nhau của bộ dữ liệu kiểm thử đƣợc sinh ra. Trong tƣơng lai, ngƣời dùng có thể tự định nghĩa đƣợc định dạng ca kiểm thử dựa trên một ngôn ngữ lập trình nào đó. Siêu mô hình đƣợc đề xuất để tạo ca kiểm thử có thể đƣợc sử dụng cho mục đích này.
Luận văn mới chỉ xem xét một số phần của các phép toán và biểu thức OCL, có thể thêm các phép toán và biểu thức OCL khác vào phƣơng pháp đƣợc đề xuất. Ví dụ, luận văn có thể đề cập đến các biểu thức tập hợp. Một ý tƣởng khác là xem xét một số các hoạt động và chức năng của AMPL không tồn tại trong OCL. Nhƣng luận văn cần phải xem xét chúng trong các ràng buộc phân tích cú pháp và tạo cây cú pháp trừu tƣợng.
Cuối cùng, luận văn dự định xem xét các biểu đồ trạng thái song song cũng nhƣ các trạng thái lịch sử để mô hình hóa hành vi động của hệ thống.
58
TÀI LIỆU THAM KHẢO
[1] IEEE (2011), Systems and software engineering – Life cycle processes Requirements engineering, ISO/IEC/IEEE.
[2] Ivar Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison Wesley Longman Publishing Co., Inc., 2004.
[3] Alistair Cockburn. Writing Effective Use Cases. Addison-Wesley
Professional, Boston, 1 edition edition, October 2000.
[4] Mark Utting and Bruno Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco,
CA, USA, 2007. ISBN 978-0-12-372501-1 978-0-08-046648-4
[5] Chu Thi Minh Hue, Dang Duc Hanh, Nguyen Ngoc Binh and Le Minh Duc 2018, “USL: Domain-Specific Language for Precise Specification of Use Cases and Its Tranformations”, Informatica, volume 42, pp. 325–343.
[6] Kermeta: Kermeta metaprogramming environment. Vol. 2010. Triskell team
[7] Robert Fourer, David M. Gay and Brian W. Kernighan, A Modeling Language for Mathematical Programming." Management Science 36
(1990) 519-554.
[8] B. Selic, “The pragmatics of model-driven development,” Software, IEEE,
vol. 20, no. 5, pp. 19–25, 2003.
[9] Chu Thi Minh Hue, Dang Duc Hanh, Nguyen Ngoc Binh and Truong Anh Hoang (2019), “USLTG: Test Case Automatic Generation by Transforming Use Cases”, Int. Journal of Software Engineering and Knowledge Engineering, volumne 29, pp. 1313–1345.
[10] Yue, T., Briand, L.C., Labiche, Y.: Automatically Deriving a UML Analysis Model from a Use Case Model. Simula Research Laboratory, Technical Report 2010-15 (2010)
[11] Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe RWTH Aachen, Jim Steel, Didier Vojtisek, 2017, Engineering Modeling Languages-Turning Domain Knowledge into Tools, Taylor &
59
[12] F. Kurth, “Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers,” Master’s thesis, Hamburg University of Technology, Germany, Hamburg, jan
2014.31
[13] Tao Yue, Lionel C. Briand, and Yvan Labiche. Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments.
ACM Trans. Softw. Eng. Methodol., 22(1):5:1–5:38, March 2013. ISSN
1049-331X. URL http://doi.acm.org/10.1145/2430536.2430539.
[14] Shafique, M., Labiche, Y.: A Systematic Review of Model Based Testing Tool Support. Carleton University, Technical Report SCE-10-04
[15] M. Utting, A. Pretschner, and B. Legeard, “A taxonomy of model-based testing approaches,” Software Testing, Verification and Reliability, vol. 22, no. 5, pp. 297–312, 2012.
[16] Stephan Weißleder. ParTeG (Partition Test Generator). http://parteg.sourceforge.net.