The way it has been done in JCK was a specs written in somewhat formalized language and a tool (called testgen, written in Perl if I remember correctly) which was dynamically generating a lot of lang tests. I think this is a middle ground Milind has mentioned.
BTW, it was a _huge_ effort: Sun had two team working on TCK - ~40+ people - working for a few years on that thing. -- Take care, Konstantin (Cos) Boudnik On Thu, May 12, 2011 at 22:38, Ted Dunning <[email protected]> wrote: > I would say that an English spec with associated test suite is a middle > ground. > > On Thu, May 12, 2011 at 9:52 PM, Milind Bhandarkar <[email protected] >> wrote: > >> Ok, my mistake. They have only asked for documented specifications. I may >> have been influenced by all the specifications I have read. All of them >> were in English, which is characterized as a natural language. >> >> But then, if you are proposing a specification in a non-natural-language, >> isn't that called a test suite ? Or is there a middle ground ? >> >> - milind >> >> -- >> Milind Bhandarkar >> [email protected] >> +1-650-776-3167 >> >> >> >> >> >> >> On 5/12/11 9:05 PM, "Ted Dunning" <[email protected]> wrote: >> >> >Did anybody propose natural language only specifications? >> >
