Program Structure
The organization of functionality into data types, modules, functions and their calling relationships, which determines the space of candidate programs and the set of boundary conditions that must be verified.
Timeline (last 90 days)
The paper points out that the agent first commits to a program structure (decomposing the program into data types, modules, and functions), which fixes a class of candidate programs, and the behavioral specification then selects a specific implementation within that class.
Tests sufficient for one program structure may be far from sufficient for another, requiring different edge cases or even exponentially more examples.
Program structure here refers to the organizational approach of decomposing functionality into data types, modules, functions, and their calling relationships, and the choice of structure is equivalent to carving out a subset of the infinite program space.
All Facts (3)
The paper points out that the agent first commits to a program structure (decomposing the program into data types, modules, and functions), which fixes a class of candidate programs, and the behavioral specification then selects a specific implementation within that class.
50%UnverifiedTests sufficient for one program structure may be far from sufficient for another, requiring different edge cases or even exponentially more examples.
50%UnverifiedProgram structure here refers to the organizational approach of decomposing functionality into data types, modules, functions, and their calling relationships, and the choice of structure is equivalent to carving out a subset of the infinite program space.
50%