Les échecs, développés par Microsoft Research, sont un outil puissant pour détecter les erreurs de concurrence dans les programmes multithreads en explorant systématiquement tous les entrelacés de threads possibles. Il peut identifier efficacement des problèmes tels que les impasses, les moyens de réalisation et les races de données, ce qui en fait un atout précieux pour tester les logiciels simultanés [1] [3] [4]. Cependant, si les échecs peuvent être utilisés efficacement avec MVVMCROSS pour détecter les erreurs de concurrence dépend de plusieurs facteurs.
Présentation de MVVMCross
MVVMCROSS est un cadre de création d'applications multiplateformes à l'aide du modèle Model-View-ViewModel (MVVM). Il fournit des outils et des infrastructures pour gérer la complexité du développement multiplateforme, y compris les utilitaires d'injection et de filetage de dépendance [2] [5].
Utilisation d'échecs avec mvvmcross
Pour utiliser les échecs avec MVVMCross, vous devrez intégrer les échecs dans votre cadre de test. Voici quelques étapes et considérations:
1. La concurrence dans MVVMCROSS: les applications MVVMCross impliquent souvent des opérations simultanées, en particulier lorsqu'ils traitent des tâches de chargement de données asynchrones ou d'arrière-plan. Les échecs peuvent être bénéfiques pour tester ces scénarios simultanés.
2. Configuration des tests: vous devrez configurer vos tests MVVMCross pour utiliser les échecs. Cela implique la création de méthodes de test qui peuvent être exécutées par les échecs, ce qui varie systématiquement les entrelages de threads pour détecter les bogues de concurrence. Vous devrez peut-être adapter vos cours de test pour travailler avec le mécanisme de planification des échecs.
3. Attributs et annotations: les échecs utilisent des attributs comme `[scheduletestMethod]` et `[dataraceTestMethod]` pour marquer des méthodes pour des tests simultanés. Vous devez appliquer ces attributs à vos méthodes de test MVVMCross pour tirer parti des capacités de l'échec [1].
4. Défis d'intégration: Le principal défi serait d'intégrer les échecs à l'infrastructure de test existante du Framework MVVMCross. Les tests MVVMCross héritent généralement de `MVXIOCSupportingTest» et utilisent le MOQ pour moquerie les dépendances [2]. Vous devez vous assurer que les échecs peuvent fonctionner de manière transparente avec ces composants.
5. Reproductibilité: L'une des forces des échecs est sa capacité à reproduire les erreurs de concurrence, ce qui est crucial pour le débogage. Si vous intégrez avec succès les échecs à MVVMCross, vous devriez être en mesure de reproduire et de déboguer les problèmes de concurrence plus efficacement.
Conclusion
Bien que les échecs soient un outil puissant pour détecter les erreurs de concurrence, son intégration avec MVVMCross nécessiterait une configuration et une adaptation minutieuses. Si vous pouvez intégrer avec succès les échecs dans votre cadre de test MVVMCross, cela pourrait être un moyen efficace d'identifier et de déboguer les problèmes de concurrence dans vos applications multiplateformes. Cependant, la complexité de cette intégration pourrait varier en fonction des spécificités de l'architecture de votre projet et des exigences de test.
Citations:[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-endentify-cconcurrency-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-mvvmcross
[9] https://courses.cs.washington.edu/courses/cse503/10wi/readings/osdi2008-chess.pdf