Feature-oriented code is a new approach in modern software engineering, whereby features are consolidated into modules rather than spread throughout multiple classes. This method of organization may be beneficial when used with automated verification systems. Features can potentially be isolated and verified individually, lessening the time needed for verification. Features might also be verified before being added to a system. This project examines using verification tools on feature-oriented code, with an eye on verifying individual features separated from the system.
Worcester Polytechnic Institute
Electrical and Computer Engineering
Major Qualifying Project
Access to this report is limited to members of the WPI community. Please contact a project advisor or their department to request access
Restricted-WPI community only