Software Engineering BFH

Software Engineering BFH

Software Engineering BFH

Joris Baiutti

Joris Baiutti

Fichier Détails

Cartes-fiches 146
Utilisateurs 20
Langue Deutsch
Catégorie Informatique
Niveau Université
Crée / Actualisé 23.04.2017 / 10.07.2023
Lien de web
https://card2brain.ch/box/20170423_software_engineering_bfh_LEvv
Intégrer
<iframe src="https://card2brain.ch/box/20170423_software_engineering_bfh_LEvv/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>

Quality and Verification:

Reliability and Availability Requirements?

 

Functional:

  • define (additional) system and software functions that avoid, detect or tolerates faults in the software and so ensure that these faults do not lead to system failure.

Non-Functional:

  • Measurable --> e.g.time the system must be available

 

Quality and Verification:

What is POFOD?

Probaility of failure on demand

  • probability that the system will fail when a service request is made.
  • Relevant for occasionaly used service with impact --> Atomkraftwerknotausschalter

Quality and Verification:

What is ROCOF?

Rate of occurence of failures

  • 0.002 --> 2 failures are likely per 1000 time units
  • relevant: large number of similar requests are produced in a short time
  • reciprocal of ROCOF is Mean time to failure (MTTF)

Quality and Verification:

What is MTTF?

Mean time to failure

  • reciprocal ROCOF
  • for long transactions
  • MTTF should be longer than expected transaction length

 

Quality and Verification:

Measurement of availability?

  • 0.999 = available in 999/1000 time units
  • takes repair and restart time into account
  • Relevant for non-stop, continuously running systems

Quality and Verification:

Functional Reliability / Availability Requirements:

  • Checking > checks to detect incorrect data before it leads to a failure --> if(23:00){...
  • Recovery >recovery after failure --> e.g.  retry to send data after 1 minute...
  • Redundancy > redundant feature --> the treansmissions will happen allways onClose...
  • Process > the dev-proces to be used --> system must be implemented with cobol and... 

Nenne 4 Requirements Engineering Schritte

  • Requirements elicitation (herauspicken)
  • Requirements analysis
  • Requirements validation
  • Requirements management

Structure of a Typical Requirements Document

  • Preface
  • Introduction
  • Glossary
  • User requirements definition
  • System architecture
  • System requirements specification
  • System models
  • Testing
  • Appendices
  • Index

Unterschied zwischen Wasserfall und V-Model

erweitert Wasserfall-Modell um Validierungsphasen

Nenne die 4 Kriterien eines Lastenhefts

  1. Musskriterien
  2. Sollkriterien
  3. Kannkriterien
  4. Abgrenzungskriterien

Quality and Verification:

What is a protection system and how does it work?

A system that runs paralles to an other (security relevant) system to execute a task if the main system fails. It does the same as the main system does but with other sensors, techniques and technologies.

Quality and Verification:

How to get a Reliable / Available system?

By:

  • Fault avoidance:
    • Development
    • z.B. exeption handling, check inputs --> if(23:00){...
  • Fault detection and removal
    • Verification and Validation before the system goes live
    • Testing
  • Fault tolerance
    • runtime techniques > ensure that the system faults do not result in errors
      and that errors do not lead to system failures
    • Redundancy, protection systems

Wer ist intelligent, gutaussehend, witzig, sexy, spassbombig, freundlich, lieb, motiviert, zufrieden, sympatisch , fleissig, ein Partytiger und ein riesen Sonnenschein?

DU!

Weiterhin viel SPASS beim Lernen :-)

Quality and Verification:

What kind fo safety systems are there?

  • Primary safety-critical systems:
    • Direct
    • Embedded sw-systems whose failure cause the hardware to fail and directy threaten people
  • Secondary safety-critical systems:
    •  Indirect
    • Systems whose failure results in faults in other systems and .... 

Quality and Verification:

Explain:

  • Hazard
  • Accident
  • Damage
  • Hazard severity
  • Hazard probability
  • Risk

  • Hazard: Condition with the condition for causing an accident: Failure of the sensor
  • Accident (mishap): Unplanned event resulting in human death or injury of anyting: Overdose of Insulin
  • Damage: Result of the Accident: Overdose could cause injury or death of patient
  • Hazard severity: Assessment of the worst possible damage: Possibility of death > severity = very high
  • Hazard probaility: Pobability of the hazard:  Pobability of a sensor failure = low
  • Risk: comparison of severity and probability: risk of an insulinoverdose is probably medium to low

Quality and Verification:

Safety Achievement:

  • Hazard avoidance
    • Design: Classes of hazard cannot arise
  • Hazard detection and removal
    • Design: Hazard are detected and removed
  • Damage limitation
    • Protection features that minimize the damage

Quality and Verification:

4 Steps to Safety specification (Safety Risk Management):

  1. Risk identification
  2. Risk assessment 
    • analize damage and hazard severity and probabilityof each possible accident 
      (injuries, cost etc...)
  3. Risk treatment
  4. Risk monitoring and incident handling

Quality and Verification

How do you treat risks?

  • avoidance: eliminate risks
  • reduction: mitigate impact and/or probability
  • sharing: outsource or insure against
  • acceptance: incident plan (what if..)

Quality and Verification

Three possible exception handling stategies?

  1. Signal to a calling component
  2. Carry out some alternative processing
  3. Pass control to a runtime support system to handle the exception

Quality and Verification

What should you try to avoid or minimize to avoid error-prone constructs?

  • Floating-point numbers (unprecise)
  • Parallelism (timing errors)
  • Out of memory (attempt to process too much data)
  • Recursion: stack overflows
  • Aliasing

Quality and Verification

Testing Process:

Quality and Verification:

What does the sw verification testing show?

  • That the sw meets its requirements
    • i.e. perfomrs correctly using a set of test cases

Quality and Verification:

What is defect testing

  • The test cases are designed to expose defects.
  • The inputs shall cause anaomalous behavior
  • A successful test is a test that makes the system perfomr incorrectly

Quality and Verification:

What kind of development tests are there?

Unit testing (methods)

component testing (interfaces)

system testing (interaction)

Quality and Verification:

What is release testing?

The process of testing a system that is intended to use outside the development team.

 

Quality and Verification:

what is software inspection?

examining the source with the aim of discovering anomalies and defects

does not use execution of the system

May be applied on requirements, design, configuration, data, test data, etc...