revision Flashcards

1
Q

Defects per 1000 Lines

A

1-25 defects.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Software Crisis (Late 1960s):

A

Software cost > Hardware cost.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Modern Software Quality Crisis:

A

Verification & Validation cost > Program cost.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Systematic software development.

A

Software Engineering

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Adding Comments in Code does what

A

Increase program understandability.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Side-Effect Free Method

A

Doesn’t change global state.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Side-Effects:

A

Affects global state of program.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Referentially Transparent Method

A

Return value independent of program context.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Software Lifecycle Costs:

A

Requirement: 10%
Design: 20%
Coding: 20%
Testing: 50%

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

It is Professional Practice to use ….. in software development.

A

Use of computer tools in software development.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Maintenance Types:

A

Perfective: New (non-)functional requirements.
Corrective: Bug fixing.
Adaptive: Keeping up with environment changes

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Software Product Components:

A

Requirements & Design Docs
Program/Code
User Manual

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Conformance between …. and …. via testing

A

Specification and Program

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Formatting

A

Enhances code readability.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Test Case Selection:

A

Specification = Black box testing
Program code = White box testing

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

…. Testing is impossible to Achieve

A

Complete Testing

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

Performing(physical) experiments based on test cases

A

Test Execution

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

Test Documentation:

A

Logging evidence, results, and evaluations

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

Test Suite:

A

Collection of test cases

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

Partition Definition

A

Set of nonempty sets covering X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

Partition Conditions:

A

Elements cover X, pairwise disjoint.

22
Q

Graphs

A

Directed Graph: (V, E)

23
Q

Directed Graph: (V)

A

Set of nodes (vertices)

24
Q

Directed Graph: (E)

A

Set of edges (n, m)

25
Q

Number of nodes with end nodes

A

Indegree

26
Q

Outdegree

A

Number of nodes with start nodes

27
Q

Control Flow:

A

Order of executed lines

28
Q

Indegree = 0

A

Source node

29
Q

Outdegree = 0

A

Sink node

30
Q

Javadoc/Commenting:

A
  • File-name.
  • Version/Build number.
  • Creation date.
  • Last modification date.
  • Aurthor’s name.
  • Copyright notice.
  • Purpose of the program.
  • Version history
31
Q

HTML Definition:

A

HyperText Markup Language

32
Q

HTML Purpose:

A

Markup language for web pages

33
Q

Data Storage Types Queue

A

FIFO principle (First in, First out)

34
Q

Stack

A

LIFO principle (Last in, First out)

35
Q

System Under Test (SUT):
Definition

A

Java method or class being tested

36
Q

System Under Test (SUT):
Purpose

A

Subject of testing in software development

37
Q

JUnit Definition

A

Testing framework for Java

38
Q

JUnit Purpose

A

Automates test execution and evaluation

39
Q

Notations Informal

A

Natural language descriptions

40
Q

Notations Semi-Formal

A

Structured but not rigorously defined

41
Q

Notations Formal

A

Precise, mathematically defined languages

42
Q

Notations Examples

A

Propositional logic, Process algebra, CASL

43
Q

HTML Usage

A

Defines the structure and layout of a webpage

44
Q

Software Lifecycle address what questions

A
  • What shall we do next?
  • How long shall we continue to do it?
45
Q

Name one Classical Software Development method

A

Waterfall, Spiral, V-mode

46
Q

Name an Agile Software Development

A

Extreme Programming

47
Q

Name a method of software development

A

Classical / Agile

48
Q

What is a Story in XP (Extreme Programming)

A

a unit of customer visible functionality

49
Q

a map from variable names to values.

A

state

50
Q

if it holds all states that are possible at a position, it is valid

A

In dafny what is assertion