Η Huawei θα αναζητήσει ελαττώματα στον κώδικα του προγράμματος χρησιμοποιώντας έναν στατικό αναλυτή

Ο στατικός αναλυτής θα επικυρώσει αυτόματα τον κώδικα του προγράμματος και θα βρει κρυφό

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

Εκτός από τη Huawei, η λίστα των νέων κατοίκων καιοι εταίροι περιελάμβαναν 15 εταιρείες, συμπεριλαμβανομένων των Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark και άλλες.

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

Και η εταιρεία "Ozone Technologies" παρουσίασε ένα έργοσχετικά με τη ρομποτικοποίηση και την αυτοματοποίηση της εφοδιαστικής της αγοράς OZON. Το έργο αφορά τη ρομποτικοποίηση κέντρων logistics και την ανάπτυξη ρομποτικών συστημάτων για αποτελεσματική αποθήκευση, επεξεργασία και παράδοση παραγγελιών. Σχεδιάζουμε τη δική μας πλατφόρμα λογισμικού και υλικού.

Να διαβασω Περαιτέρω

Οι επιστήμονες δεν κατάφεραν να πιάσουν την αλεπού Rambo εδώ και τρία χρόνια. Αποτρέπει την απελευθέρωση σπάνιων ζώων στο δάσος

Αόρατα αεροπλάνα δεν μπορούν πλέον να κρυφτούν: η Κίνα δημιουργεί ένα κβαντικό ραντάρ για να τα βρει

Οι επιστήμονες είπαν ποιος είναι πιο πιθανό να προσβληθεί από τον κορωνοϊό στο επόμενο κύμα