portada Correction automatique des violations des règles de conception dans le code source à l'aide de l'abduction logique (en Francés)

Correction automatique des violations des règles de conception dans le code source à l'aide de l'abduction logique (en Francés)

Formato

Libro Físico

Autor

Mythily M

Editorial

Editions Notre Savoir

Idioma

Francés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.2x0.4 cm

Peso

0.10 kg.

ISBN13

9786204076546

Categorías

Tecnología: cuestiones generales

Correction automatique des violations des règles de conception dans le code source à l'aide de l'abduction logique (en Francés)

Mythily M (Autor) · Editions Notre Savoir · Tapa Blanda

Libro Nuevo Importado

Envío: 25 a 32 días háb.

$ 106.00$ 58.30

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 58.30

Llega entre el 28 Sep y el 12 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Correction automatique des violations des règles de conception dans le code source à l'aide de l'abduction logique (en Francés)"

La correction des défauts de conception dans le code source n'est pas une tâche triviale. Diagnostiquer puis corriger les incohérences entre le code d'un système logiciel et ses règles de conception (par exemple, les requêtes de base de données ne sont autorisées que dans la couche de persistance) et ses conventions de codage peut être complexe, long et source d'erreurs. Fournir un support pour ce processus est donc hautement souhaitable, mais d'une complexité bien plus grande que de suggérer des actions correctives de base pour des problèmes d'implémentation simplistes (comme le ''déclarer une variable locale pour une variable non déclarée'' suggéré par Eclipse). Cet article se concentre sur une approche de raisonnement abductif pour réduire la correction des incohérences qui consiste en (1) un moyen pour les développeurs de documenter et de vérifier les règles de conception et de codage d'un système, (2) un raisonneur logique abductif qui émet des hypothèses sur les causes possibles des incohérences entre le code du système et les règles documentées et (3) une bibliothèque d'actions correctives pour chaque cause hypothétique (4) un mécanisme de retour en arrière pour restaurer l'étape précédente.