Πρόοδος στα Self-completing προγράμματα

Ο Armando Solar-Lezama, είναι αναπληρωτής καθηγητής στο Τμήμα Ηλεκτρολόγων Μηχανικών και Επιστήμης Υπολογιστών του MIT, και έχει εργαστεί σε μια γλώσσα προγραμματισμού που ονομάζεται Sketch, το οποίο επιτρέπει στους προγραμματιστές να παραλείψουν απλά μερικές από τις υπολογιστικές λεπτομέρειες του κώδικα τους. Το Sketch στη συνέχεια συμπληρώνει αυτόματα τα κενά.

Ο εμπλουτισμός του κώδικα και η διόρθωση μπορεί να γίνει  πιο φιλική προς το χρήστη, αφού το Sketch θα μπορούσε τελικά να κάνει τη ζωή ευκολότερη για τους προγραμματιστές λογισμικού. Προς το παρόν το Sketch,  αποδεικνύει την αξία του ως βάση για άλλα εργαλεία που εκμεταλλεύονται τους μηχανισμούς της "σύνθεσης προγράμματος," ή την "αυτόματη δημιουργία προγράμματος". 

Τα πρόσφατα έργα στην Επιστήμη των Υπολογιστών του MIT και Εργαστήριο Τεχνητής Νοημοσύνης που έχουν κατασκευαστεί για την ανάπτυξη του  Sketch περιλαμβάνουν ένα σύστημα αυτόματης ταξινόμησης και  αναθέσεις προγραμματισμού για τις κατηγορίες της επιστήμης των υπολογιστών, όπως για παράδειγμα ένα σύστημα που μετατρέπει χειρόγραφα σχεδιαγράμματα σε κώδικα, και ένα σύστημα που παράγει SQL ερωτήματα βάσης δεδομένων από κώδικα γραμμένο σε Java.

Η προοπτική του Sketch είναι μεγάλη αφού στόχος των ερευνητών είναι η δημιουργία ενός συστήματος που συμπληρώνει αυτόματα τα κενά στον κώδικα, ώστε να περιορίσουν την συμβολή του  προγραμματιστή στον κώδικα γλωσσών υψηλού επιπέδου. Ο προγραμματιστής θα είναι σε θέση να δίνει μόνο τις απαιτούμενες ιδιότητες και το επιθυμητό αποτέλεσμα που θέλει να έχει ο κώδικάς του. Τότε το Sketch θα αναλαμβάνει την σύνθεση του κώδικα σύμφωνα με την δεδομένη"είσοδο" και κατά το επιθυμητό αποτέλεσμα στην "έξοδο".

Διαβάστε ακόμα: Η Αυτόματη Διόρθωση Σφαλμάτων Κώδικα Λογισμικού είναι γεγονός


IT Special Advisor