I think PROC UNIVARIATE is the correct procedure to use here, since you have matched-pairs data rather than two independent samples. The only concern I'd have is that your variables are not continuous but only ordinally scaled. It appears, however, that "many researchers do treat Likert scale response data as if it were interval data" (quote from http://pages.cpsc.ucalgary.ca/~saul/wiki/uploads/CPSC681/topic-dane-likert.doc, p. 2, including italics; please see also the caveat described there!).
So, strictly speaking, the sign test would be more appropriate -- but less powerful than the Wilcoxon signed-rank test. Both tests are computed by PROC UNIVARIATE (based on the differences of the paired values), as you can see in your SAS output.
If you go for the Wilcoxon signed-rank test (in spite of the concern), the test statistic S provided by PROC UNIVARIATE differs in fact from the more common test statistic, which is denoted by T + in several standard textbooks on nonparametric statistics. But also the notation W n + can be found for it (e.g. in the German standard reference by Büning and Trenkler). The conversion between the two is quite easy: S = T + − n(n+1)/4, where n denotes the number of matched pairs minus the number of pairs with difference zero (according to another German textbook I have in front of me; cf. also the SAS documentation: http://documentation.sas.com/?docsetId=procstat&docsetTarget=procstat_univariate_details17.htm&docsetVersion=9.4). Since n(n+1)/4 = E(T + ) [edit:] under the test's null hypothesis, S is just the centered version of random variable T + and has in particular expectation zero.
I think you can report either test statistic as long as it is clear which one you mean (and as you don't misspell "Wilcoxon" ;-)).
... View more