tailieunhanh - Lecture Software testing and quality assurance: Lecture 10 - TS. Đào Nam Anh

Lecture "Software testing and quality assurance - Lecture 10: Model-Based testing; model based testing; model based testing; a testing workbench; acceptance test; kiểm thử beta; kiểm thử hệ thống; thống kê kiểm thử;. nội dung chi tiết. | Software Testing and Quality Assurance Model-Based Testing System Test Dr. Dao Nam Anh Faculty of Information Technology University of Technology and Management 1 Resources ► ► ► ► ► ► Pressman, Software Engineering, McGraw Hill (chapter 18 & 19) Sommerville, Software Engineering, Addison-Wesley (chapter 22 & 23) Software Testing and QA Theory and Practics, Chapter 7, WILEY Publish Foundations Of Software Testing, Istqb Certification, Dorothy Graham, Erik Van Veenendaal, Isabel Evans, Rex Black Jovanović, Irena, Software Testing Methods and Techniques Lâm Quang Vũ, 2 N i dung ► Model-Based Testing, ► Security Testing ► Model-Based Testing ► A testing workbench ► Acceptance test ► Ki m th beta ► Ki m th h th ng ► Th ng kê ki m th 3 Model-Based Testing, Security Testing Model-Based Testing: ► Test hư ng mô hình là th h t ng c a ti n trình ki m th hi u qu dùng các mô hình c a yêu c u h th ng và ch c năng riêng bi t. ► Xây d ng mô hình tr ng thái c a ph n m m. T o s ki n/giá tr u vào ng u nhiên cho chương trình. Chương trình ph n h i và chuy n sang tr ng thái m i. Ki m tra cho n khi chương trình n tr ng thái mong mu n. 4 Model-Based Testing, Security Testing Model-Based Testing: ► MBT giúp: tăng hi u năng, gi m chi phí, mô hình hóa hành vi ngư i dùng, c i ti n giao ti p gi a bên phát tri n và bên ki m th , t ng t o các bài test h u ích, t ng c p nh t test, có kh năng ánh giá bài test h i quy. ► Các k thu t th hi n mô hình: b ng quy t nh, FSM, ng pháp (mô t cú pháp), xích Markov (quy trình Markov), statechart, Pertri .