That's a really interesting question. Of course, whether string theory is science is itself very controversial these days, even among physicists.
But before talking about string theory, I think it would be helpful to think more about general relativity (GR), which I think also presents a really borderline case. GR is a theory which people believe, on the basis of various experiments, to be an accurate description of how the universe works (on scales above the quantum, anyway). However, it's notoriously mathematically difficult, and there are quite a few mathematicians who spend their lives striving to figure out just what the theory actually says, i.e. what its consequences are.
Are these people doing science? I think it's a thorny question. The activity they're involved in is not essentially scientific, in the sense that they're largely not interested much (if at all) in empirical tests of anything they prove; and they proceed as mathematicians, proving theorems. On the other hand, because they happen to be working on a poorly-understood theory that is, nevertheless, believed for empirical reasons to describe our universe, their results can have major direct impact on what we believe to be true about the physical world. (Much like results in Euclidean geometry back when we thought space was Euclidean).
So I think it's something of a gray area. These people are fully engaged in mathematics and mathematical epistemology, and in particular are proving things mathematically. But they also have the potential to make discoveries about the real world, because empirically, the theory has already been tested.
(Of course, it's also possible that they would derive a new consequence which would then actually be falsified, and GR would then be discarded, after all. In that case, their results would still be true math, but we would no longer consider it descriptive of our universe, which highlights the sense in which they are and aren't doing science).
Back to string theory, then: I think it's the same as GR, except that in this case, the theory hasn't even been tested yet. So what you have is a physical theory about the universe, and mathematicians (and physicists) are working hard to figure out just what the heck the thing says so that maybe, some day, it can be evaluated empirically. (Which is looking worse and worse). Perhaps eventually it will be decided that string theory isn't good physics (for example). Then the physicists who worked on it will be sad; and the mathematicians will say, "Huh. Too bad the universe doesn't work that way, but look at the great math we discovered!"