Method to specify software functional requirements for system test case generation

In this paper, we propose the next version of Use-case Specification Language (USL) that allows us to formally specify each use case at the user's requirement level with a single model, and without using the detailed use case design. We also propose a formal specification method for the functional requirements. The formal requirement specification can be used to automatically generate system level test cases. |

Trọng Nhân 88 8 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Non-functional requirement-based service ranking and selection

6 54 0

Method to specify software functional requirements for system test case generation

8 71 1

Luận văn Thạc sĩ Công nghệ phần mềm: Nghiên cứu ngôn ngữ đặc tả yêu cầu theo hướng chuyên biệt miền

46 92 0

Rewriting the transcriptome: Adenosine-toinosine RNA editing by ADARs

13 149 2

Lecture Software Engineering: Lesson 4 - Fakhar Lodhi

24 39 1

TÀI LIỆU XEM NHIỀU

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh

13 40683 2394

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 24803 248

31 Câu hỏi ôn tập môn Chủ nghĩa xã hội khoa học

25 24271 4267

Tiểu luận: Vai trò của Nguyễn Ái Quốc đối với việc thành lập Đảng Cộng sản Việt Nam

16 19889 2839

Tiểu luận Tình huống xử lý sai phạm trong thanh toán công tác phí lưu động

20 19383 1542

Bảng biến đổi Laplace và biến đổi Z

1 19132 612

100 câu hỏi trắc nghiệm Triết học Mác-Lênin kèm đáp án

14 19108 2965

Ebook Ôn luyện tiếng Anh 9 có đáp án: Phần 2 - Mai Lan Hương, Hà Thanh Uyên

37 16023 2956

Đề thi và Đáp án môn Tiếng Việt thực hành - ĐH SPKT TP.HCM

3 15744 326

Sự so sánh văn bản văn học và tác phẩm văn học

1 14457 131

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Luận văn Thạc sĩ Khoa học môi trường: Nghiên cứu tính bền vững của mô hình sản xuất chè an toàn tại xã Tân Cương, thành phố Thái Nguyên

85 57 1 27-04-2024

Disability and the risk of subsequent mortality in elderly: A 12-year longitudinal population-based study

9 66 1 27-04-2024

Nâng cao hiệu quả quản lý nhà nước đối với doanh nghiệp trên địa bàn thành phố Hồ Chí Minh, thực trạng và giải pháp - Hội thảo khoa học quốc gia: Phần 2

145 120 1 27-04-2024

Bảo tồn và phát huy các giá trị di sản kiến trúc Pháp tại thành phố Hồ Chí Minh

5 321 1 27-04-2024

Kết quả phẫu thuật dẫn lưu ra ngoài kết hợp alteplase não thất điều trị chảy máu não thất tại Bệnh viện Trung ương Thái Nguyên

11 71 1 27-04-2024

Advanced Algorithms Analysis and Design - Lecture 14: Designing algorithms using Divide & Conquer approach

43 273 1 27-04-2024

100 bài tập trắc nghiệm chuyên đề câu điều kiện có đáp án

10 371 2 27-04-2024

Applying the Equivalent Plane Strain solution to design the soft soil improvement by vertical drains

10 69 1 27-04-2024

Sáng kiến kinh nghiệm THPT: Một số giải pháp nâng cao trách nhiệm của học sinh trường THPT miền núi về bảo vệ biên giới quốc gia với nước Cộng hòa dân chủ nhân dân Lào

27 226 6 27-04-2024

Bài giảng Xây dựng mặt đường ô tô - Chương 4: Mặt đường đất đá gia cố chất kết dính vô cơ

140 247 6 27-04-2024

Comprehensive analysis of the prognosis and immune infiltration landscape of RNA methylation-related subtypes in pancreatic cancer

19 64 1 27-04-2024

Đặc điểm lâm sàng các bệnh nhân đột quỵ nhồi máu não điều trị tại khoa Y học cổ truyền Bệnh viện Bạch Mai năm 2020 và một số yếu tố liên quan

5 153 1 27-04-2024

Bài giảng Quản trị tài chính nâng cao (Advanced financial management) - Chương 1: Tổng quan về quản trị tài chính nâng cao

10 573 2 27-04-2024

Ebook Hội đồng Lý luận Trung ương - Dấu ấn một phần tư thế kỷ

198 281 3 27-04-2024

Luận văn Thạc sĩ Quản lý giáo dục: Quản lý hoạt động giáo dục chính trị cho học viên trường Cao đẳng An ninh nhân dân I trong bối cảnh hiện nay

135 358 1 27-04-2024

Giáo trình Bảo dưỡng sửa chữa hệ thống nhiên liệu Diesel (Nghề: Công nghệ ô tô - Cao đẳng): Phần 2 - Trường Cao đẳng Kiên Giang

43 114 8 27-04-2024

Kiến nghị hoàn thiện pháp luật về tổ chức hành nghề luật sư theo luật luật sư

8 83 1 27-04-2024

Triết lý giáo dục - Kim chỉ nam cho việc xây dựng chương trình

11 60 1 27-04-2024

Giáo trình Bảo dưỡng và sửa chữa hệ thống phân phối khí (Nghề: Công nghệ ô tô) - Trường TCN Kỹ thuật công nghệ Hùng Vương

70 70 1 27-04-2024

Analysis of risk factors associated with acute respiratory infections among under-five children in Uganda

10 79 1 27-04-2024

TÀI LIỆU HOT

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 24803 248

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh

13 40683 2394

CẬP NHẬT KINH TẾ VĨ MÔ VIỆT NAM 6 tháng đầu năm 2020

3 2722 81

Sách trắng Doanh nghiệp Việt Nam năm 2020

580 4994 363

Việt Nam 2035 hướng tới thịnh vượng, sáng tạo, công bằng và dân chủ

584 3293 100

BÀI GIẢNG DỰNG HÌNH SKETCHUP 2020 BIÊN SOẠN : GV.KTS PHAN THỨC

62 6583 1

GIÁO TRÌNH TIẾNG ANH ENG BREAKING

171 5637 718

Quản trị khủng hoảng trong quan hệ công chúng

2 3074 78

Báo cáo thực tập chuyên ngành: Nghiên cứu, thiết kế, mô phỏng robot công nghiệp

51 4394 200

Đề tài “ Cân đối ngân sách nhà nước- thực trạng và hướng hoàn thiện”

53 4691 188