Projet d’essai des participants BPEL Le projet BPTesting propose une approche de dérivation et d’exécution des tests pour mettre en évidence les inadéquations possibles de l’interopérabilité dans les orchestrations BPEL. Les tests des participants sont effectués par des suites de test et de quot;ad hoc" dérivées des techniques de vérification des modèles. La génération de données pour les tests est guidée par un algorithme génétique. Introduction L’informatique orientée vers le service est une discipline émergente qui favorise et facilite l’intégration inter-organisation des systèmes logiciels. Dans un tel contexte, les questions d’interopérabilité sont considérées comme une menace majeure pour une intégration correcte. Dans ce contexte, une orchestration de service fait référence à des compositions de service qui prévoient la présence d’un point central de contrôle et d’exécution (l’orchestrateur) entre de nombreux services participants indépendants. Le langage d’exécution des processus web service-entreprise (BPEL pour faire court) a la grande chance de devenir la norme de premier plan pour l’orchestration des services Web et, du point de vue des tests, présente des défis importants. Notre approche combine des techniques de vérification de modèles et d’algorithmes génétiques pour obtenir des cas de test à utiliser afin de vérifier le comportement des services qui joueront un rôle au sein d’une orchestration donnée. En particulier, des techniques d’algorithmes génétiques sont utilisées pour traiter la génération de données et éviter les problèmes liés à l’explosion de l’État. Application En commençant par une description BPEL et un ensemble de fichiers WSDL connexes, notre framework est capable de construire un modèle Java adapté au modèle checker Java PathFinder et un algorithme génétique pour la génération de données. Former le modèle d’exécution, nous sommes en mesure d’isoler les traces d’exécution et de tirer des cas de test pour chaque participant impliqué. La mise en œuvre n’en est qu’à ses débuts, mais nous construisons l’infrastructure complète du système. Maintenant, seul un sous-ensemble de la langue BPEL est traduit et le modèle nécessite une modification manuelle pour être exécutable. Nous apprécierons tout commentaire, suggestion ou participation au sujet des projets. Voir la section "People" pour les contacts.
historique de la version
- Version bpt0.9 posté sur 2009-10-29
Plusieurs correctifs et mises à jour - Version bpt0.9 posté sur 2009-10-29
Détails du programme
- Catégorie: Réseau & Internet > Autres
- Éditeur: bptesting.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 0.9
- Plate-forme: windows