In mutation testing, what does it mean for mutant A to subsume mutant B? (see https://edstem.org/au/courses/20753/lessons/79799/slides/539235)

Question

BlackTom AI · Accepted Answer

Question restatement: In mutation testing, what does it mean for mutant A to subsume mutant B?

Option provided: "Any test case that kills mutant A also kills mutant B".

Analysis of the option:
- This statement aligns with the formal definition of subsumption in mutation testing: mutant A subsumes mutant B if every test that kills A also kills B. In other words, B is at most as difficult to kill as A, and any test that detects A will also detect B.

Why this interpretation is correct: If a test achieves the killing of A, it must also cause B to be killed for A to subsume B. Therefore, the subsumption relationship guarantees that A is at least as strong a requirement as B, and testing A implicitly tests B as well.

Why someone might think differently (potential misconceptions):
- A common misconception is that subsumption means A being harder to kill than B in a general sense, but the precise formal meaning is about the implication of test outcomes: kills(A) => kills(B). This is a logical implication across the set of tests.
- Another misunderstanding is to confuse subsumption with equivalence. Subsumption is a one-way relation (A subsumes B does not imply B subsumes A), whereas equivalence would require that kills(A) and kills(B) occur for exactly the same tests.

Edge considerations:
- If there were multiple-choice options, we would compare each to the definition. In this case, only the given statement is provided, and it correctly captures the standard subsumption criterion.
- If any nuance were present, such as partial subsumption or subsumption with respect to a specific test suite, the statement would need to specify the test set; as stated, it refers to the usual universal quantification over all tests in the suite.

Summary observation: The statement that any test case that kills A also kills B is the correct characterization of A subsuming B in mutation testing.

In mutation testing, what does it mean for mutant A to subsume mutant B? (see https://edstem.org/au/courses/20753/lessons/79799/slides/539235)单项选择题

类似问题

This question has been re-marked. Mutation analysis

Your tool changes the arithmetic operator in x = a + b to x = a - b. The mutant is then evaluated using your test suite. Why does mutation testing apply this kind of change?

Which one of the following statements about mutant subsumption is correct?

Coupling effect means that

Equivalent mutants

Competent programmer hypothesis is another name for

What is the difference between traditional fault seeding and mutation analysis?

Mutation analysis

更多留学生实用工具

智能学习助手

风格化写作助手

论文查重助手

文献引用助手

课堂转译助手

课堂笔记助手

Quiz搜索助手

学校历年真题

智能刷题助手

智能匹配练习

希望你的学习变得更简单