1. Trang chủ
  2. » Luận Văn - Báo Cáo

(Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng

68 0 0
Tài liệu đã được kiểm tra trùng lặp

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 68
Dung lượng 1,12 MB

Cấu trúc

  • 2.1. Giãi thiáu ch¤¢ng (12)
  • 2.2. ĐÁc tÁ yêu cầu và đÁc tÁ ca są dāng (0)
    • 2.2.1. Đặc tả yêu cầu chức năng và phi chức năng (12)
    • 2.2.2. Đặc tả ca sử dụng (13)
  • 2.3. KiÇm thą dāa trên mô hình (0)
    • 2.3.1. Tổng quan kiểm thử dựa trên mô hình (16)
    • 2.3.2. Đặc tả ca kiểm thử (18)
  • 2.4. Kỹ nghá h¤ãng mô hình (0)
    • 2.4.1. Chuyển đổi mô hình (19)
    • 2.4.2. Các ràng buộc siêu mô hình UML/OCL (20)
    • 2.4.3. Ngôn ngữ Kermeta (21)
    • 2.4.4. Ngôn ngữ lập trình toán học AMPL (22)
  • 2.5. Tổng kÃt ch¤¢ng (0)
  • CHÊĂNG 3: PHÊĂNG PHÁP SINH TĀ ĐàNG CÁC CA KIặM THĄ TĂ ĐÀC TÀ CA SĄ DĀNG (0)
    • 3.1. Giãi thiáu ch¤¢ng (24)
    • 3.2. Tổng quan ph¤¢ng pháp (25)
    • 3.3. ĐÁc tÁ ca są dāng (0)
      • 3.3.1. Khuôn mẫu RUCM (27)
      • 3.3.2. Luật giới hạn sử dụng ngôn ngữ tự nhiên (29)
      • 3.3.3. Luật giới hạn sử dụng các từ khóa (32)
      • 3.3.4. Đặc tả ca sử dụng bằng RUCM (33)
    • 3.4. ChuyÇn đổi đÁc tÁ ca są dāng sang biÇu đồ tr¿ng thái (0)
      • 3.4.1. Siêu mô hình UCMeta (35)
      • 3.4.2. Luật chuyển đổi (36)
    • 3.5. Ph¤¢ng pháp sinh tā đáng các ca kiÇm thą (43)
      • 3.5.1. Chuẩn hóa mục tiêu kiểm thử (44)
      • 3.5.2. Quy hoạch toán học (45)
        • 3.5.2.1. Chuyển đổi các biến của mô hình kiểm thử thành các biến AMPL (45)
        • 3.5.2.2. Chuyển đổi tiền điều kiện của chuyển tiếp trên máy trạng thái sang (47)
        • 3.5.2.3. Chuyển đổi hậu điều kiện của chuyển tiếp trên máy trạng thái sang (47)
        • 3.5.2.4. Thêm các ràng buộc có tính liên tục vào mô hình AMPL (47)
        • 3.5.2.5. Chuyển đổi trạng thái bất biến thành ràng buộc AMPL (48)
      • 3.5.3. Sinh ca kiểm thử trừu tượng và dữ liệu kiểm thử cụ thể (48)
        • 3.5.3.1. Phát hiện đường dẫn khả thi (50)
        • 3.5.3.2. Sự khởi động nóng (51)
        • 3.5.3.3. Phân tích giá trị biên (52)
      • 3.5.4. Sinh ca kiểm thử đơn vị (52)
    • 3.6. Tổng kÃt ch¤¢ng (0)
    • 4.1. Giãi thiáu ch¤¢ng (54)
    • 4.2. Cụng cā hò trÿ (54)
      • 4.2.1. Giới thiệu công cụ (54)
      • 4.2.2. Đánh giá kết quả (59)
        • 4.2.2.1. Tỷ lệ hài lòng của mục tiêu kiểm thử (60)
        • 4.2.2.2. Độ bao phủ mã nguồn (60)
        • 4.2.2.3. Phân tích giá trị biên (61)
    • 4.3. Thāc nghiám (62)
    • 5.1. Các đóng góp cÿa luÁn văn (65)
    • 5.2. H¤ãng phát triÇn (66)
  • BÁng 2.2: Cấu trúc ca kiÇm thą (0)
  • BÁng 3.1: Khuôn m¿u cÿa RUCM (0)
  • BÁng 3.2: Bá luÁt giãi h¿n cÿa RUCM (R1 – R7) (0)
  • BÁng 3.3: Bá luÁt giãi h¿n cÿa RUCM (R8 – R16) (0)
  • BÁng 3.4: Bá luÁt giãi h¿n cÿa RUCM (R17-R26) (0)
  • BÁng 3.5: Ca są dāng Disconnect (0)
  • BÁng 3.6: Tóm tÃt các luÁt biÃn đổi (0)
  • BÁng 3.7: Cỏc toỏn tą đÔÿc hò trÿ trong viỏc đònh nghĩa ràng buỏc OCL (0)
  • BÁng 4.1: So sánh ParTeG vãi các công cā th¤¢ng m¿i (0)
  • BÁng 4.2: Tỷ lá đáp āng māc tiêu kiÇm thą cÿa ParTeG (0)
  • BÁng 4.3: Báo cáo vÅ đá bao phÿ mã nguồn cÿa ParTeG (0)
  • BÁng 4.4: ĐÁc tÁ bài toán są dāng đÇ đánh giá ParTeG (0)
  • BÁng 4.5: Ví dā đÁc tÁ ca są dāng theo khuôn m¿u RUCM (0)

Nội dung

ĐÁc tÁ yêu cầu và đÁc tÁ ca są dāng

Đặc tả yêu cầu chức năng và phi chức năng

Yêu cầu có thÇ đ¤ÿc hiÇu là nhÿng phát biÇu mong muán (prescriptive statements) dùng đÇ thÇ hián mát nhu cầu są dāng và các ràng buác, điÅu kián liên quan cÿa nó Tài liáu đÁc tÁ yêu cầu thÇ hián các yêu cầu phần mÅm d¤ãi mỏt d¿ng cā thầ, hò trÿ cho quỏ trỡnh giao tiÃp, sao chộp, lÔu trÿ Tài liỏu đÁc tÁ yờu cầu cần phÁi đÅ cÁp đÃn māc tiờu và ph¿m vi cÿa phần mÅm, vói cỏc diòn đ¿t vÅ nhÿng viác mà phần mÅm sÁ làm, nhÿng lÿi ích, đái t¤ÿng và māc đích mà phần mÅm đ¤ÿc āng dāng Ngoài nhÿng trình bày vÅ các yêu cầu, tài liáu đÁc tÁ yêu cầu cũng cần cung cấp nhÿng thông tin khác nh¤ h¿n chà cÿa phần mÅm, các lá thuác bên ngoài có thÇ Ánh h¤ởng tãi yêu cầu, giao dián giao tiÃp, bá nhã, các chuẩn dÿ liáu và thÿ tāc đ¤ÿc są dāng

Có thÇ chia yêu cầu thành hai lo¿i: yêu cầu chāc năng và yêu cầu phi chāc năng Trong kỹ thuÁt phần mÅm, mát yêu cầu phi chāc năng là mát yêu cầu phần mÅm đÔÿc są dāng khụng phÁi đầ diòn tÁ phần mÅm sÁ làm gỡ, mà sÁ diòn tÁ phần mÅm sÁ làm điÅu đó nh¤ thà nào Yêu cầu phi chāc năng có nhiÅu thành phần, trong đó có thÇ kÇ đÃn các yêu cầu vÅ hiáu năng phần mÅm, yêu cầu giao dián bên ngoài, các ràng buác thiÃt kà phần mÅm, các thuác tính đánh giá chất lÔÿng phần mÅm Cỏc yờu cầu phi chāc năng thÔồng rất khú đầ kiầm chāng, vỡ vÁy nờn chỳng thÔồng đÔÿc đỏnh giỏ chÿ quan Yờu cầu phi chāc năng cú vai trò quan tráng đái vãi chất l¤ÿng phần mÅm, Ánh h¤ởng trāc tiÃp đÃn tính nhất quỏn cÿa phần mÅm và mācđỏ thòa món cÿa ngÔồi są dāng

Ng¤ÿc l¿i vãi yêu cầu phi chāc năng là các yêu cầu chāc năng Yêu cầu chāc năng nÃm bÃt nhÿng hành vi dā kiÃn cÿa há tháng Nhÿng hành vi này có thầ đÔÿc thầ hiỏn dÔói d¿ng dòch vā, tỏc vā hoÁc chāc năng mà hỏ thỏng đÔÿc yêu cầu thāc hián Các yêu cầu chāc năng có thÇ liên quan đÃn tính toán, chi tiÃt kỹ thuÁt, điÅu chỉnh và xą lý dÿ liáu, và các chāc năng cā thÇ khác đÇ mô tÁ chi tiÃt nhÿng māc tiêu cÿa há tháng Các yêu cầu chāc năng và các yêu cầu phi chāc năng thÔồng hò trÿ l¿n nhau, giỳp ỏp đÁt cỏc ràng buỏc đỏi vói thiÃt kà hoÁc triÇn khai, đÁm bÁo nhÿng yêu cầu vÅ hiáu suất, bÁo mÁt hoÁc đá tin cÁy.

Đặc tả ca sử dụng

Ca są dāng (use case) là tài liáu mô tÁ tă đầu đÃn cuái hành vi cÿa há tháng tă gúc nhỡn cÿa ngÔồi dựng [2] Ca są dāng mụ tÁ sā tÔÂng tỏc đÁc trÔng giÿa ngÔồi dựng (actor) và hỏ thỏng (system) Mòi ca są dāng sÁ mụ tÁ cỏch thāc ngÔồi dựng tÔÂng tỏc vói hỏ thỏng nhằm đ¿t đÔÿc māc tiờu nhất đònh nào đú Ngoài ra, ca są dāng cũng xỏc đònh trỡnh tā cỏc bÔóc mụ tÁ mỏi tÔÂng tỏc giÿa ngÔồi dựng và hỏ thỏng Tuy nhiờn, ca są dāng đÔÿc đònh nghĩa theo thuÁt ngÿ cÿa ngÔồi dựng, khụng phÁi cÿa hỏ thỏng, mụ tÁ nhÿng gỡ mà ngÔồi dựng làm và ngÔồi dựng nhỡn thấy hÂn là nhÿng gỡ đầu vào hỏ thỏng mong đÿi và đầu ra cÿa há tháng là gì. ĐÁc tÁ ca są dāng (use case specification) [3] tồn t¿i d¤ãi d¿ng mát bÁng ghi chú mô tÁ các thông tin vÅ ca są dāng, bao gồm các thành phần sau:

- Use Case Name: tên ca są dāng.

- Use Case ID: mã ca są dāng.

- Use Case Description: mô tÁ sā t¤¢ng tác đ¤ÿc thÇ hián trong ca są dāng.

- Actor: đái t¤ÿng thāc hián sā t¤¢ng tác trong ca są dāng.

- Priority: māc đá ¤u tiên cÿa ca są dāng so vãi các ca są dāng còn l¿i.

- Trigger: điÅu kián kích ho¿t ca są dāng xÁy ra.

- Pre-condition: điÅu kián cần đÇ ca są dāng thāc hián thành công.

- Post-condition: nhÿng thā sÁ xuất hián sau khi ca są dāng đ¤ÿc thāc hián thành công

- Basic Flow: luồng t¤¢ng tác chính giÿa các tác nhân và há tháng

- Alternative Flow: luồng t¤¢ng tác thay thà giÿa các tác nhân và há tháng

- Exeption Flow: luồng t¤¢ng tác ngo¿i lá giÿa các tác nhân và há tháng.

- Business Rule: quy đònh vÅ nghiỏp vā mà hỏ thỏng bÃt buỏc phÁi theo

- Non-funtional Requirement: vì ca są dāng chỉ dùng đÇ thÇ hián yêu cầu chāc năng nên các yêu cầu phi chāc năng (nÃu có) cần đ¤ÿc bổ sung ở đây.

Biầu đồ ca są dāng (use case diagram) biầu diòn bằng hỡnh Ánh vÅ cỏc hành vi cÿa ngÔồi dựng vói hỏ thỏng, cỏch ngÔồi dựng tÔÂng tỏc vói hỏ thỏng Nú chỉ ra luồng đi tă ho¿t đáng này sang ho¿t đáng khác trong mát há tháng Nó đÁc biát quan tráng trong viác xây dāng mô hình chāc năng cÿa há tháng và nhấn m¿nh tói viỏc chuyần đổi quyÅn kiầm soỏt giÿa cỏc đỏi tÔÿng ngÔồi dựng.

Hình 2.1 và BÁng 2.1 là ví dā đ¢n giÁn nhất vÅ đÁc tÁ ca są dāng, đó là ca są dāng

Ngày đăng: 14/05/2024, 17:03

Xem thêm

HÌNH ẢNH LIÊN QUAN

Hình 2.1 và BÁng 2.1 là v í dā đ¢n giÁn nhất vÅ đÁc tÁ ca są dāng, đó là ca są dāng <Đăng nhÁp= vào āng dāng quÁn lý nhân sā cÿa công ty LG Electronic - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 2.1 và BÁng 2.1 là v í dā đ¢n giÁn nhất vÅ đÁc tÁ ca są dāng, đó là ca są dāng <Đăng nhÁp= vào āng dāng quÁn lý nhân sā cÿa công ty LG Electronic (Trang 14)
Hỡnh 2.2 : Cài đÁt MBT thụng thÔồng. - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
nh 2.2 : Cài đÁt MBT thụng thÔồng (Trang 17)
Hình 2.3 : Ví dā quy trình kiÇm thą dāa trên mô hình. - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 2.3 Ví dā quy trình kiÇm thą dāa trên mô hình (Trang 17)
Hình 3.1 : Qui trình t¿o các ca kiÇm thą tă mô hình ca są dāng . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 3.1 Qui trình t¿o các ca kiÇm thą tă mô hình ca są dāng (Trang 25)
Hình 3.4 : Mái quan há Include và Extend giÿa các ca są dāng . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 3.4 Mái quan há Include và Extend giÿa các ca są dāng (Trang 42)
Hình 3.5: P hân lo¿i các cách tiÃp cÁn MBT khác nhau . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 3.5 P hân lo¿i các cách tiÃp cÁn MBT khác nhau (Trang 43)
Hình 3.6 : Cấu trúc dÿ liáu cho viác l¤u trÿ dÿ liáu . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 3.6 Cấu trúc dÿ liáu cho viác l¤u trÿ dÿ liáu (Trang 46)
Hỡnh 3.7 : Mụ tÁ đÔồng đi khÁ thi (infeasible path detection) . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
nh 3.7 : Mụ tÁ đÔồng đi khÁ thi (infeasible path detection) (Trang 51)
Hỡnh 3.8 : Siờu mụ hỡnh kiầm thą đÂn vò . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
nh 3.8 : Siờu mụ hỡnh kiầm thą đÂn vò (Trang 53)
Hình 4.2: Gia o dián máy tr¿ng thái trong ParT eG. - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.2 Gia o dián máy tr¿ng thái trong ParT eG (Trang 55)
Hình 4.1: Cấu trúc đầu vào cÿa ParTeG. - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.1 Cấu trúc đầu vào cÿa ParTeG (Trang 55)
Hình 4.3 . Ví dā máy tr¿ng thái đ¤ÿc sinh ra d¤ãi d¿ng biÇu đồ. - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.3 Ví dā máy tr¿ng thái đ¤ÿc sinh ra d¤ãi d¿ng biÇu đồ (Trang 56)
Hình 4.4 : Giao dián sinh ca kiÇm thą tă s¢ đồ máy tr¿ng thái bằng ParTeG . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.4 Giao dián sinh ca kiÇm thą tă s¢ đồ máy tr¿ng thái bằng ParTeG (Trang 58)
Hình 4.5 : Các tính năng cÿa ParTeG . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.5 Các tính năng cÿa ParTeG (Trang 58)
Hình 4.6: BiÇu đồ máy tr¿ng thái đÇ phân lo¿i mát tam giác . - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.6 BiÇu đồ máy tr¿ng thái đÇ phân lo¿i mát tam giác (Trang 63)
Hình 4.6 là biÇu đồ máy tr¿ng thái cÿa bài toán phân lo¿i d¿ng cÿa mát tam giác (tam giỏc thÔồng, tam giỏc cõn, tam giỏc đÅu). - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.6 là biÇu đồ máy tr¿ng thái cÿa bài toán phân lo¿i d¿ng cÿa mát tam giác (tam giỏc thÔồng, tam giỏc cõn, tam giỏc đÅu) (Trang 63)
Hình 4.7: Giao dián t¿o các ca kiÇm thą cÿa ParTeG. - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.7 Giao dián t¿o các ca kiÇm thą cÿa ParTeG (Trang 64)
Hình 4.8 là g iao dián ca kiÇm thą đ¤ÿc sinh ra sau khi thāc hián ch¿y sinh tā đáng tă công cā ParTeG - (Luận Văn Thạc Sĩ Kỹ Thuật Phần Mềm) Phương Pháp Sinh Tự Động Các Ca Kiểm Thử Từ Đặc Tả Ca Sử Dụng
Hình 4.8 là g iao dián ca kiÇm thą đ¤ÿc sinh ra sau khi thāc hián ch¿y sinh tā đáng tă công cā ParTeG (Trang 64)

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN