Resumen

Los protocolos de API especifican secuencias correctas de invocaciones de métodos. A pesar de su utilidad, los protocolos de API a menudo no están disponibles en la práctica porque escribirlos es tedioso y propenso a errores. Los protocolos de API de múltiples objetos son más expresivos que los protocolos de API de un solo objeto. Sin embargo, el gran número de objetos de programas orientados a objetos típicos representa un gran desafío para la extracción automática de protocolos de API de múltiples objetos: además de mantener la escalabilidad, es importante capturar diversas interacciones entre objetos. Los enfoques actuales utilizan diversas heurísticas para centrarse en pequeños conjuntos de métodos. En este artículo, presentamos un enfoque general, escalable, para la extracción de protocolos de API de múltiples objetos que puede capturar todas las interacciones entre objetos. Nuestro enfoque utiliza valores de campo abstractos para etiquetar los estados de los objetos durante el proceso de extracción. Primero extraemos tipos de estados de objetos individuales como autómatas finitos cuyas transiciones están anot

• Materias:Robots Cuidados pediátricos Experimentos numéricos Radares Factores psicológicos
• Subjects:Robot Pediatric care Numerical experiments Radars Psychological factors
• Palabras claves:Protocolos de API; Objeto múltiple; Interacciones de objetos; Enfoque de minería; Estados de tipo de objeto único; Java
• Keywords:Api protocols; Multiple object; Object interactions; Mining approach; Single object typestates; Java