Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 11

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
Code based (“white box”) approach to testing can be divided into two main types: control flow coverage and data flow coverage methods. Dataflow testing was introduced for structural programming languages and later adopted for object languages. Among many tools supporting code based testing of object programs, only JaBUTi and DFC (Data Flow Coverage) support dataflow testing of Java programs. DFC is a tool implemented at the Institute of Computer Science Warsaw University of Technology as an Eclipse plug-in. The objective of this paper is to present dataflow coverage testing of Java programs supported by DFC. DFC finds all definition-uses pairs in tested unit and provides also the definition-uses graph for methods. After the execution of test information which def-uses pairs were covered is shown. An example of data flow testing of Java program is also presented
EN
Parallel programming has been attracting attention of programmers and researchers for many years. Parallelization is a very difficult task and may cause many runtime errors so some methods and tools facilitating this process are necessary. Parallel code can be prepared by a programmer or automatically by some compilers. As both approaches have advantages and disadvantages, it seems that a tool enabling manual and automatic parallelization can be very useful in the production of fast programs. Such a tool, called ParaGraph, was designed and implemented at the Institute of Computer Science, Warsaw University of Technology. ParaGraph is platform independent and plug-in in Eclipse IDE. In this paper an experiment comparing the effectiveness of manual and automatical parallelization of a program with Paragraph is described.
PL
Kod programu może zostać zrównoleglony przez programistę ("ręcznie") lub automatycznie przez specjalizowane kompilatory. Oba podejścia mają wady i zalety toteż narzędzie pozwalające na zrównoleglanie kodu obu metodami powinno pomóc w produkcji efektywnych programów równoległych. Narzędzie takie, nazwane Paragraph, zostało zrealizowane w Instytucie Informatyki PW jako wtyczka do Eclipsa. W pracy przedstawiono eksperyment porównujący efektywność kodu zrównoleglanego obu metodami za pomocą Paragraphu.
EN
In this paper a modeler, named Dodocum, of three dimensional Documenl Cireulation Diagram(DOD) implemented in the TOPCASED environment is presented. This tool generates appropriate UML diagrams from a DOD model. Three dimensional DOD model, briefly deseribed in the paper, enables to design the functionality, structure and even the behavior of an application. Automatically generated UML diagrams are consistent and well enough describe the logical view of software. Metamodel of three dimensional Document Circulation Diagram(DOD) is also presented and the transformation from DOD in to UML diagrams are shown.
PL
W niniejszej pracy przedstawiono proces budowy aplikacji w środowisku Topcased na przykładzie zrealizowanego modelera Dodocum. Dodocum umożliwia generowanie różnych diagramów UML z diagramu przestrzennego DOD opisującego realizację procesów biznesowych jednocześnie w trzech różnych aspektach – funkcjonalność, zachowanie, a także struktura. Oryginalnym rozwiązaniem zaprezentowanym w pracy jest metamodel modelu przestrzennego DOD pokazany w sekcji 4.1 oraz transformacja modelu DOD do UML przedstawiona w sekcji 4.3. Zrealizowane narzędzie zostało zastosowane w praktyce w realizowanym przez firmę WOLA INFO projekcie.
PL
Zapis danych z interakcji człowieka z aplikacjami internetowymi może dać szeroki obraz jego sposobu zachowania. Przy pomocy algorytmów do odkrywania wiedzy możliwe jest znalezienie w tych danych prawidłowości przydatnych do lepszego zrozumienia ludzkich problemów i potrzeb. Istniejące systemy prowadzą rejestrację i analizę danych zazwyczaj w obrębie jednej aplikacji. Są wśród nich niewielkie systemy oferujące ograniczony zestaw analiz oraz potężne, dedykowane dla dużych serwisów internetowych. Brakuje systemu łatwego do dołączenia do każdej aplikacji, pozwalającego na eksport danych do wspólnej bazy danych oraz ich analizę za pomocą algorytmów, które użytkownicy mogli by sami konfigurować i dodawać nowe. W pracy przedstawiono projekt takiego systemu, pozwalającego użytkownikowi na określenie rejestrowanych danych oraz na wybór algorytmu odkrywania wiedzy.
EN
Registration of user interactions with internet application can be the basis for different analysis. Using algorithms for knowledge discovery it is possible to find many interesting trends, obtain pattern of user behavior, better understand user needs. There are small systems, performing fixed number of analysis and there are also systems dedicated to huge internet services. We haven't managed to find a flexible and easy to integrate system which would be able to collect and stare data from users interactions from many applications in one data base, and analyze them using knowledge discovery algorithms. In this paper the design of such system - ELM is presented. A user is able to add his own algorithms to ELM or tune implemented ones, as well as decide what information will be stored.
EN
Component model is a method of components formalization and standardization. It describes components creation, usage and specification. In this paper Fractal component model is described. It contains components hierarchy, nonfunctional interfaces, optional interfaces. For this model a CASE tool – Fractal Modeler was implemented. The tool enables users to create component systems and generates UML class diagram in IBM Rational Software Architect format.
PL
Użycie komponentów w znacznym stopniu przyspiesza czas dostawy oprogramowania, sprawia, że oprogramowanie jest tańsze i bardziej niezawodne. Do efektywnego wykorzystania komponentów niezbędne są repozytoria z informacjami o komponentach umożliwiające efektywne ich wyszukiwanie. W oparciu o wady i zalety istniejących repozytoriów zaproponowano pożądane cechy repozytorium komponentów. W pracy przedstawiono zrealizowane w Instytucie Informatyki PW repozytorium komponentów, dysponujące większymi możliwościami niż istniejące. Repozytorium to porównano z istniejącymi repozytoriami.
EN
The development of Component-based Software Engineering depends mostly on facility for searching for appropriate reusable components in a global market. This paper presents an approach to build the components repository and an integrated application for designing the component system. The designed and implemented repository is useful for storing and searching for software components. Same new techniques for components description are introduced. The first part of this paper describes the design, implementation and functionality of the developed repository and application. At the end same tests and experiments are presented. In conclusions the quality of the repository is discussed and the possibilities of future work are mentioned.
PL
Rozwój komponentowej inżynierii oprogramowania zależy w dużej mierze od możliwości sprawnego wyszukiwania i porównywania komponentów na globalnym rynku. W pracy opisano pożądane cechy repozytoriów komponentów. Cechy te mogą być wytycznymi przy projektowaniu takich repozytoriów. Została zaproponowana prosta metoda oceny jakości repozytoriów komponentów. Metodę tę wykorzystano do oceny i porównania kilku repozytoriów komponentów.
EN
This paper presents an approach to evaluate the components repository by calculating a repository metric. This metric is based on advantages and disadvantages of existing repositories. New repository attributes were also added. For each repository attribute the maximal value was proposed. The repository metric i.e. the total value of all attributes for a repository can be 100. The higher this metrics is the better and more powerful is the components repository. The evaluation of few existing repositories is also given.
PL
W pracy przedstawiono opracowane i wdrożone jesienią 2004 roku w Instytucie Informatyki PW, laboratorium z Inżynierii Oprogramowania 2 (IOP2). Do każdego ćwiczenia opracowano materiały pomocnicze oraz instrukcję, które są umieszczone w Internecie, na serwerze wydziałowym Wydziału Elektroniki i Technik Informacyjnych (WEiTI) i udostępnione dla studentów i prowadzących uczestniczących w zajęciach z IOP2. Laboratorium obejmuje siedem ćwiczeń laboratoryjnych. Kolejne laboratoria dotyczą tematyki przygotowywania wymagań systemu, projektowania systemu, użycia wielokrotnego (reuse) w projektowaniu, użycia języka OCL [1] do precyzyjnego modelowania systemu, testowania metodą pokrycia kodu, analizy jakości i wydajności aplikacji. W ćwiczeniach laboratoryjnych są wykorzystywane narzędzia pakietu Rational Suite.
EN
In this paper a new software engineering laboratory introduced in the Institute of Computer Science Warsaw University of Technology in the fall 2004 is presented. For each laboratory exercise a set of training materials and directions were developed. These materials are stored on a department server and are available for al! students and lecturers of Software Engineering 2 course. Software Engineering 2 laboratory consists of seven exercises. These exercises are dedicated to requirements engineering, system design, reuse, precise modelling with OC L- Object Constraint Language [I], cod e coverage testing, memory leaks detection, improving application efficiency. Tools from Rational Suite are used.
PL
W pracy przedstawiono koncepcję systemu zdalnego nauczania zrealizowanego w Instytucie Informatyki PW. System ten zaprojektowano korzystając z narzędzia Rose i zrealizowano w języku Java, co daje niezależność od platformy sprzętowo - programowej. Zastosowano architekturę typu klient-serwer. Wykorzystano mechanizm zdalnego wywołania procedur Java RMI (Remote Method Invocation) rozwiązujący problemy komunikacji w sieci. Ze względu na łatwość realizacji zdecydowano się na realizację systemu asynchronicznego. Wymiana informacji między nauczycielem a studentami nie odbywa się w czasie rzeczywistym. System umożliwia użytkownikom komunikację między sobą poprzez moduł wewnętrznej poczty elektronicznej. System łączy funkcjonalność poczt} elektronicznej oraz FTP. Istotną przewagą systemu jest jednak ścisła kontrola uprawnień użytkowników przy podejmowaniu przez nich jakichkolwiek akcji.
EN
A concept of an e-learning system implemented in the Institute of Computer Science Warsaw University of Technology is presented. System models are made in UML, in Rational Rose and the implementation is in Java, so it can execute in different environments. The client - server architecture was chosen. Remote Method Invocation was used to solve the communication problems. This is an asynchronical system in which the communication among users is trough internal mail module. The functionality of this system comprises the functionality of electronic mail and file transfer protocol. The advantage of this system over email and ftp are strongly cheeked access permissions of each action executed in the system.
PL
Poniżej przedstawiono miary oprogramowania obiektowego, które można stosować już we wczesnym stadium powstawania oprogramowania i na ich podstawie można wnioskować o wysiłku związanym z testowaniem klasy i całego systemu.
11
Content available remote Structural modelling with Petri nets
EN
An example of structural modelling with Petri nets with refinements is discussed. A simple assembly line consisting of two machines is considered. The assembly line model is made more precise by refining each transition representing the machine, by the Petri net defining its operation. The Petri net model of the assembly line is used as a building block while modelling an entire factory unit. The descriptions of all Petri nets used are given in the new high-level language.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.