Το σκάκι, που αναπτύχθηκε από την Microsoft Research, είναι ένα ισχυρό εργαλείο για την ανίχνευση σφαλμάτων ταυτόχρονα σε προγράμματα πολλαπλών μελετών διερευνώντας συστηματικά όλα τα πιθανά παρεμβαλλόμενα νήματα. Μπορεί να εντοπίσει αποτελεσματικά ζητήματα όπως αδιέξοδα, Livelocks και Races Data, καθιστώντας το πολύτιμο πλεονέκτημα για τη δοκιμή ταυτόχρονου λογισμικού [1] [3] [4]. Ωστόσο, αν το σκάκι μπορεί να χρησιμοποιηθεί αποτελεσματικά με το MVVMCross για την ανίχνευση σφαλμάτων ταυτόχρονα εξαρτάται από διάφορους παράγοντες.
Επισκόπηση MVVMCROSS
Το MVVMCross είναι ένα πλαίσιο για την οικοδόμηση εφαρμογών cross-platform χρησιμοποιώντας το πρότυπο μοντέλου-View-ViewModel (MVVM). Παρέχει εργαλεία και υποδομή για τη διαχείριση της πολυπλοκότητας της ανάπτυξης μεταξύ των πλατφόρμας, συμπεριλαμβανομένης της κοινής ωφέλειας εξάρτησης και των βοηθητικών προγραμμάτων [2] [5].
Χρήση σκακιού με mvvmcross
Για να χρησιμοποιήσετε το σκάκι με το MVVMCROSS, θα χρειαστεί να ενσωματώσετε το σκάκι στο πλαίσιο δοκιμών σας. Ακολουθούν μερικά βήματα και σκέψεις:
1. Η συνάφεια στο MVVMCROSS: Οι εφαρμογές MVVMCROSS συχνά περιλαμβάνουν ταυτόχρονες λειτουργίες, ειδικά όταν ασχολούνται με ασύγχρονη φόρτωση δεδομένων ή εργασίες φόντου. Το σκάκι μπορεί να είναι επωφελές για τη δοκιμή αυτών των ταυτόχρονων σεναρίων.
2. Δοκιμή ρύθμισης: Θα πρέπει να ρυθμίσετε τις δοκιμές MVVMCROSS για να χρησιμοποιήσετε το σκάκι. Αυτό περιλαμβάνει τη δημιουργία μεθόδων δοκιμών που μπορούν να εκτελεστούν με το σκάκι, το οποίο συστηματικά μεταβάλλει τα παρεμβολές του νήματος για την ανίχνευση σφαλμάτων ταυτόχρονα. Μπορεί να χρειαστεί να προσαρμόσετε τις τάξεις δοκιμών σας για να συνεργαστείτε με τον μηχανισμό προγραμματισμού του σκακιού.
3. Χαρακτηριστικά και σχολιασμοί: Το σκάκι χρησιμοποιεί χαρακτηριστικά όπως το `[scheduleTestMethod] 'και το` [dataRacetEstMethod]' για να επισημανθεί μεθόδους για ταυτόχρονες δοκιμές. Θα χρειαστεί να εφαρμόσετε αυτά τα χαρακτηριστικά στις μεθόδους δοκιμής MVVMCROSS για να αξιοποιήσετε τις δυνατότητες του σκακιού [1].
4. Προκλήσεις ενσωμάτωσης: Η κύρια πρόκληση θα ήταν η ενσωμάτωση σκακιού με την υπάρχουσα υποδομή δοκιμών του MVVMCross Framework. Οι δοκιμές MVVMCross συνήθως κληρονομούν από το `mvxiocsupportingtest` και χρησιμοποιούν MOQ για να χλευάζουν εξαρτήσεις [2]. Θα χρειαστεί να διασφαλίσετε ότι το σκάκι μπορεί να λειτουργήσει άψογα με αυτά τα εξαρτήματα.
5. Αναπαραγωγιμότητα: Ένα από τα πλεονεκτήματα του σκακιού είναι η ικανότητά του να αναπαράγει σφάλματα ταυτόχρονης, κάτι που είναι ζωτικής σημασίας για το σφάλμα. Εάν ενσωματώνετε με επιτυχία το σκάκι με το MVVMCROSS, θα πρέπει να είστε σε θέση να αναπαράγετε και να εντοπίσετε τα ζητήματα ταυτόχρονα αποτελεσματικότερα.
Συμπέρασμα
Ενώ το σκάκι είναι ένα ισχυρό εργαλείο για την ανίχνευση σφαλμάτων ταυτόχρονης, η ενσωμάτωσή του με το MVVMCross θα απαιτούσε προσεκτική εγκατάσταση και προσαρμογή. Εάν μπορείτε να ενσωματώσετε με επιτυχία το σκάκι στο πλαίσιο δοκιμών MVVMCROSS, θα μπορούσε να είναι ένας αποτελεσματικός τρόπος για τον εντοπισμό και τα ζητήματα ταυτότητας εντοπισμού σφαλμάτων στις εφαρμογές σας cross-platform. Ωστόσο, η πολυπλοκότητα αυτής της ενσωμάτωσης μπορεί να ποικίλει ανάλογα με τις λεπτομέρειες της αρχιτεκτονικής του έργου και των απαιτήσεων δοκιμών.
Αναφορές:[1] https://github.com/leesanderson/chess
[2] https://www.mvvmcross.com/documentation/fundamentals/testing
[3] https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-2007-149.pdf
[4] https://www.microsoft.com/en-us/download/details.aspx?id=52619
[5] https://stackoverflow.com/questions/17602137/mvvmcross-how-does-this-view-get-linked-the-viewmodel/17602246
[6] https://learn.microsoft.com/en-us/archive/msdn-magazine/2008/june/tools-and-techniques-to-tridify-concurrency-issues
[7] https://stackoverflow.com/questions/689671/tool-for-detecting-concurrency-problems
[8] https://stackoverflow.com/questions/22122318/how-can-i-detect-the-platform-at-runtime-using-mvmcross
[9] https://courses.cs.washington.edu/courses/cse503/10wi/readings/osdi2008-chess.pdf