Tests for SoftwareSpec and subclasses