Awtomatizirowannoe isprawlenie narushenij prawil proektirowaniq w ishodnom kode s pomosch'ü logicheskoj abdukcii

Isprawlenie oshibok proektirowaniq w ishodnom kode - zadacha netriwial'naq. Diagnostika i posleduüschee isprawlenie nesootwetstwij mezhdu kodom programmnoj sistemy i ee prawilami proektirowaniq (naprimer, zaprosy k baze dannyh razresheny tol'ko w sloe postoqnstwa) i soglasheniqmi po kodirowaniü mogut byt' slozhnymi, trudoemkimi i chrewatymi oshibkami. Poätomu obespechenie podderzhki ätogo processa qwlqetsq wes'ma zhelatel'nym, no gorazdo bolee slozhnym, chem predlozhenie bazowyh korrektiruüschih dejstwij dlq uproschennyh problem realizacii (naprimer, "ob#qwit' lokal'nuü peremennuü dlq neob#qwlennoj peremennoj", predlagaemoe Eclipse). V dannoj rabote osnownoe wnimanie udelqetsq podhodu abduktiwnogo rassuzhdeniq dlq isprawleniq nesootwetstwij, kotoryj sostoit iz (1) sredstwa dlq razrabotchikow dokumentirowat' i prowerqt' prawila proektirowaniq i kodirowaniq sistemy, (2) abduktiwnogo logicheskogo analizatora, kotoryj wydwigaet gipotezy o wozmozhnyh prichinah nesootwetstwij mezhdu kodom sistemy i dokumentirowannymi prawilami, (3) biblioteki korrektiruüschih dejstwij dlq kazhdoj gipoteticheskoj prichiny (4) mehanizma otkata dlq wosstanowleniq predyduschego ätapa.