Cart
|
[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: defining correctness for an XML transformation - how?
It all depends what you mean by "verified". Yes, you have passed all your test cases. But you haven't proved that your program is correct, or that it will deliver correct results when applied to other cases. In your example there's clearly a disconnect between your narrative specification, which says trailing spaces are removed, and your predicate (using normalize-space()) which also removes leading spaces and multiple internal spaces. Perhaps none of your test cases contains leading spaces: so your testing is incomplete. Perhaps the real data will never contain leading spaces either. In that case the schema for the input is incomplete. Either way, you haven't verified correctness, you have merely passed some tests. Michael Kay Saxonica
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] |
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! 
Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|
|||||||||
