Changes To Experiment: mmmv_silkexec: spec Ideas 01
Not logged in

Changes to "Experiment: mmmv_silkexec: spec Ideas 01" between 2017-05-30 15:26:41 and 2017-05-30 15:46:46

    20     20   test server</b>, but even then the test server at least partly relies on the
    21     21   tests that have been supplied with the software package, by the software
    22     22   package creator, which may be a different person than the author of the
    23     23   packaged software. It is possible for the software packager to accompany the
    24     24   upstream deliverables with its own, additional, tests. <b>Tests can include
    25     25   partial formal verification.</b></p>
    26     26   
    27         -<p><br>
    28         -</p>
           27  +<p>All in all <b>the general model for testing is black box testing</b>, which
           28  +may include some formal verification of some sub-components.</p>
    29     29   
    30         -<h1>Hardware Related Observations</h1>
    31         -
    32         -<p></p>
    33         -<ul>
    34         -<li><br>
    35         -</li>
    36         -</ul>
    37         -
    38         -<p></p>
           30  +<p><b><br>
           31  +</b></p>
    39     32   
    40     33   <p><br>
    41     34   </p>
    42     35   
    43     36   <h1>Social Aspects Related Observations</h1>
    44     37   
    45         -<p><br>
    46         -</p>
           38  +<p>In addition to mistakes done by hardworking and meticulous persons, there
           39  +are also people, who are sloppy or who do not mind intentionally placing
           40  +malware to software packages. To avoid censorship, nothing can be banned, not
           41  +even malware. Therefore, people have to use their own choice of label
           42  +providers. The <b>task of the label providers is to analyse software packages
           43  +and label them</b> according to a labeling system of their own choice, which
           44  +can be their own custom labeling system.</p>
    47     45   
    48     46   <p><br>
    49     47   </p>
    50     48   
    51     49   <p><br>
    52     50   </p>
    53     51   
    54     52   <p><br>
    55     53   </p>