For Whitebox Model Based Testing, what is a good way to obtain the model?

Question

BlackTom AI · Accepted Answer

When approaching Whitebox Model Based Testing, we need to consider how the model is typically obtained and what level of detail is required for the test generation process.
Option 1: Control Flow. This choice aligns with how many whitebox MBT approaches derive the model directly from the program's structure, such as control-flow graphs or state machines inferred from the code. By analyzing the control flow, you capture the possible paths, branches, and decisions the software can take, which then guides path coverage testing and test case generation.
Option 2: The specification. While the specification is essential for blackbox or specification-based testing, whitebox MBT focuses on the actual implementation details visible in the code. Relying solely on the specification would miss internal decision points and logical branches that only appear in the code, reducing the effectiveness of a whitebox model.
Option 3: Random Generation. Random generation can be useful in exploratory testing or fuzzing, but it does not provide a structured, analyzable model suitable for systematic whitebox MBT. Without a model that represents the control flow and state changes, you risk missing specific paths or invariants that a deliberate model would reveal.
In summary, constructing or deriving the model from the program’s internal structure—captured as control flow information—serves as a solid basis for whitebox model-based testing, enabling targeted and exhaustive exploration of code paths.

SOFT3202 COMP9202 (ND) Quiz 5

For Whitebox Model Based Testing, what is a good way to obtain the model?

查看解析

登录即可查看完整答案

类似问题

In a consumer society, many adults channel creativity into buying things

Economic stress and unpredictable times have resulted in a booming industry for self-help products

People born without creativity never can develop it

A product has a selling price of $20, a contribution margin ratio of 40% and fixed cost of $120,000. To make a profit of $30,000. The number of units that must be sold is: Type the number without $ and a comma. Eg: 20000

Which of the following statement regarding cost is correct:

Under the assumptions used in cost-volume-profit analysis, as the activity increases:

The CVP and break-even analysis are supported by a range of important assumptions. Which of the following is not an assumption of the CVP:

The break-even point is that at which:

更多留学生实用工具

考试浏览器助手

风格化写作助手

论文查重助手

文献引用助手

课堂转译助手

课堂笔记助手

Quiz搜索助手

学校历年真题

智能刷题助手

智能匹配练习

希望你的学习变得更简单