revision Flashcards

(50 cards)

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
Number of nodes with end nodes
Indegree
26
Outdegree
Number of nodes with start nodes
27
Control Flow:
Order of executed lines
28
Indegree = 0
Source node
29
Outdegree = 0
Sink node
30
Javadoc/Commenting:
* File-name. * Version/Build number. * Creation date. * Last modification date. * Aurthor’s name. * Copyright notice. * Purpose of the program. * Version history
31
HTML Definition:
HyperText Markup Language
32
HTML Purpose:
Markup language for web pages
33
Data Storage Types Queue
FIFO principle (First in, First out)
34
Stack
LIFO principle (Last in, First out)
35
System Under Test (SUT): Definition
Java method or class being tested
36
System Under Test (SUT): Purpose
Subject of testing in software development
37
JUnit Definition
Testing framework for Java
38
JUnit Purpose
Automates test execution and evaluation
39
Notations Informal
Natural language descriptions
40
Notations Semi-Formal
Structured but not rigorously defined
41
Notations Formal
Precise, mathematically defined languages
42
Notations Examples
Propositional logic, Process algebra, CASL
43
HTML Usage
Defines the structure and layout of a webpage
44
Software Lifecycle address what questions
* What shall we do next? * How long shall we continue to do it?
45
Name one Classical Software Development method
Waterfall, Spiral, V-mode
46
Name an Agile Software Development
Extreme Programming
47
Name a method of software development
Classical / Agile
48
What is a Story in XP (Extreme Programming)
a unit of customer visible functionality
49
a map from variable names to values.
state
50
if it holds all states that are possible at a position, it is valid
In dafny what is assertion