Talk About Network

Google


Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Pascal Ansi -iso > Re: IP Pascal p...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 9 of 9 Topic 166 of 213
Post > Topic >>

Re: IP Pascal passes the Pascal Verification Suite

by Scott Moore <samiam@[EMAIL PROTECTED] > Jul 19, 2005 at 08:05 PM

frank@[EMAIL PROTECTED]
 wrote:

> I understand your concerns about distributing the programs. I
> probably wouldn't either in your position.
> 
> I suppose this also applies to single copies by private mail, does
> it? That's actually bad, as this means, by the same reasoning, that
> even if someone of the GPC team scanned and OCRed the programs on
> his own, we couldn't even share them among ourselves ...

My guess is not, going by copyright laws.

> 
> BTW, do you feel inclined to run GPC through the test suite
> sometime, now that you have it handy? In case of failures, we could
> still refer to test programs as we have the printed copies
> available, that's the good thing. If anything is required to set it
> up for your automated testing environment (which I presume you have
> made), I can probably take care of it, if you let me know what's
> necessary.
> 
> Frank
> 

I'm guessing you would see a lot of failures. The tests pointed out
several failures in Pascal, mostly having to do with things that
should not be allowed in the language vs. things that would be valid.

I mostly concentrate on what I call "positive" testing, that is, if
it will accept a valid ISO 7185 program, vs. what it can and should
reject as being non-standard. So I don't plan to offer it in addition
to my normal testing. If GPC wants me to test, yes, I'd be willing
when time permits. But I'd also like to see you guys get the tests
going yourselves, and I think that would benifit you as well.

So it seems to me the best way to go forward with that is for the GPC
group to do some testing on your own, solve the obvious problems, then
I'll run GPC through the suite when I have the time. Sound like a deal ?

-- 
Samiam is Scott A. Moore

Personal web site: http:/www.moorecad.com/scott
My electronics engineering consulting site: http://www.moorecad.com
ISO 7185 Standard Pascal web site: http://www.moorecad.com/standardpascal
Classic Basic Games web site: http://www.moorecad.com/classicbasic
The IP Pascal web site, a high performance, highly ****table ISO 7185
Pascal
compiler system: http://www.moorecad.com/ippas

Good does not always win. But good is more patient.
 




 9 Posts in Topic:
IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-15 01:57:34 
Re: IP Pascal passes the Pascal Verification Suite
CBFalconer <cbfalconer  2005-07-15 13:48:35 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-15 08:22:32 
Re: IP Pascal passes the Pascal Verification Suite
CBFalconer <cbfalconer  2005-07-15 18:24:40 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiamsan  2005-07-15 13:42:27 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-19 10:51:03 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiamsan  2005-07-19 18:54:05 
Re: IP Pascal passes the Pascal Verification Suite
frank@[EMAIL PROTECTED]   2005-07-20 02:27:53 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-19 20:05:11 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Sun Jul 6 2:41:19 CDT 2008.