logo

Crowdly

Browser

Add to Chrome

[SS25] Software Safety

Looking for [SS25] Software Safety test answers and solutions? Browse our comprehensive collection of verified answers for [SS25] Software Safety at moodle.tu-ilmenau.de.

Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!

Property: Stability

Select which of the following LTL expressions fits to the above given property.
0%
0%
67%
0%
View this question

c) Applying the analysis, what conclusion can you draw for the code snippet given above for line 52 and how does this help your testing goals? (1 Point)

Template:

<conclusion>

View this question

code snippet:

 1: SomeClass* x

    ...

39: if x == NONE

40:     x := new SomeClass

41: endif

    ...

52: x.someMethod()

a) Which type of static analysis introduced in the lecture explicitly tracks

possible value ranges of variables to allow for more specific analysis

results. (1 Point)

Template:

<concept_name>

View this question
If the previous code snippet is extended with its implementation as follows:

code snippet:

  function check(int8_t index, int8_t offset)

  {

    int8_t array[101];

    if (index > 100) index = 100;

    array[index] = offset;

  }

b) How many test cases would you need to achieve 100% code coverage? Specify

them. (2 Point)

c) Would the 100% code coverage assure you 100% fault coverage? Give an example

of an existing fault if not, or reason why that is the case. (2 Points)

Template:

b)

We need <n> test case(s), it is/they are:

<test_case_1>

...

<test_case_n>

c)

<yes_no>: <reason>

View this question

code snippet:

  function check(int8_t index, int8_t offset)

a) Given the above function signature, how many test cases do we need to test

its interface entirely? Support your answer by a calculation. (3 Points)

Template:

a)

<reason_for_value_of_variable_1>

...

<reason_for_value_of_variable_n>

<calculation_using_variables1--n> = <number_of_test_cases>

View this question

Prior to starting the certification of your developed software you want to create a Safety Case. You have a document specifying the requirements.

To which part of the Safety Case do you assign this artifact?

100%
0%
0%
0%
0%
View this question

You are developing a safety-critical software. The implementation phase is just done. The next step on your agenda is to perform the V&V activities on your development.

a) Which two major classes of testing were introduced in the lecture? (2 Points)

b) On which artifact does each of the two classes operate on? (2 Points)

Template:

a) <concept1> and <concept2>

b)

<concept1>: <artifact1>

<concept2>: <artifact2>

View this question

Select the correct description for the test phase Module Testing.

0%
0%
0%
100%
View this question

Moral behaviors uphold the person's virtues.

Select which of the ethical theories fits to the given description.
0%
100%
0%
0%
View this question

Moral behaviors are those that satisfy the categorical imperative (e.g.

don't lie, don't kill).

Select which of the ethical theories fits to the given description.
100%
0%
0%
0%
View this question

Want instant access to all verified answers on moodle.tu-ilmenau.de?

Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!

Browser

Add to Chrome