2 resultados para Safety-critical software

em Université de Montréal, Canada


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Les relations de travail et d'emploi sont devenues des enjeux importants en Chine. La Chine a ratifié 25 conventions internationales du travail et a travaillé en étroite collaboration avec l'OIT pour améliorer la sécurité et la santé au travail. Malgré ces efforts, la Chine est souvent critiquée pour des violations du travail. Face à ces problèmes, un système législatif d'administration de travail a été développé au niveau national. Mais l’application de ces règlements demeure problématique.. En particulier, les difficultés rencontrées par les inspecteurs du travail dans l'application de ces lois constituent un élément clé du problème. Notre mémoire s'intéresse essentiellement au rôle de l'inspecteur du travail dans l'administration publique de la sécurité du travail en Chine. Ces fonctionnaires jouent un rôle important et peuvent parfois exercer leur discrétion en tant qu'acteurs de première ligne, faisant d'eux de vrais décideurs politiques. Par conséquent, la compréhension de leur rôle et de leur discrétion dans l'application des normes du travail en Chine est cruciale. Notre mémoire est centré sur une étude de cas qualitative d'un bureau d'inspection du travail dans la région de Beijing. Dans le cadre de notre recherche nous avons examiné le rôle des inspecteurs du travail au moyen d’entretiens semi-structurés, d’une recherche documentaire ainsi qu’à l’occasion d’une brève observation des inspecteurs sur lors de la visite d’un lieu de travail. Les résultats démontrent que la définition du pouvoir discrétionnaire des inspecteurs du travail de première ligne en Chine est un enjeu très complexe. L’étude de cas permet cependant d’élaborer un cadre permettant l’identification des facteurs critiques déterminants pour l'évaluation et la compréhension de la nature du pouvoir discrétionnaire de l'inspecteur du travail en application de la loi.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Les systèmes logiciels sont devenus de plus en plus répondus et importants dans notre société. Ainsi, il y a un besoin constant de logiciels de haute qualité. Pour améliorer la qualité de logiciels, l’une des techniques les plus utilisées est le refactoring qui sert à améliorer la structure d'un programme tout en préservant son comportement externe. Le refactoring promet, s'il est appliqué convenablement, à améliorer la compréhensibilité, la maintenabilité et l'extensibilité du logiciel tout en améliorant la productivité des programmeurs. En général, le refactoring pourra s’appliquer au niveau de spécification, conception ou code. Cette thèse porte sur l'automatisation de processus de recommandation de refactoring, au niveau code, s’appliquant en deux étapes principales: 1) la détection des fragments de code qui devraient être améliorés (e.g., les défauts de conception), et 2) l'identification des solutions de refactoring à appliquer. Pour la première étape, nous traduisons des régularités qui peuvent être trouvés dans des exemples de défauts de conception. Nous utilisons un algorithme génétique pour générer automatiquement des règles de détection à partir des exemples de défauts. Pour la deuxième étape, nous introduisons une approche se basant sur une recherche heuristique. Le processus consiste à trouver la séquence optimale d'opérations de refactoring permettant d'améliorer la qualité du logiciel en minimisant le nombre de défauts tout en priorisant les instances les plus critiques. De plus, nous explorons d'autres objectifs à optimiser: le nombre de changements requis pour appliquer la solution de refactoring, la préservation de la sémantique, et la consistance avec l’historique de changements. Ainsi, réduire le nombre de changements permets de garder autant que possible avec la conception initiale. La préservation de la sémantique assure que le programme restructuré est sémantiquement cohérent. De plus, nous utilisons l'historique de changement pour suggérer de nouveaux refactorings dans des contextes similaires. En outre, nous introduisons une approche multi-objective pour améliorer les attributs de qualité du logiciel (la flexibilité, la maintenabilité, etc.), fixer les « mauvaises » pratiques de conception (défauts de conception), tout en introduisant les « bonnes » pratiques de conception (patrons de conception).