Re: Wykorzystanie OCL-a w produkcji oprogramowania / walidacja

Article View: pl.comp.objects

Article #15789

#15789

From: Peri
Date: Fri, 16 Mar 2007 09:37

21 lines
1723 bytes

On Fri, 23 Feb 2007 10:48:44 +0100, Dariusz Cieslak <cieslakd@xyz.invalid>  
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?

> 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?

-- 
Piotr

Technical Details

Message-ID: <op.to9zosxem2t6na@at-piotrpe.atena.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.task.gda.pl!not-for-mail

References: <ssp2b4-r64.ln1@dclaptop.mynetwork.com>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!newsfeed.pionier.net.pl!news.task.gda.pl!not-for-mail
From: Peri <email@server.net>
Newsgroups: pl.comp.objects
Subject: Re: Wykorzystanie OCL-a w produkcji oprogramowania / walidacja
Date: Fri, 16 Mar 2007 10:37:30 +0100
Organization: CI TASK http://news.task.gda.pl/
Lines: 21
Message-ID: <op.to9zosxem2t6na@at-piotrpe.atena.pl>
References: <ssp2b4-r64.ln1@dclaptop.mynetwork.com>
NNTP-Posting-Host: host69.atena.pl
Mime-Version: 1.0
X-Trace: news.task.gda.pl 1174037850 13940 212.160.158.69 (16 Mar 2007 09:37:30 GMT)
X-Complaints-To: abuse@news.task.gda.pl
NNTP-Posting-Date: Fri, 16 Mar 2007 09:37:30 +0000 (UTC)
X-Organization-Notice: Organization line has been filtered
User-Agent: Opera Mail/9.00 (Win32)
X-Original-Organization: CI TASK http://www.task.gda.pl/
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message