gitolite/c3d2-wiki
gitolite/c3d2-wiki
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

/* long term */

Browse Source
This commit is contained in:
Demos 2015-02-21 23:05:49 +00:00
parent 01393d29e8
commit 438be96c77
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Echt_Dezentrales_Netz%2Fen.mw
View File

@ -126,12 +126,7 @@ the following we need to find out:
# '''specification:''' formal description of all components from the concept, as well as of the criteria (preferably all quantifiable criteria), where possible and sensible
# '''Evaluation:''' to evaluate the formal model of the specification, whether it fulfills the criteria (e.g. via theorem proof and probabilistic model checking)
# '''Implementation:''' Implementation of the specification for the different platforms
# '''Testing the implementations:'''
#* Proving that the implementation covers the formal specifications
#* Testing of all components (unit test)
#* Testing of the overall system (audit)
#* Usability testing
#* Testing [http://www.spiegel.de/international/world/new-snowden-docs-indicate-scope-of-nsa-preparations-for-cyber-battle-a-1013409.html attack scenarios] (Penetrationstest = Pentest)
# '''[https://wiki.c3d2.de/Echt_Dezentrales_Netz/_TestInfrastructure Testing] the implementations'''
# '''Distribution''' of software and hardware, where needed
== Contribute ==