robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

inputs to software expanded on

Browse Source
This commit is contained in:
Robin P. Clark 2012-11-27 14:18:11 +00:00
parent 086361edff
commit be416e8827
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
submission_thesis/CH5_Examples/software.tex
View File

@ -106,11 +106,11 @@ In this analogy the connections are the code, and the functions and variables ar
If we consider the
calls and variables/inputs to be components of a function,
%
any erroneous behaviour from them has the same effect as component failure mode
any erroneous behaviour from them has the same effect as component failure modes
on an electronic {\fg}. %HHmmm HHHHMMMM XXXXXX gora den har nar dets finns into nagon some harker hela tiden
%
For a software function, a violation of a pre-condition is
in effect a failure mode of `one of its components'.
For a software function, we consider a violation of a pre-condition to be
equivalent to failure mode of `one of its components'.
\paragraph{Mapping contract `post-condition' violations to symptoms.}