SQA at TU Kaiserslautern

Flashcards and summaries for SQA at the TU Kaiserslautern

Arrow Arrow

It’s completely free

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

Study with flashcards and summaries for the course SQA at the TU Kaiserslautern

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Describe 5 levels of the Capability Maturity Model in your own words and estimate the quality of cost and time prediction for each level.


Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Control Flow Testing

Different Types

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Control Flow Testing

Statement Coverage

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Control Flow Testing

Branch Coverage (C1-test)

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Control Flow Testing

Modified condition/decision coverage

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Control Flow Testing

Multiple Condition Coverage

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Control Flow Testing

Path Coverage


This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Control Flow Testing

Structured Path Test and Boundary Interior Path Test

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Data Flow anomaly

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Data Flow Testing

The all defs-criterion demands

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Data Flow Testing

All p-uses-test

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

Data Flow Testing 

All c-uses-test

Your peers in the course SQA at the TU Kaiserslautern create and share summaries, flashcards, study plans and other learning materials with the intelligent StudySmarter learning app.

Get started now!

Flashcard Flashcard

Exemplary flashcards for SQA at the TU Kaiserslautern on StudySmarter:

SQA

Describe 5 levels of the Capability Maturity Model in your own words and estimate the quality of cost and time prediction for each level.


- The Capability Maturity Model classifies the maturity of a software development process using maturity levels. The model used by the SEI uses the following levels: 

1-initial, 

2-repeatable, 

3-defined, 

4-measured,
5-optimizing
- The attainment of the maturity levels 4 and 5 is possible only with the existence and use of a measuring system which enables the following operations

  • Measuring of productivity and quality
  • Evaluation of projects on the basis of these measurements
  • Identification of deviations
  • Corrective actions in the case of deviations
  • Identification and control of project risks

SQA

Control Flow Testing

Different Types

- Statement coverage test
- Branch coverage test
- Condition coverage test

  • simple
  • Decision
  • minimal multiple
  • modified
  • multiple 

- Boundary interior-path test

- Structured path test

- Path test

SQA

Control Flow Testing

Statement Coverage

- Statement coverage = simplest control flow test technique.
- each statement is executed at least once (all nodes in the control flow graph)


SQA

Control Flow Testing

Branch Coverage (C1-test)

- aims at executing all branches of the program (execution of all edges)
- stricter test technique than statement coverage.
- Statement coverage is fully contained in branch coverage
- Branch coverage subsumes statement coverage
- generally considered as a minimal criterion in software unit testing
- The standard RTCA DO-178C requires branch coverage testing for level- B-software
- branch coverage is usually inadequate for testing compound decisions

SQA

Control Flow Testing

Modified condition/decision coverage

- requires test cases which demonstrate that every condition can influence the logical value of the overall decision independently of the other conditions
- The application of this method is required by the standard RTCA DO- 178C for flight critical software (level A)
- Basically the method aims at a test as extensive as possible with justifiable test costs

  • The relation between the number of conditions and the required test cases is linear
  •  For the test of a decision with n conditions at least n+1 test cases are required. The maximum number of test cases is 2n

- A complete modified condition/decision coverage causes a branch coverage on the object code level

- But: Not every branch coverage test on the object code level causes a complete modified condition/decision coverage

SQA

Control Flow Testing

Multiple Condition Coverage

- The multiple condition coverage requires the test of all value combinations of the conditions

SQA

Control Flow Testing

Path Coverage


- Requires the execution of all different paths of the program to be tested


  • A path p is a sequence of nodes (i, n1,.., nm, j) in the control flow graph with the start node i and the end node j

SQA

Control Flow Testing

Structured Path Test and Boundary Interior Path Test

  • distinguishes only paths that execute a loop not more than k times. This avoids the explosion of the number of paths caused by loops
  • The structured path test with k=2 is called boundary interior coverage
  • The boundary interior coverage differentiates the three cases:
    • no loop execution
    • one loop execution
    •  at least two loop executions
      • (This is especially useful due to the possible interactions between variables before, in and after the loop)

SQA

Data Flow anomaly

x is defined: d (defined)

  • The variable x is assigned a value (e.g. x = 5;)

x is referenced: r (referenced)

  • The value of the variable x is read in a computation or in a decision, i.e., the value of x does not change (e.g. y = x + 1; or if (x > 0) ...)

x is undefined: u (undefined)

  • The value of the variable x is deleted (e.g., deletion of local variables within a function or procedure at its termination). At program start all variables are undefined

x is not used: e (empty)

  • The instruction of the node under consideration does not influence the variable x. x is not defined, referenced or undefined


Annomalien: 


type ur; 

  • the reference of a variable with undefined, random value

type dd

  • The first definition has no effect, as the value is always overwritten by the second definition. The data flow anomaly is of the

type du

  • The value assigned by the definition is not used, as it is immediately deleted afterwards. This data flow anomaly is of the 



SQA

Data Flow Testing

The all defs-criterion demands

That every definition (all defs) of a variable is used at least once in a computation or a predicate. The objective of an assignment to a variable is that this value is used somewhere once again. The tests have to be chosen in such a way that this is tested at least once for every assignment to every variable

SQA

Data Flow Testing

All p-uses-test

P-use: predicate use – the variable is used when making a decision (e.g. if b > 6).  


The all p-uses-test requires that every p-use that exists with respect to each definition is taken into account during testing

SQA

Data Flow Testing 

All c-uses-test

C-use: computation use – the variable is used in a computation (for example, b = 3 + d – with respect to the variable d).


The all c-uses-test requires that every c-use that exists with respect to each definition is taken into account during testing

Sign up for free to see all flashcards and summaries for SQA at the TU Kaiserslautern

Singup Image Singup Image

SE1 at

Hochschule Rosenheim

SP at

Universität Wien

SSS at

Universität Tübingen

SQL at

Filmuniversität Babelsberg

Squelette at

Université de Poitiers

Similar courses from other universities

Check out courses similar to SQA at other universities

Back to TU Kaiserslautern overview page

What is StudySmarter?

What is StudySmarter?

StudySmarter is an intelligent learning tool for students. With StudySmarter you can easily and efficiently create flashcards, summaries, mind maps, study plans and more. Create your own flashcards e.g. for SQA at the TU Kaiserslautern or access thousands of learning materials created by your fellow students. Whether at your own university or at other universities. Hundreds of thousands of students use StudySmarter to efficiently prepare for their exams. Available on the Web, Android & iOS. It’s completely free.

Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
X

StudySmarter - The study app for students

StudySmarter

4.5 Stars 1100 Rating
Start now!
X

Good grades at university? No problem with StudySmarter!

89% of StudySmarter users achieve better grades at university.

50 Mio Flashcards & Summaries
Create your own content with Smart Tools
Individual Learning-Plan

Learn with over 1 million users on StudySmarter.

Already registered? Just go to Login