Feature Interactions on Steroids: On the Composition of ML Models

05/13/2021
by   Christian Kästner, et al.
14

The lack of specifications is a key difference between traditional software engineering and machine learning. We discuss how it drastically impacts how we think about divide-and-conquer approaches to system design, and how it impacts reuse, testing and debugging activities. Traditionally, specifications provide a cornerstone for compositional reasoning and for the divide-and-conquer strategy of how we build large and complex systems from components, but those are hard to come by for machine-learned components. While the lack of specification seems like a fundamental new problem at first sight, in fact software engineers routinely deal with iffy specifications in practice: we face weak specifications, wrong specifications, and unanticipated interactions among components and their specifications. Machine learning may push us further, but the problems are not fundamentally new. Rethinking machine-learning model composition from the perspective of the feature interaction problem, we may even teach us a thing or two on how to move forward, including the importance of integration testing, of requirements engineering, and of design.

READ FULL TEXT

page 2

page 4

page 5

page 11

page 13

page 15

research
04/15/2019

Compositional Specifications for ioco Testing

Model-based testing is a promising technology for black-box software and...
research
05/29/2019

A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems

We propose a set of compositional design patterns to describe a large va...
research
11/15/2017

Can clone detection support quality assessments of requirements specifications?

Due to their pivotal role in software engineering, considerable effort i...
research
10/14/2019

Component Mismatches Are a Critical Bottleneck to Fielding AI-Enabled Systems in the Public Sector

The use of machine learning or artificial intelligence (ML/AI) holds sub...
research
01/26/2023

Design of Mobile Manipulator for Fire Extinguisher Testing. Part I Key Specifications and Conceptual Design

All flames are extinguished as early as possible, or fire services have ...
research
05/10/2022

Metamorphic Testing and Debugging of Tax Preparation Software

This paper presents a data-driven debugging framework to improve the tru...
research
01/26/2023

Design of Mobile Manipulator for Fire Extinguisher Testing. Part II: Design and Simulation

All flames are extinguished as early as possible, or fire services have ...

Please sign up or login with your details

Forgot password? Click here to reset