Some modifications of Sugiyama approach

We present a graph drawing algorithm that was developed for real-life call graphs, data flows and class hierarchies. The algorithm is an extension of the hierarchical layout method of Sugiyama. The main difference is that we achieved an orthogonal layout with the maximum number of edge bends equal to 2....

baburin.pdf171.11 KB

Options management in RescueWare system

A complex programming system may have a large number of parameters controling its configuration and behavior. The editing, programmatic access, packaging and upgrade of these parameters may become a complicated and time-consuming task. We present a component called Dialogic, which stores options as a strictly typed XML structure and automatically...

bulyonkov.pdf543.62 KB

Novel modification of the W-method

Testing strategies based on finite states machines (FSMs) are widely used for protocol test derivation. Most FSM-based methods of test generation are based on the well-known W-method. In this paper, we determine the necessary conditions for a test suite to be complete under an assumption that only the number...

dorofeeva1.pdf129.35 KB

Cross-program data flow visualization

Maintenance and transformation of large program systems require means for com- prehension of their data dependences. We consider facilities for data flow visualization implemented in the RescueWare® system — a workbench for modernization of legacy systems. One of the key points in the process is the user-guided identification and extrac-...

filatkina.pdf880.11 KB

Extended Pascal to C++ converter

The methods of compiler (and converter as a special case) development are sufficiently investigated and described. There are a number of converters from the standard Pascal language to C/C++ languages.

In this work, some translation schemes (that are of theoretical interest, in the authors’ opinion) elaborated for a converter from...

markin.pdf146.41 KB