You can subscribe to this list here.
2007 |
Jan
|
Feb
|
Mar
(3) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
---|---|---|---|---|---|---|---|---|---|---|---|---|
2008 |
Jan
|
Feb
(1) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
From: Gabriela M. <gmo...@ld...> - 2008-02-11 18:47:43
|
Hello, I download JCS, but I haven't been able to work with it. I've tried to follow the instructions in icontract2/old-docs/Getting_Started_with_iContract.txt, but in there mention the file 'config' and don't include how should it be structured. Does anyone know how it looks? There are another instructions to run JCS? Gabriela. |
From: Johan S. <j.s...@ja...> - 2007-03-04 11:12:34
|
> Do you think jcontracts invariant/pre/post conditions can be placed in > a rule engine ? If not, do you know other tools that does? Unfortunately you cannot do what you want with JContractS. JContractS integrates the contracts with the classes during builds. As mock objects are generated at runtime, they will not contain the contracts. You should use a design by contract tool that generates the contract checking code at runtime. I think the best you can do is look at an implementation that uses annotations to define the contracts. Here is a list of implemenations: http://en.wikipedia.org/wiki/Design_by_contract#Java Johan Stuyts |
From: Bas V. <bjv...@qu...> - 2007-03-03 21:48:35
|
Hi, Do you mean you want the mock objects to use the same pre and post conditions as the real objects? In that case you could specify the conditions for an interface and make both the real object as the mock implement it. Bas ----- Original Message ----- From: "Gilles Scokart" <gsc...@gm...> To: <jco...@li...> Sent: Saturday, March 03, 2007 5:11 PM Subject: [Jcontracts-users] Design by contract and mock objects > Hello, > > I'm searching for a design by contract tool that could interoperate > with mock objects. (see http://www.jmock.org/ or > http://www.mockobjects.com/ for good reference of what are mock object > if you don't know what it is). > > My requirement is that the assertion defined in the design by contract > tool can be placed in a rules engine and reused by the mock objects. > The mock object will register all method invocation, verify that the > preconditions are verified, verify that the return value defined in > the test, and register the postcondition assertion in order to be able > to verify the precondition of the next expecations. > > The goal here is really to simulate the object (by using the return > values set in the unit test), and not to use the real object, on order > to test the user of the mocked object. > > Do you think jcontracts invariant/pre/post conditions can be placed in > a rule engine ? If not, do you know other tools that does? > > > Thanks, > > -- > Gilles SCOKART > > ------------------------------------------------------------------------- > Take Surveys. Earn Cash. Influence the Future of IT > Join SourceForge.net's Techsay panel and you'll get the chance to share > your > opinions on IT & business topics through brief surveys-and earn cash > http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV > _______________________________________________ > Jcontracts-users mailing list > Jco...@li... > https://lists.sourceforge.net/lists/listinfo/jcontracts-users |
From: Gilles S. <gsc...@gm...> - 2007-03-03 16:11:46
|
Hello, I'm searching for a design by contract tool that could interoperate with mock objects. (see http://www.jmock.org/ or http://www.mockobjects.com/ for good reference of what are mock object if you don't know what it is). My requirement is that the assertion defined in the design by contract tool can be placed in a rules engine and reused by the mock objects. The mock object will register all method invocation, verify that the preconditions are verified, verify that the return value defined in the test, and register the postcondition assertion in order to be able to verify the precondition of the next expecations. The goal here is really to simulate the object (by using the return values set in the unit test), and not to use the real object, on order to test the user of the mocked object. Do you think jcontracts invariant/pre/post conditions can be placed in a rule engine ? If not, do you know other tools that does? Thanks, -- Gilles SCOKART |