Verification And Reliability at Free University Of Bozen | Flashcards & Summaries

Select your language

Suggested languages for you:
Log In Start studying!

Lernmaterialien für Verification and Reliability an der Free University of Bozen

Greife auf kostenlose Karteikarten, Zusammenfassungen, Übungsaufgaben und Altklausuren für deinen Verification and Reliability Kurs an der Free University of Bozen zu.

TESTE DEIN WISSEN

Why any verification technique has inaccuracy?

Lösung anzeigen
TESTE DEIN WISSEN

Undecidability of Problems: Given a program P and an input I, we do not know whether a verification technique T can verify the program in finite time. 


The halting problem: There is no infallible algorithm that can verify a property of interest


Verification checks a program against its specification on different levels. In order for them to be accurate, they would have to cover every single test case with every set of environment variables, which proves to be impossible since the resources for this are not available. This is stated by the halting principle.

Lösung ausblenden
TESTE DEIN WISSEN

What dependable system means?

Lösung anzeigen
TESTE DEIN WISSEN

A system depends on the customer's needs

Lösung ausblenden
TESTE DEIN WISSEN

Make an example of a software program that satisfies at least two dependability properties.

Lösung anzeigen
TESTE DEIN WISSEN

A software that is reliable and correct: A software that perfectly fulfills the specifications. Could be a SW with a specification that contains only one sentence and that is fulfilled.

Lösung ausblenden
TESTE DEIN WISSEN

Give an overview of the course.

Lösung anzeigen
TESTE DEIN WISSEN

First part: Verification and Dependability

Second part: Reliability 


First part: General things, Black Box Testing, White Box Testing, Search Based Testing 

Second part: Reliability concepts, statistical models for reliability

Lösung ausblenden
TESTE DEIN WISSEN

What does dependability mean?

Lösung anzeigen
TESTE DEIN WISSEN

= Degree at which a software system complies with its specification.

Lösung ausblenden
TESTE DEIN WISSEN

What is Verification vs. Validation?

Lösung anzeigen
TESTE DEIN WISSEN

Verification: Check the consistency of an implementation with a specification (or consistency between two descriptions/roles of the system at subsequent stages of the development process). 


Validation: Check the degree at which a software system fulfills the user's requirements.

Lösung ausblenden
TESTE DEIN WISSEN

Why is reliability needed? How does it complement testing?

Lösung anzeigen
TESTE DEIN WISSEN

Reliability is needed as a statistical approximation to correctness. Correctness describes whether a software is consistent with the specification. However, in reality, it is not possible to have a perfectly correct software, which is why reliability is needed.

It complements testing by giving a prediction for the mean time until failure (because testing never ensures that there is not going to be a failure).

Lösung ausblenden
TESTE DEIN WISSEN

Do specifications need to be re-written by the tester at any circumstance?

Lösung anzeigen
TESTE DEIN WISSEN

No, the specifications should not be rewritten by the tester.

Lösung ausblenden
TESTE DEIN WISSEN

Modern systems are dependable. What does dependable mean? What are dependability properties of a system?

Lösung anzeigen
TESTE DEIN WISSEN

Dependable Software = Software that matches the specifications. 

Dependability = Degree at which a software complies with its specifications. 

Dependability properties = Correctness / Reliability / Robustness / Safety

Lösung ausblenden
TESTE DEIN WISSEN

What is safety?

Lösung anzeigen
TESTE DEIN WISSEN

Robustness in case of hazardous behavior (e.g. attacks).

Lösung ausblenden
TESTE DEIN WISSEN

Make an example of a non-safe system.

Lösung anzeigen
TESTE DEIN WISSEN

e.g. a system that is not protected against hacking attacks.

Lösung ausblenden
TESTE DEIN WISSEN

Illustrate how to model “time of failure” in non- repairable systems.

Lösung anzeigen
TESTE DEIN WISSEN

We are using a continuous random variable to model the time of failure T. 

Coming from the probability density function of T, we derive the expected mean of the time of failure. 


Lösung ausblenden
  • 2065 Karteikarten
  • 99 Studierende
  • 0 Lernmaterialien

Beispielhafte Karteikarten für deinen Verification and Reliability Kurs an der Free University of Bozen - von Kommilitonen auf StudySmarter erstellt!

Q:

Why any verification technique has inaccuracy?

A:

Undecidability of Problems: Given a program P and an input I, we do not know whether a verification technique T can verify the program in finite time. 


The halting problem: There is no infallible algorithm that can verify a property of interest


Verification checks a program against its specification on different levels. In order for them to be accurate, they would have to cover every single test case with every set of environment variables, which proves to be impossible since the resources for this are not available. This is stated by the halting principle.

Q:

What dependable system means?

A:

A system depends on the customer's needs

Q:

Make an example of a software program that satisfies at least two dependability properties.

A:

A software that is reliable and correct: A software that perfectly fulfills the specifications. Could be a SW with a specification that contains only one sentence and that is fulfilled.

Q:

Give an overview of the course.

A:

First part: Verification and Dependability

Second part: Reliability 


First part: General things, Black Box Testing, White Box Testing, Search Based Testing 

Second part: Reliability concepts, statistical models for reliability

Q:

What does dependability mean?

A:

= Degree at which a software system complies with its specification.

Mehr Karteikarten anzeigen
Q:

What is Verification vs. Validation?

A:

Verification: Check the consistency of an implementation with a specification (or consistency between two descriptions/roles of the system at subsequent stages of the development process). 


Validation: Check the degree at which a software system fulfills the user's requirements.

Q:

Why is reliability needed? How does it complement testing?

A:

Reliability is needed as a statistical approximation to correctness. Correctness describes whether a software is consistent with the specification. However, in reality, it is not possible to have a perfectly correct software, which is why reliability is needed.

It complements testing by giving a prediction for the mean time until failure (because testing never ensures that there is not going to be a failure).

Q:

Do specifications need to be re-written by the tester at any circumstance?

A:

No, the specifications should not be rewritten by the tester.

Q:

Modern systems are dependable. What does dependable mean? What are dependability properties of a system?

A:

Dependable Software = Software that matches the specifications. 

Dependability = Degree at which a software complies with its specifications. 

Dependability properties = Correctness / Reliability / Robustness / Safety

Q:

What is safety?

A:

Robustness in case of hazardous behavior (e.g. attacks).

Q:

Make an example of a non-safe system.

A:

e.g. a system that is not protected against hacking attacks.

Q:

Illustrate how to model “time of failure” in non- repairable systems.

A:

We are using a continuous random variable to model the time of failure T. 

Coming from the probability density function of T, we derive the expected mean of the time of failure. 


Verification and Reliability

Erstelle und finde Lernmaterialien auf StudySmarter.

Greife kostenlos auf tausende geteilte Karteikarten, Zusammenfassungen, Altklausuren und mehr zu.

Jetzt loslegen

Das sind die beliebtesten StudySmarter Kurse für deinen Studiengang Verification and Reliability an der Free University of Bozen

Für deinen Studiengang Verification and Reliability an der Free University of Bozen gibt es bereits viele Kurse, die von deinen Kommilitonen auf StudySmarter erstellt wurden. Karteikarten, Zusammenfassungen, Altklausuren, Übungsaufgaben und mehr warten auf dich!

Das sind die beliebtesten Verification and Reliability Kurse im gesamten StudySmarter Universum

Safety and Certification

TU München

Zum Kurs
Psych Assessment Reliability and Validity

University of San Carlos

Zum Kurs
Reliabilität

LMU München

Zum Kurs
Human Reliability

TU München

Zum Kurs

Die all-in-one Lernapp für Studierende

Greife auf Millionen geteilter Lernmaterialien der StudySmarter Community zu
Kostenlos anmelden Verification and Reliability
Erstelle Karteikarten und Zusammenfassungen mit den StudySmarter Tools
Kostenlos loslegen Verification and Reliability