7.7 Rich Traceability AnalysisThe p

7.7 Rich Traceability Analysis
The presence of satisfaction arguments in rich traceability does not preclude the ability to carry out elementary impact and derivation analysis as described in Chapter 1. Indeed, the arguments add important clues as to the nature of the impact by capturing understanding, or raison-d’être. The propositional structure (and’s and or’s) of the satisfaction arguments offers opportunities for other kinds of analysis. For instance, the structures can be analysed to show the number of degrees of freedom that exist for meeting a particular objective. Take the example of Fig. 7.4. The proposition structure for UR3 can be captured in the expression SR37 or (SR31 and SR41). Using the laws of propositional logic, this can be converted to a special disjunctive form in which each disjunct shows one way of meeting the requirement:

Kết quả (Việt) 1:

7.7 Rich truy tìm nguồn gốc phân tíchSự hiện diện của sự hài lòng của đối số trong truy xuất nguồn gốc phong phú không loại trừ khả năng để thực hiện tác động tiểu học và phân tích derivation như mô tả trong chương 1. Thật vậy, các đối số thêm các manh mối quan trọng như là bản chất của các tác động bằng cách chụp sự hiểu biết, hoặc raison d'être. Cấu trúc propositional (và của và hoặc của) của sự hài lòng đối số cung cấp cơ hội cho các loại phân tích. Ví dụ, các cấu trúc có thể được phân tích để hiển thị số bậc tự do mà tồn tại để đáp ứng một mục tiêu cụ thể. Lấy ví dụ hình 7.4. Cấu trúc đề xuất cho UR3 có thể được chụp trong biểu thức SR37 hoặc (SR31 và SR41). Sử dụng luật pháp của propositional logic, điều này có thể được chuyển đổi sang một hình thức đặc biệt ly phản trong đó mỗi rời rạc cho thấy một cách để đáp ứng các yêu cầu:

Kết quả (Việt) 2:

7,7 Giàu phân tích truy tìm nguồn gốc
Sự hiện diện của các đối số sự hài lòng trong truy xuất nguồn gốc giàu không loại trừ khả năng để thực hiện tiểu tác động và nguồn gốc phân tích như mô tả trong Chương 1. Thật vậy, những lập luận thêm manh mối quan trọng về bản chất của tác động bằng cách bắt sự hiểu biết, hoặc raison-d'être. Cấu trúc mệnh đề (và của và hay của) của các đối số hài lòng cung cấp cơ hội cho các loại phân tích khác. Ví dụ, các cấu trúc có thể được phân tích để hiển thị các số bậc tự do tồn tại để đáp ứng một mục tiêu cụ thể. Lấy ví dụ về hình. 7.4. Cấu trúc đề xuất cho UR3 có thể được chụp trong SR37 biểu hiện hoặc (SR31 và SR41). Sử dụng các định luật của logic mệnh đề, điều này có thể được chuyển đổi sang một hình thức ly tiếp đặc biệt trong đó mỗi bậc hở cho thấy một cách để đáp ứng các yêu cầu sau: