Article View: pl.comp.objects
Article #15790Re: Wykorzystanie OCL-a w produkcji oprogramowania / walidacja
From: Dariusz Cieslak
Date: Mon, 19 Mar 2007 15:45
Date: Mon, 19 Mar 2007 15:45
32 lines
2131 bytes
2131 bytes
On 2007-03-16, Peri <email@server.net> wrote: > Ja nie odpowiem, ale chciałbym zapytać Ciebie :) > > > Od jakiegoś czasu próbuję zaprząc język OCL (Object Constraint > > Language) do utrwalenia decyzji projektowych i wymagań dla > > tworzonego systemu. Korzystam z USE (UML-based Specification > > Environment, > > Tzn., że nie ma już miejsca na refaktoring kodu? To są rzeczy niezależne od siebie. Refaktoryzację przeprowadza się w istniejącym kodzie, specyfikacja jest dla kodu, który dopiero powstanie. > > http://www.db.informatik.uni-bremen.de/projects/USE). Dzięki > > symulacji jest teoretycznie możliwa dynamiczna walidacja wyrażeń > > OCL podczas testowania (ale nie udało mi się jeszcze tego > > mechanizmu zintegrować z Pythonem). > > Z tego co widzę w przykładach na tej stronie to wygląda jak zwykłe > testy jednostkowe lub akceptacyjne tylko mniej wygodne. Czy się > myle? Nie, to jest metoda na naszkicowanie funkcjonalności. Można opisać decyzje projektowe i założenia systemu w bardzo kompaktowy sposób nieosiągalny dla zwykłego zapisu np. w Javie czy SQL-u. Dzięki temu specyfikacje są zwięzłe. -- Dariusz Cieslak http://aplikacja.info - systemy informatyczne na zamówienie
Technical Details
Message-ID:
<bpn2d4-ce3.ln1@dclaptop.mynetwork.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsReferences:
<ssp2b4-r64.ln1@dclaptop.mynetwork.com> <op.to9zosxem2t6na@at-piotrpe.atena.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!news From: Dariusz Cieslak <cieslakd@xyz.invalid> Newsgroups: pl.comp.objects Subject: Re: Wykorzystanie OCL-a w produkcji oprogramowania / walidacja Date: Mon, 19 Mar 2007 16:45:15 +0100 Organization: "Portal Gazeta.pl -> http://www.gazeta.pl" Lines: 32 Message-ID: <bpn2d4-ce3.ln1@dclaptop.mynetwork.com> References: <ssp2b4-r64.ln1@dclaptop.mynetwork.com> <op.to9zosxem2t6na@at-piotrpe.atena.pl> Reply-To: cieslakd@xyz.invalid NNTP-Posting-Host: atp82.internetdsl.tpnet.pl Mime-Version: 1.0 X-Trace: inews.gazeta.pl 1174320147 16271 83.17.253.82 (19 Mar 2007 16:02:27 GMT) X-Complaints-To: usenet@agora.pl NNTP-Posting-Date: Mon, 19 Mar 2007 16:02:27 +0000 (UTC) X-User: cieslakd User-Agent: slrn/0.9.8.1pl1 (Debian) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit