Wykorzystanie OCL-a w produkcji oprogramowania / walidacja

Article View: pl.comp.objects

Article #15788

#15788

From: Dariusz Cieslak
Date: Fri, 23 Feb 2007 09:48

20 lines
1774 bytes

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,
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 praktyki w innych firmach widzę, że nawet modele klas UML są zwykle
sprowadzane do schematów bazy danych w postaci graficznej i na tym
etap modelowania się kończy (projekty małe, poniżej 8 programistów).

Czy ktoś z grupowiczów korzysta z OCL-a w procesie konstrukcji
oprogramowania? Jeśli tak, to z jakich narzędzi korzystacie i czy dają
one jakąkolwiek możliwość (buć może częściową) sprawdzenia poprawności
/ funckjonalności kodu względem specyfikacji?

-- 
Dariusz Cieslak
http://aplikacja.info - systemy informatyczne na zamówienie

Technical Details

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

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!news

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: Wykorzystanie OCL-a w produkcji oprogramowania / walidacja
Date: Fri, 23 Feb 2007 10:48:44 +0100
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 20
Message-ID: <ssp2b4-r64.ln1@dclaptop.mynetwork.com>
Reply-To: cieslakd@xyz.invalid
NNTP-Posting-Host: dlk76.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: inews.gazeta.pl 1172224875 16542 83.24.40.76 (23 Feb 2007 10:01:15 GMT)
X-Complaints-To: usenet@agora.pl
NNTP-Posting-Date: Fri, 23 Feb 2007 10:01:15 +0000 (UTC)
X-User: cieslakd
User-Agent: slrn/0.9.8.1 (Debian)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit