List Headline Image
Updated by nilanjan bhattacharya on Sep 12, 2014
 REPORT
nilanjan bhattacharya nilanjan bhattacharya
Owner
43 items   1 followers   0 votes   10 views

How to model software

Listly by nilanjan bhattacharya

1

Every line of code

Every line of code
2

Every branch on multi-branch lines

Every branch on multi-branch lines
3

Every subpath through the program; e.g., every 10 line sequence in a 10,000 line program

Every subpath through the program; e.g., every 10 line sequence in a 10,000 line program
4

Every path through the program from entry to exit

Every path through the program from entry to exit
5

Every possible value in every logical operator

Every possible value in every logical operator
6

Trigger every assertion

Trigger every assertion
7

Conditions when a loop is executed more than once

Conditions when a loop is executed more than once
8

Every module, object, component, tool, subsystem - what about third party components

Every module, object, component, tool, subsystem - what about third party components
9

For heuristic decisions, which uses evolving rules or data, check rules periodically

For heuristic decisions, which uses evolving rules or data, check rules periodically
10

Check boundaries for input, output and intermediate variables for 'off-by-one' errors

Check boundaries for input, output and intermediate variables for 'off-by-one' errors
11

Every data item/variable/field

Every data item/variable/field
12

Constraints among variables; flight return date must be greater than flight start date

Constraints among variables; flight return date must be greater than flight start date
13

Every appearance of a variable; Enter x in each data screen and check value displayed in in all screens and reports

Every appearance of a variable; Enter x in each data screen and check value displayed in in all screens and reports
14

In object oriented code, send different types of (valid) data types and classes to objects.

In object oriented code, send different types of (valid) data types and classes to objects.
15

Potential data conflicts; calendar application with identical appointments

Potential data conflicts; calendar application with identical appointments
16

Handling of every error state; put the program in error state and check for effects on stack, memory, keyboard input,...

Handling of every error state; put the program in error state and check for effects on stack, memory, keyboard input,...
17

Every complexity / maintainability metric against every module, object, subsystem, etc. - some may question these but...

Every complexity / maintainability metric against every module, object, subsystem, etc. - some may question these but...
18

Conformity of every module, subsystem, etc. against every corporate coding standard; even if you don't agree with the...

Conformity of every module, subsystem, etc. against every corporate coding standard; even if you don't agree with the...
19

Table-driven code - external or internal table results in code branching to location specified; check every table ele...

Table-driven code - external or internal table results in code branching to location specified; check every table ele...
20

Generate every type of interrupt in every way possible to trigger that interrupt.

Generate every type of interrupt in every way possible to trigger that interrupt.
21

Every interrupt at every task, module, object, or even every line.

Every interrupt at every task, module, object, or even every line.
22

Every anticipated or potential race.

Every anticipated or potential race.
23

Every time-slice setting, if you can control the grain of switching between tasks or processes.

Every time-slice setting, if you can control the grain of switching between tasks or processes.
24

Varied levels of background activity. In a multiprocessing system, tie up the processor with competing, irrelevant ba...

Varied levels of background activity. In a multiprocessing system, tie up the processor with competing, irrelevant ba...
25

Each processor type and speed.

Each processor type and speed.