🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.objects
Article #15790

Re: Wykorzystanie OCL-a w produkcji oprogramowania / walidacja

#15790
From: Dariusz Cieslak
Date: Mon, 19 Mar 2007 15:45
32 lines
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!news
References: <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