Assertions

Open its course - Software Quality Engineering

Assertions

Topic Questions: 33
MCQs	T/F	FiB	SQ
13 13 0	9 9 0	10 10 0	1 1 0

Question Type Legends
	Easy		Medium		Difficult

MCQs T/F FiB Short Qs

Open its course - Software Quality Engineering

Multiple Choice Questions for Assertions

1 Which logical constraint acts as an assertion that 'at least one' of a set of causes must always be active, preventing them all from being zero simultaneously?
1. E constraint
2. I constraint
3. O constraint
4. M constraint
- View Answer
2 When a verification assertion in a test case fails (Actual Outcome != Expected Outcome), the sources state that the discrepancy can be explained by which two possibilities?
1. Logic fault or hardware failure
2. Module error or incorrect expected result
3. Compiler bug or user input mistake
4. Data overflow or network timeout
- View Answer
3 If a software execution state is determined to be 'not the expected state', even if all values in isolation are acceptable, the system is asserted to be in a(n) ________.
1. Failure
2. Fault
3. Error
4. Trap
- View Answer
4 In process modeling, which element traps a process token until a specific business rule (expressed as a boolean assertion) is satisfied?
1. Start Event
2. Timer Event
3. Conditional Event
4. Parallel Gateway
- View Answer
5 According to the RIP model of software failures, an assertion designed to detect an incorrect internal program state targets which specific failure condition?
1. Reachability
2. Infection
3. Propagation
4. Activation
- View Answer
6 Which constraint assertion in Cause-Effect Graphing dictates that if cause 'a' is active (set to 1), then cause 'b' must also be active?
1. Inclusion (I) constraint
2. Exclusion (E) constraint
3. Requirement (R) constraint
4. Masking (M) constraint
- View Answer
7 In Cause-Effect Graphing, which constraint serves as a logical assertion that 'at most' one of the identified causes can be present (set to 1) at any given time?
1. I constraint
2. O constraint
3. E constraint
4. R constraint
- View Answer
8 In Software Quality Engineering, which mechanism acts as a verification assertion by comparing actual program execution results against generated expected results?
1. Test Driver
2. Test Stub
3. Test Oracle
4. Regression Test
- View Answer
9 In the context of software use cases and scenarios, what is generated at the end of a basic flow to assert the resulting successful system state?
1. Pre-condition
2. Invariant
3. Post-condition
4. Error state
- View Answer
10 Which type of logic assertion specifies the requirements that must be met before a use case or software module can begin its execution flow?
1. Post-conditions
2. Invariants
3. Pre-conditions
4. Termination conditions
- View Answer
11 The main author of the "Fluent Assertion" is:
1. Adam Voss
2. Dennis Doomen
3. Jonas Nyrup
4. Artur Krajweski
- View Answer
12 “keep out of the debugger hell” is quoted by:
1. Dennis Doomen
2. Adam Voss
3. Jeremy D. Miller
4. Jonas Nyrup
- View Answer
13 The fluent assertion form of "Assert.IsTrue(b)" will be:
1. b.Should().BeTrue();
2. b.BeTrue();
3. b.Is().True();
4. Should().BeTrue(b);
- View Answer

Programs

Assertions

Multiple Choice Questions for Assertions

Subject Expert

Learning Experience Platform