SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
teaching:projectgroups:ast:2020:themenstellung [2020/03/27 09:11]
Lars Reimann
teaching:projectgroups:ast:2020:themenstellung [2020/03/27 09:15] (current)
Lars Reimann [Vorgehen in der Projektgruppe]
Line 48: Line 48:
   * Analyse der Korrektheitsanforderungen:​ Welche Bedingungen sind in der Dokumentation formuliert, damit ein Programm korrekt funktioniert?​   * Analyse der Korrektheitsanforderungen:​ Welche Bedingungen sind in der Dokumentation formuliert, damit ein Programm korrekt funktioniert?​
  
-Beide Ergebnisse können kombiniert werden. Wenn in der Dokumentation ​eine Abhängigkeit ​zwischen Parametern ​ausgedrückt wird, wie oben zwischen kernel und degree, können wir durch die Analyse der Codestruktur die entsprechenden Verküpfungen (<-:?:) einfügen.+Beide Ergebnisse können kombiniert werden: Sobald wir durch die Analyse der Codestruktur wissen, dass '​kernel'​ und '​degree'​ Parameter sind, können wir in der Dokumentation ​erkennen, wenn wir auf einen Parameter Bezug nehmen. So lassen sich Abhängigkeiten ​zwischen Parametern ​erkennen, wie eben zwischen ​'kernel' ​und 'degree'.
  
 Außerdem bauen wir einen **Codegenerator**,​ der die interne Darstellung der Ergebnisse des Parsers in logische Regeln überführt,​ die sich für statische Programmanalyse nutzen lassen. ​ Außerdem bauen wir einen **Codegenerator**,​ der die interne Darstellung der Ergebnisse des Parsers in logische Regeln überführt,​ die sich für statische Programmanalyse nutzen lassen. ​
teaching/projectgroups/ast/2020/themenstellung.txt · Last modified: 2020/03/27 09:15 by Lars Reimann

SEWiki, © 2020