Automatische Korrektur von Verstößen gegen Entwurfsregeln im Quellcode durch logische Abduktion - M, Mythily
39,90 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
0 °P sammeln
  • Broschiertes Buch

Die Korrektur von Designfehlern im Quellcode ist keine triviale Aufgabe. Die Diagnose und anschließende Korrektur von Inkonsistenzen zwischen dem Code eines Softwaresystems und seinen Entwurfsregeln (z.B. Datenbankabfragen sind nur in der Persistenzschicht erlaubt) sowie den Codierungskonventionen kann komplex, zeitaufwändig und fehleranfällig sein. Die Unterstützung dieses Prozesses ist daher sehr wünschenswert, aber weitaus komplexer als das Vorschlagen einfacher Korrekturmaßnahmen für einfache Implementierungsprobleme (wie das von Eclipse vorgeschlagene "Deklarieren einer lokalen Variable…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Die Korrektur von Designfehlern im Quellcode ist keine triviale Aufgabe. Die Diagnose und anschließende Korrektur von Inkonsistenzen zwischen dem Code eines Softwaresystems und seinen Entwurfsregeln (z.B. Datenbankabfragen sind nur in der Persistenzschicht erlaubt) sowie den Codierungskonventionen kann komplex, zeitaufwändig und fehleranfällig sein. Die Unterstützung dieses Prozesses ist daher sehr wünschenswert, aber weitaus komplexer als das Vorschlagen einfacher Korrekturmaßnahmen für einfache Implementierungsprobleme (wie das von Eclipse vorgeschlagene "Deklarieren einer lokalen Variable für eine nicht deklarierte Variable"). Dieser Ansatz besteht aus (1) einem Mittel für Entwickler, um die Entwurfs- und Codierungsregeln eines Systems zu dokumentieren und zu verifizieren, (2) einem abduktiven Logic Reasoner, der mögliche Ursachen für Inkonsistenzen zwischen dem Code des Systems und den dokumentierten Regeln vermutet, und (3) einer Bibliothek von Korrekturmaßnahmen für jede vermutete Ursache, (4) einem Rollback-Back-Mechanismus, um die vorherige Stufe wiederherzustellen.
Autorenporträt
Dr.M. Mythily hat ihre Promotion in Softwaresicherheit abgeschlossen. Als Akademikerin sammelte sie mehr als zehn Jahre Erfahrung in der Industrie und im Unterrichten. Ihr Interessengebiet umfasst Software Engineering, Design Patterns und Problemlösungstechniken sowie Software.