I85PREP
⌘ K
OCSMP Model Builder Intermediate study materials
OCSMP Model Builder Intermediate study resources

OCSMP Model Builder Intermediate practice questions

One question at a time. Build your OCSMP Model Builder Intermediate understanding.

First 50 of 200 questions. Each one lists the choices, the correct answer, and an explanation. The checker at the top of this page saves progress in this browser when it is available.

Continue in the practice tool above to load more questions, 50 at a time.

Question 1Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

In SysML, a Requirement is a classifier stereotyped from which base metaclass?

  1. ConstraintBlock
  2. Class Correct answer.
  3. Association
  4. Dependency

Explanation

The SysML Requirement stereotype applies to the UML Class metaclass, so a requirement is a classifier that can own properties, operations, and nested requirements. This lets requirements participate in composition and generalization like other classifiers.

Question 2Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A modeler wants to express that requirement R2 is a refinement of parent requirement R1 using SysML containment. Which construct is correct?

  1. A generalization arrow from R1 to R2
  2. A dependency from R1 to R2
  3. A composition (black diamond) with R1 as the whole and R2 as the part Correct answer.
  4. A directed association from R2 to R1

Explanation

Requirement containment is modeled as a composite aggregation in which the containing requirement is the whole and the contained requirement is the part. This is the standard way nested requirements are shown on a requirement diagram. Generalization and dependency express different semantics.

Question 3Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

On a requirement diagram, which notation indicates that requirement R3 is derived from requirement R1?

  1. A solid arrow labeled «refine» from R1 to R3
  2. A solid line with a hollow triangle from R3 to R1
  3. A dashed arrow labeled «deriveReqt» from R3 to R1 Correct answer.
  4. A dashed arrow labeled «satisfy» from R1 to R3

Explanation

The «deriveReqt» dependency is drawn as a dashed arrow from the derived requirement to the source requirement. It records traceability showing which requirement gave rise to the derived one. The other notations represent different relationships.

Question 4Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which relationship is used to connect a block to the requirement it fulfills?

  1. «trace»
  2. «allocate»
  3. «verify»
  4. «satisfy» Correct answer.

Explanation

The «satisfy» dependency links a model element, such as a block, to the requirement it meets. It answers the question of which design element fulfills a requirement. Verification is expressed with a different relationship involving test cases.

Question 5Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement's id and text are stored in which SysML requirement properties?

  1. subject and rationale
  2. stereotype and tag
  3. name and documentation
  4. id and text Correct answer.

Explanation

The Requirement stereotype defines an id property for the unique identifier and a text property holding the requirement statement. The name is the classifier name and is distinct from the id. Rationale and subject are separate properties used for other purposes.

Question 6Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which SysML element is used to represent a test case that verifies a requirement?

  1. A ConstraintBlock with a binding connector
  2. A StateMachine with a final state
  3. An Activity with an «optional» parameter
  4. A Class stereotyped «testCase» Correct answer.

Explanation

SysML provides the «testCase» stereotype applied to a Class to represent verification cases. A «verify» dependency then links the test case to the requirement it verifies. This separates verification artifacts from design and constraint elements.

Question 7Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

What does the subject property of a SysML requirement designate?

  1. The element or system to which the requirement applies Correct answer.
  2. The test case that verifies the requirement
  3. The source document from which the requirement was derived
  4. The rationale justifying the requirement

Explanation

The subject property references the element that the requirement constrains or applies to, tying the statement to a specific system or component. It clarifies scope so readers know what the requirement is about. Rationale and verification are captured by other properties and relationships.

Question 8Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

In SysML, which property of a Requirement captures the justification for why the requirement exists?

  1. subject
  2. rationale Correct answer.
  3. text
  4. id

Explanation

The rationale property records the reasoning or justification behind the requirement. It helps reviewers understand intent and supports impact analysis when changes are proposed. The text property holds the actual requirement statement.

Question 9Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A systems engineer wants to state that the braking subsystem must satisfy a stopping-distance requirement, and also wants to show which test case proves it. Which pair of relationships is appropriate?

  1. «satisfy» from the requirement to the subsystem, and «verify» from the requirement to the test case
  2. «deriveReqt» from the subsystem to the requirement, and «trace» from the test case to the requirement
  3. «satisfy» from the subsystem to the requirement, and «verify» from the test case to the requirement Correct answer.
  4. «refine» from the subsystem to the requirement, and «allocate» from the test case to the requirement

Explanation

«satisfy» runs from the design element to the requirement it fulfills, while «verify» runs from the test case to the requirement it verifies. Both arrows point toward the requirement. This keeps the traceable relationships correctly directed.

Question 10Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement is decomposed into three child requirements using containment. Which statement about the children is true?

  1. The children cannot have their own text property
  2. The parent is satisfied when its contained requirements are satisfied, subject to the modeling convention chosen Correct answer.
  3. The children automatically inherit the parent's id property value
  4. Each child must be satisfied by all elements that satisfy the parent

Explanation

Containment expresses that the parent requirement is composed of its children, so satisfying the children generally satisfies the parent, though the exact interpretation is a modeling convention. Each child remains a full requirement with its own properties. Inheritance of id or prohibition of text is not implied.

Question 11Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A modeler needs to capture the equation that a requirement constrains, such as total mass equal to the sum of component masses. Which SysML approach best supports this?

  1. Create a ConstraintBlock with parameters and bind it to value properties Correct answer.
  2. Add an «id» property holding the equation as text
  3. Draw a «verify» dependency to an Activity
  4. Attach a «rationale» comment to the requirement

Explanation

A ConstraintBlock defines an equation with parameters, and binding connectors link those parameters to value properties of the system. This makes the constraint executable and analyzable rather than merely descriptive. Comments and text properties cannot be evaluated.

Question 12Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

On a requirement diagram, requirement R5 contains requirements R6 and R7 and is derived from requirement R2. Which description matches the notation?

  1. A solid diamond at R5 with lines to R6 and R7, plus a solid generalization arrow from R5 to R2
  2. A solid diamond at R5 with lines to R6 and R7, plus a dashed «deriveReqt» arrow from R5 to R2 Correct answer.
  3. A solid diamond at R2 with lines to R6 and R7, plus a dashed «deriveReqt» arrow from R5 to R2
  4. A hollow diamond at R5 with lines to R6 and R7, plus a dashed «deriveReqt» arrow from R2 to R5

Explanation

Composition uses a solid (filled) diamond at the whole, which is R5, with lines to its parts R6 and R7. Derivation is a dashed «deriveReqt» dependency drawn from the derived requirement R5 to its source R2. Both notations are thus correctly combined in the first option.

Question 13Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A team wants to show that a higher-level stakeholder requirement is decomposed into a set of system requirements, and separately that a design block satisfies one of those system requirements. Which combination of relationships is correct?

  1. Generalization for decomposition and «verify» from block to requirement
  2. Containment for decomposition and «satisfy» from block to requirement Correct answer.
  3. Containment for decomposition and «satisfy» from requirement to block
  4. «deriveReqt» for decomposition and «satisfy» from block to requirement

Explanation

Decomposition of a requirement into sub-requirements is expressed by containment (composition), while «satisfy» runs from the design block to the requirement it fulfills. The arrow for «satisfy» points to the requirement, not the block. Derivation is a distinct relationship from containment.

Question 14Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which statement best describes the difference between «deriveReqt» and «refine»?

  1. «deriveReqt» links a block to a requirement, while «refine» links a test case to a requirement
  2. «deriveReqt» links two requirements, while «refine» links a refining element such as a use case or activity to a requirement Correct answer.
  3. «deriveReqt» is a type of composition, while «refine» is a type of generalization
  4. «deriveReqt» and «refine» are synonyms and differ only in stereotype name

Explanation

«deriveReqt» is a dependency between requirements indicating that one is derived from another. «refine» relates a model element, such as an activity or use case, to a requirement it elaborates or clarifies. They serve different traceability purposes.

Question 15Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement diagram shows a test case with a dashed arrow labeled «verify» pointing to a requirement. What does this convey?

  1. The requirement is derived from the test case
  2. The test case verifies the requirement Correct answer.
  3. The test case is contained by the requirement
  4. The requirement satisfies the test case

Explanation

A «verify» dependency runs from the verifying element, here the test case, to the requirement being verified. It records that the test case provides evidence the requirement is met. The arrow direction points at the requirement.

Question 16Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

When a requirement's text refers to a specific parameter such as maximum operating temperature, which SysML feature best links the requirement to that value so it can be analyzed?

  1. A generalization from the requirement to the block
  2. A «trace» dependency to the block
  3. An «id» string containing the numeric limit
  4. A value property on the requirement bound through a constraint or parametric model Correct answer.

Explanation

Requirements can own value properties, and these can be bound to constraint parameters or system value properties for analysis. This makes the numeric limit machine-readable and traceable. Embedding the number in text or an id string prevents automated checking.

Question 17Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement R1 is contained in requirement R0, and block B satisfies R1. Which conclusion is most defensible under standard SysML semantics?

  1. B cannot satisfy R1 because R1 is nested
  2. B satisfies R1, and R0's satisfaction depends on all its contained requirements being met Correct answer.
  3. B necessarily satisfies R0 as well
  4. R0 is automatically derived from B

Explanation

Satisfaction is asserted per requirement, so B satisfies R1 directly. Whether R0 is satisfied depends on all of its contained requirements being met, which is a modeling convention rather than an automatic inference. Nesting does not prevent satisfaction.

Question 18Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which pair of properties distinguishes the requirement statement from its unique traceability key?

  1. name and documentation
  2. rationale and subject
  3. subject and text
  4. text and id Correct answer.

Explanation

The text property holds the requirement statement, while the id property holds the unique identifier used for traceability. Keeping them distinct lets tools and reviewers reference requirements reliably. Name and documentation serve other purposes.

Question 19Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A modeler needs to show that a use case elaborates how a requirement will be realized in behavior. Which relationship should be used?

  1. «deriveReqt»
  2. «allocate»
  3. «refine» Correct answer.
  4. «satisfy»

Explanation

«refine» links a model element such as a use case or activity to the requirement it elaborates or clarifies. It shows how a requirement is realized in more detail without asserting fulfillment. Satisfaction and derivation carry different meanings.

Question 20Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement diagram uses a «copy» dependency between two requirements. What does this indicate?

  1. The client requirement is derived from the supplier through new analysis
  2. The client requirement is verified by the supplier requirement
  3. The client requirement contains the supplier requirement
  4. The client requirement is an exact copy of the supplier requirement's text and is kept consistent with it Correct answer.

Explanation

A «copy» dependency indicates that one requirement reproduces the text of another and should remain consistent with it, typically across model boundaries. It is a form of reuse rather than derivation or containment. Changes to the supplier should propagate to the copy.

Question 21Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

An engineer must model that a requirement applies to a specific subsystem rather than the whole system. Which property should be set to the subsystem?

  1. rationale
  2. id
  3. subject Correct answer.
  4. text

Explanation

The subject property references the element the requirement applies to, so setting it to the subsystem scopes the requirement correctly. This clarifies which part of the system the statement constrains. The other properties serve unrelated purposes.

Question 22Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

In SysML 1.2, a model contains requirement R1 satisfied by blocks A and B, and R1 is contained in R0. A reviewer claims R1 has multiple subjects. Which interpretation is most consistent with SysML?

  1. Containment in R0 prevents R1 from having any subject
  2. Each satisfying block becomes a separate subject, so multiple subjects are expected
  3. The subject must be a test case, so the claim is invalid
  4. Multiple satisfying elements are allowed, but the SysML 1.2 Requirement stereotype defines no subject property Correct answer.

Explanation

In SysML 1.2, a requirement can have multiple «satisfy» relationships, so both A and B may satisfy R1. The Requirement stereotype defines no subject property. Containment in R0 does not introduce such a property, and the satisfying blocks cannot be counted as subjects.

Question 23Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A team models a parent requirement with contained children and also draws «deriveReqt» from each child back to the parent. What is the most accurate assessment?

  1. This is required, because containment alone never conveys traceability
  2. This duplicates semantics, since containment already expresses the parent-child requirement structure and derivation adds a separate claim Correct answer.
  3. This is invalid, because a requirement cannot both contain and be derived from another
  4. This is correct only if the children are test cases

Explanation

Containment already expresses that the children are part of the parent requirement, so adding «deriveReqt» to the same parent asserts a second, distinct relationship. Doing so can be legitimate when derivation genuinely applies, but using it merely to restate containment duplicates semantics. The modeler should decide which relationship reflects the intent.

Question 24Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement R has a value property maxTemp bound through a constraint to a block's value property. During analysis the block value exceeds the limit. What does the model enable the engineer to conclude?

  1. The block automatically satisfies R because a binding exists
  2. The requirement's id must be changed to reflect the new value
  3. The constraint is violated, indicating R is not satisfied by the current design Correct answer.
  4. The «verify» dependency is deleted automatically

Explanation

Binding requirement parameters to constraint parameters lets the model evaluate whether the design meets the limit. If the block value exceeds the bound maximum, the constraint evaluates false, signaling that the requirement is not met. The model does not auto-satisfy or mutate identifiers.

Question 25Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Two requirements R1 and R2 both have the same text but R2 is marked «copy» of R1. A change is made to R1's text. What is the correct modeling expectation?

  1. R2 is automatically deleted because the copy is stale
  2. R2 now verifies R1
  3. R2 becomes a derived requirement and may diverge freely
  4. R2 should be updated to stay consistent with R1, since «copy» implies reproduced text Correct answer.

Explanation

A «copy» dependency means the client reproduces the supplier's text and should remain consistent with it, so changes to R1 should propagate to R2. This differs from «deriveReqt», where the derived requirement may legitimately differ. Copy therefore imposes a consistency obligation.

Question 26Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

In SysML, which requirement property holds the unique identifier used to reference the requirement from other model elements and tools?

  1. source
  2. id Correct answer.
  3. text
  4. risk

Explanation

The id property carries the unique identifier of a requirement so that it can be referenced consistently across the model and external tools. The text property holds the requirement statement itself, not its key.

Question 27Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement's text says the pump shall deliver at least 40 L/min at 20 degrees C. Which SysML construct is designed to hold this quantitative, verifiable statement separately from the informal text?

  1. A «trace» dependency to the pump block
  2. A constraint property owned by a block, with its parameters bound to the value properties Correct answer.
  3. A «refine» dependency from the requirement to a block
  4. A comment attached to the requirement with the numeric limit

Explanation

A constraint block can express the flow-rate condition, and a block can use it through a constraint property. Its parameters can be bound to relevant value properties in a parametric diagram. In SysML 1.2, the requirement itself cannot own that constraint property because its ownedAttribute must be empty.

Question 28Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which SysML relationship is used to connect a requirement to the design element that fulfills its intent, such as a block that implements it?

  1. «satisfy» Correct answer.
  2. «allocate»
  3. «verify»
  4. «deriveReqt»

Explanation

The «satisfy» dependency asserts that a model element, typically a block or part, meets the requirement. It is the standard way to link requirements to design elements in a requirements diagram.

Question 29Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement is given the stereotype «rationale» via a comment attached by a «rationale» dependency. What does this attachment convey?

  1. The block that satisfies the requirement
  2. The reasoning that justifies the existence or wording of the requirement Correct answer.
  3. The version of the requirement in the baseline
  4. The test procedure used to verify the requirement

Explanation

The «rationale» dependency attaches a comment explaining why the requirement exists or why it is stated as it is. It is documentation of intent, not verification or satisfaction information.

Question 30Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A modeler wants a requirement to state that it applies to the vehicle's braking subsystem rather than the entire vehicle. Which requirement property is intended to carry this scope information?

  1. The subject property typed by the subsystem block Correct answer.
  2. The source property
  3. The risk property
  4. The id property

Explanation

The subject property of a requirement designates the system or subsystem the requirement constrains. Typing it with the braking subsystem block scopes the requirement to that element.

Question 31Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which pair of requirement properties is used to record the origin of a requirement and its assessed criticality, respectively?

  1. id and text
  2. source and risk Correct answer.
  3. risk and id
  4. text and source

Explanation

The source property records where the requirement came from, such as a stakeholder or document, while risk records the assessed risk or criticality. Together they support traceability and prioritization.

Question 32Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which SysML relationship should be used when a lower-level requirement is mathematically or logically derived from a higher-level requirement?

  1. «copy»
  2. «satisfy»
  3. «verify»
  4. «deriveReqt» Correct answer.

Explanation

«deriveReqt» records that one requirement is derived from another, supporting hierarchical requirement decomposition with traceability. It is distinct from satisfaction and verification links.

Question 33Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement is decomposed into child requirements by containment. A reviewer asks how the children relate to the parent's text. What is the correct SysML interpretation?

  1. The children have no requirement text and exist only as containers
  2. The children inherit the parent's text verbatim and may not add their own
  3. Each child states its own requirement text; the parent's text is not automatically the union of the children Correct answer.
  4. The parent's text is automatically replaced by the concatenation of the child texts

Explanation

Containment is a structural decomposition; each contained requirement has its own independent text and properties. SysML does not automatically compose the parent text from the children.

Question 34Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which relationship type is used to link a requirement to a use case or activity that elaborates how the requirement will be realized?

  1. «refine» Correct answer.
  2. «satisfy»
  3. «copy»
  4. «deriveReqt»

Explanation

«refine» links a requirement to a model element, such as a use case or activity, that elaborates or details it. It shows how the requirement is realized behaviorally rather than asserting fulfillment.

Question 35Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement R2 is marked as a «copy» of requirement R1. Which statement describes the intended semantics of this link?

  1. R2 verifies R1 through a test case
  2. R2 mirrors the text of R1 and is expected to stay consistent with it Correct answer.
  3. R2 satisfies R1 as a design element
  4. R2 is a derived requirement that may diverge freely from R1

Explanation

The «copy» dependency indicates that the copying requirement mirrors the master requirement's text and should remain consistent with it. It is a reuse mechanism, not a derivation or verification link.

Question 36Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which SysML element is used to represent the test case or verification activity that checks whether a requirement is met?

  1. A comment linked to the requirement by a «rationale» dependency
  2. A value property owned by the requirement
  3. A test case linked to the requirement by a «verify» dependency Correct answer.
  4. A block linked to the requirement by a «satisfy» dependency

Explanation

Verification is modeled by linking a test case to a requirement with a «verify» dependency. This records which verification element checks that requirement.

Question 37Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement diagram shows requirement R3 with a dashed arrow labeled «deriveReqt» pointing to requirement R1. What does this convey?

  1. R3 is a copy of R1 and mirrors its text
  2. R3 is derived from R1 and traces back to it Correct answer.
  3. R3 satisfies R1 as an implementation element
  4. R1 is derived from R3 and traces back to it

Explanation

The arrow direction in «deriveReqt» runs from the derived requirement to its source, so R3 is derived from R1. This preserves upward traceability to the originating requirement.

Question 38Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A modeler must express that a requirement constrains a quantity such as total mass equal to the sum of component masses. Which SysML construct best captures this?

  1. A constraint property on the requirement with parameters bound to value properties Correct answer.
  2. A «rationale» comment stating the equation
  3. A text property containing the equation as prose
  4. A «trace» dependency to each component block

Explanation

A constraint property on the requirement holds a formal expression whose parameters bind to value properties, making the requirement computable and verifiable. Prose or comments cannot be evaluated by a solver.

Question 39Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement R has a constraint property whose parameter is bound to a block's value property. During analysis the block's value changes and violates the constraint. What does this indicate?

  1. The requirement text must be rewritten to match the block
  2. The requirement is not satisfied by the current design values Correct answer.
  3. The «deriveReqt» link to the parent is invalid
  4. The block no longer owns the value property

Explanation

When bound parameters violate the requirement's constraint, the design does not currently satisfy the requirement. This is the intended use of constraint-based requirements for verification.

Question 40Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A higher-level stakeholder requirement is decomposed into system requirements, and each system requirement must be traceable back to the stakeholder requirement. Which relationship best captures this traceability?

  1. «satisfy» from each system requirement to the stakeholder requirement
  2. «deriveReqt» from each system requirement to the stakeholder requirement Correct answer.
  3. «verify» from each system requirement to the stakeholder requirement
  4. «copy» from each system requirement to the stakeholder requirement

Explanation

«deriveReqt» records that the system requirements originate from the stakeholder requirement, providing upward traceability. Satisfaction and verification links connect requirements to design or test elements instead.

Question 41Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which statement best distinguishes the intent of «deriveReqt» from «refine»?

  1. «deriveReqt» and «refine» are synonyms and may be used interchangeably
  2. «deriveReqt» links a requirement to a design block, while «refine» links it to a test case
  3. «deriveReqt» links a requirement to a test case, while «refine» links it to a design block
  4. «deriveReqt» links a requirement to a source requirement, while «refine» links a requirement to an element that elaborates it Correct answer.

Explanation

«deriveReqt» expresses requirement-to-requirement origin, whereas «refine» links a requirement to any element that elaborates or details it, often behavior. They answer different traceability questions and are not interchangeable.

Question 42Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A reviewer claims a requirement has multiple subjects because it is satisfied by two blocks. Which correction is most defensible?

  1. Each satisfying block adds a subject, so the claim is correct
  2. The subject is determined by the number of «verify» links
  3. The subject is the parent requirement in the containment tree
  4. The subject is the single element the requirement constrains; multiple satisfying blocks do not create multiple subjects Correct answer.

Explanation

The subject property designates the element the requirement applies to and is independent of how many elements satisfy it. Multiple «satisfy» links describe alternative or partial fulfillers, not additional subjects.

Question 43Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement diagram shows a test case with a dashed arrow labeled «verify» pointing to a requirement. What is being asserted?

  1. The test case mirrors the requirement's text
  2. The test case checks whether the requirement is met Correct answer.
  3. The test case satisfies the requirement as a design element
  4. The test case is derived from the requirement

Explanation

A «verify» dependency from a test case to a requirement asserts that the test case verifies the requirement. It establishes the verification link used for coverage analysis.

Question 44Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which requirement property distinguishes the requirement statement itself from the unique key used for traceability?

  1. id versus source
  2. risk versus text
  3. source versus risk
  4. text versus id Correct answer.

Explanation

The text property holds the requirement statement, while the id property holds the unique key used for referencing and traceability. The other pairs involve origin and criticality metadata.

Question 45Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A parent requirement contains three child requirements, and the modeler also draws «deriveReqt» from each child to the parent. What is the effect of adding these derivation links?

  1. They replace the containment relationship and remove the children from the parent
  2. They make the children copies of the parent text
  3. They explicitly record that each child originates from the parent, complementing the containment hierarchy Correct answer.
  4. They assert that the children satisfy the parent as design elements

Explanation

Containment expresses structural decomposition, while «deriveReqt» expresses origin traceability. Using both is valid and documents that the children are derived from the parent without changing the containment.

Question 46Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which stereotype is applied to a comment to record why a requirement exists, and how is that comment attached to the requirement?

  1. «verify», attached by a «verify» dependency
  2. «copy», attached by a «copy» dependency
  3. «rationale», attached by an ordinary comment link Correct answer.
  4. «refine», attached by a «refine» dependency

Explanation

A comment stereotyped «rationale» documents the justification for a requirement. It attaches to the requirement through the ordinary UML comment mechanism, annotating that requirement. SysML does not define a «rationale» dependency; the other listed stereotypes express verification, copying or elaboration.

Question 47Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement's source property is empty and its risk property is high. Which statement about the requirement's metadata is correct?

  1. Its unique identifier is missing while its text is complete
  2. Its constraint is unbound while its rationale is recorded
  3. Its subject is undefined while its verification is complete
  4. Its origin is undocumented while its criticality is recorded as high Correct answer.

Explanation

The source property records origin or authority, so an empty source means the origin is undocumented. The risk property records criticality, so a high value indicates high assessed risk.

Question 48Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A requirement R1 is contained in R0 and is satisfied by block B. A reviewer asks whether B also satisfies R0. What is the correct conclusion?

  1. B satisfies R0 only if R1 is marked «copy» of R0
  2. B satisfies R0 automatically because R1 is contained in R0
  3. Satisfaction of a contained requirement does not automatically imply satisfaction of the containing requirement Correct answer.
  4. B satisfies R0 only if a «verify» link exists from R1 to R0

Explanation

Containment is a structural decomposition and does not propagate satisfaction upward. Each requirement must be satisfied or verified in its own right, so satisfying R1 does not by itself satisfy R0.

Question 49Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

Which SysML construct should be used to state a requirement's textual statement in a form that is visible on a requirement diagram?

  1. A «trace» dependency to a block
  2. A value property on the requirement
  3. The text property of the requirement Correct answer.
  4. A «satisfy» dependency from the requirement

Explanation

The text property holds the requirement statement and is displayed in the requirement compartment on a requirement diagram. Other constructs carry traceability, quantities, or fulfillment links rather than the statement.

Question 50Requirements modeling with the full SysML feature set (detailed and precise requirements modeling)

A modeler wants to show that a derived requirement R2 depends on a source requirement R1 and also that a test case T verifies R2. Which combination of relationships is correct?

  1. «deriveReqt» from R2 to R1 and «verify» from T to R2 Correct answer.
  2. «copy» from R2 to R1 and «satisfy» from T to R2
  3. «deriveReqt» from R1 to R2 and «verify» from R2 to T
  4. «satisfy» from R2 to R1 and «verify» from R2 to T

Explanation

Derivation runs from the derived requirement to its source, so «deriveReqt» goes from R2 to R1. Verification runs from the test case to the requirement, so «verify» goes from T to R2.