[osflash] Design By Contract on ActionScript 2
Martin Heidegger
mastakaneda at gmail.com
Sun Oct 8 10:02:13 EDT 2006
private members can be tested as well just by extending the certain class
but they can be tested (its hairy anyway).
To me DBC is a kind of "ruleset" for what you will test and how its going to
be documented. Have I missunderstood
something?
yours
Martin.
2006/10/8, Ralf Bokelberg <ralf.bokelberg at gmail.com>:
>
> Though their purpose might be similar, there are a few differences
> between the two. For example Unittests only work for public properties
> of classes, while DBC can be used anywhere. Also testing
> preconditions doesn't seem to make sense in unittests because you are
> making up the preconditions. Generally I don't think, that the two
> replace each other.
>
> Cheers,
> Ralf.
>
> On 10/8/06, Martin Heidegger <mastakaneda at gmail.com> wrote:
> > I merly know about DBC what Wikipedia tells me.
> >
> > Well, thats what mocks are supposed to do - at least they should help.
> Once
> > you use a mock in a unit test you should be able to check the state
> before
> > and the state afterwards. Interfaces are helpers that allow
> generic/plugable
> > designs. You assume a functionality by methods and documentation. Then
> you
> > check the implementation using mocks. I usually create a Abstract test
> and
> > extended versions for every implementation. I usually check multiple
> valid
> > and invalid inputs and check the output with a Mock. That should be a
> fully
> > working test of the implementation - right?
> >
> > yours
> > Martin.
> >
> > 2006/10/8, Bernd Will <bernd at ewill.de>:
> > >
> > >
> > >
> > >
> > > Hello Martin,
> > >
> > >
> > >
> > > you mean that every class should get an interface ?
> > >
> > > DBC is more than just a syntax check, DBC allows pre and post checking
> as
> > well:
> > >
> > > http://www.wayforward.net/pycontract/
> > >
> > >
> > >
> > > Regards
> > >
> > > Bernd
> > >
> > >
> > >
> > > ________________________________
> >
> > >
> > > Von: osflash-bounces at osflash.org [mailto: osflash-bounces at osflash.org]
> Im
> > Auftrag von Martin Heidegger
> > > Gesendet: Sonntag, 8. Oktober 2006 15:14
> > >
> > >
> > > An: Open Source Flash Mailing List
> > > Betreff: Re: [osflash] Design By Contract on ActionScript 2
> > >
> > >
> > >
> > >
> > >
> > > Well - so what? Unittests together with interfaces seem to be a
> strategy
> > that matches enough - doesn't it?
> > >
> > > yours
> > > Martin.
> > >
> > >
> > > 2006/10/8, Bernd Will < bernd at ewill.de >:
> > >
> > >
> > >
> > > Hello Martin,
> > >
> > >
> > >
> > > "Interface" allow syntax check during compile time.
> > >
> > > "Tests" allow semantic validation during runtime.
> > >
> > >
> > >
> > > Regards
> > >
> > > Bernd
> > >
> > >
> > >
> > > ________________________________
> >
> > >
> > > Von: osflash-bounces at osflash.org [mailto: osflash-bounces at osflash.org]
> Im
> > Auftrag von Martin Heidegger
> > > Gesendet: Sonntag, 8. Oktober 2006 14:23
> > > An: Open Source Flash Mailing List
> > >
> > >
> > > Betreff: Re: [osflash] Design By Contract on ActionScript 2
> > >
> > >
> > >
> > >
> > > To me working with interfaces is DBC. A object has a interface that
> allows
> > certain usage this usage is documented and tested with unit tests. is
> there
> > a need for more?
> > >
> > > greetings
> > > Martin.
> > >
> > >
> > > 2006/10/7, Bernd Will <bernd at ewill.de >:
> > >
> > >
> > >
> > > Hello everybody,
> > >
> > >
> > >
> > > similar to doctest, DBC in Python is also easily injected by inserting
> > inside those comment tags at the beginning of a method.
> > >
> > > It is very nice seeing UNITTEST and DBC in one comment placed directly
> > below the method's head.
> > >
> > > Here an example for UNITTEST and DBC in Python:
> > >
> > > def sort(a):
> > > """Sort a list *IN PLACE*.
> > >
> > >
> > > >>> a = [1, 1, 1, 1, 1, 2, 2, 1]
> > >
> > > >>> sort(a)
> > >
> > >
> > >
> > > >>> a
> > >
> > >
> > > [1, 1, 1, 1, 1, 1, 2, 2]
> > >
> > >
> > >
> > >
> > > >>> a = 'the quick brown fox jumped over the lazy dog'.split()
> > >
> > > >>> sort(a)
> > > >>> a
> > >
> > > ['brown', 'dog', 'fox', 'jumped', 'lazy', 'over', 'quick', 'the',
> > 'the']
> > >
> > >
> > > pre:
> > > # must be a list
> > >
> > >
> > >
> > >
> > > isinstance(a, list)
> > >
> > >
> > >
> > >
> > > # all elements must be comparable with all other items
> > >
> > > forall(range(len(a)),
> > >
> > >
> > >
> > > lambda i: forall(range(len(a)),
> > >
> > >
> > > lambda j: (a[i] < a[j]) ^ (a[i] >=
> a[j])))
> > >
> > >
> > >
> > >
> > > post[a]:
> > > # length of array is unchanged
> > >
> > >
> > >
> > > len(a) == len(__old__.a)
> > >
> > >
> > >
> > >
> > > # all elements given are still in the array
> > >
> > >
> > > forall(__old__.a, lambda e: __old__.a.count(e) == a.count(e))
> > >
> > >
> > >
> > >
> > > # the array is sorted
> > > forall([a[i] >= a[i-1] for i in range(1, len(a))])
> > >
> > >
> > > """
> > >
> > > a.sort()
> > >
> > >
> > >
> > >
> > > # enable contract checking
> > >
> > >
> > > import contract
> > >
> > >
> > > contract.checkmod(__name__)
> > >
> > >
> > >
> > >
> > > def _test():
> > >
> > >
> > >
> > > import doctest, sort
> > >
> > >
> > > return doctest.testmod(sort)
> > >
> > >
> > >
> > >
> > >
> > > if __name__ == "__main__":
> > >
> > >
> > > _test()
> > >
> > >
> > >
> > >
> > >
> > >
> > > Regards
> > >
> > > Bernd
> > >
> > >
> > >
> > > ________________________________
> >
> > >
> > > Von: osflash-bounces at osflash.org [mailto: osflash-bounces at osflash.org]
> Im
> > Auftrag von Miguel Serrano Milano
> > > Gesendet: Samstag, 7. Oktober 2006 16:09
> > > An: osflash at osflash.org
> > > Betreff: Re: [osflash] Design By Contract on ActionScript 2
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > > Hi! I've been thinking about this last days. There's no solution at
> the
> > moment, but it is not difficult to develop a solution by one of this two
> > ways:
> > >
> > >
> > >
> > >
> > >
> > > 1. Explicit asserts and an AOP approach to check and invariants. The
> > asserts are easy to define: just a collection of Assert.precondition()
> and
> > Assert.precondition(), and as invariants a method classInvariants()
> could be
> > defined to be invoked after every method call.
> > >
> > >
> > >
> > >
> > >
> > > 2. A precompiler. I think there are tools to write precompilers for
> any
> > language. Do somebody know something about this?
> > >
> > >
> > >
> > >
> > >
> > > What do you think?
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > > Message: 1
> > >
> > >
> > > Date: Thu, 5 Oct 2006 15:11:13 -0300
> > >
> > >
> > > From: "Marcelo de Moraes Serpa" < celoserpa at gmail.com>
> > >
> > >
> > > Subject: [osflash] Design By Contract on ActionScript 2
> > >
> > >
> > > To: osflash at osflash.org
> > >
> > >
> > > Message-ID:
> > >
> > >
> > > <
> > 1e5bcefd0610051111u32390762kc43f423a31d8b4f5 at mail.gmail.com>
> > >
> > >
> > > Content-Type: text/plain; charset=ISO-8859-1; format=flowed
> > >
> > >
> > >
> > >
> > >
> > > Is there any tool for AS2 that allows me to implement the DBC
> methodology?
> > >
> > >
> > >
> > >
> > >
> > > Cheers,
> > >
> > >
> > >
> > >
> > >
> > > Marceo.
> > >
> > >
> > >
> > >
> > >
> > > Miguel Serrano Milano
> > >
> > >
> > > mserranom at gmail.com
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > > _______________________________________________
> > > osflash mailing list
> > > osflash at osflash.org
> > > http://osflash.org/mailman/listinfo/osflash_osflash.org
> > >
> > >
> > >
> > >
> > > --
> > > ICQ: 117662935
> > > Skype: mastakaneda
> > >
> > >
> > >
> > >
> > > _______________________________________________
> > > osflash mailing list
> > > osflash at osflash.org
> > > http://osflash.org/mailman/listinfo/osflash_osflash.org
> > >
> > >
> > >
> > >
> > >
> > >
> > > --
> > > ICQ: 117662935
> > > Skype: mastakaneda
> > > _______________________________________________
> > > osflash mailing list
> > > osflash at osflash.org
> > > http://osflash.org/mailman/listinfo/osflash_osflash.org
> > >
> > >
> > >
> >
> >
> >
> > --
> > ICQ: 117662935
> > Skype: mastakaneda
> > _______________________________________________
> > osflash mailing list
> > osflash at osflash.org
> > http://osflash.org/mailman/listinfo/osflash_osflash.org
> >
> >
> >
>
>
> --
> Ralf Bokelberg <ralf.bokelberg at gmail.com>
> Flex & Flash Consultant based in Cologne/Germany
>
> _______________________________________________
> osflash mailing list
> osflash at osflash.org
> http://osflash.org/mailman/listinfo/osflash_osflash.org
>
--
ICQ: 117662935
Skype: mastakaneda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://osflash.org/pipermail/osflash_osflash.org/attachments/20061008/a60e2a01/attachment.htm
More information about the osflash
mailing list