CN104317559A - Visual modeling platform based on GMF - Google Patents

Abstract

The invention provides a visual modeling platform based on a GMF (Graphical Modeling Framework). The visual modeling platform is characterized in that on the basis of a definition testing system meta model, a testing system model and a data instance editor are built by using a GMF technology based on a model driven development method. Through a definition domain model, a graphical model, a tooling model and a mapping model combining the definition domain model, the graphical model and the tooling model, an XML (Extensive Markup Language) file which is converted by a testing model and conforms to corresponding Schema is resolved, and visual modeling and automatic generation of partial codes are realized. The visual modeling platform has the advantages that the model driven thought is introduced into the testing field; the model is used as a core; the reutilization of testing resources is realized; and the testing period is effectively shortened.

Description

Based on the visual modeling platform of GMF

Technical field

The present invention relates to a kind of visual modeling platform.More particularly, refer to a kind of visual modeling platform based on GMF (Graphical Modeling Framework, graphical modeling framework), this platform can define view in the mode of Definition Model.

Background technology

Early stage graphic interface application program mainly uses GEF (Graphical Editing Framework, Graphic editing framework) framework develops, as: JBPM flow definition instrument, adopt the integrated mode of GEF+javaBean, the shortcoming of this mode is exactly too loaded down with trivial details in the process of model layer, needs the artificial implementation model informing mechanism of developer, nor the expansion being beneficial to the later stage is safeguarded, once demand changes, the amendment of model structure is very difficult.

EMF (Eclipse Modeling Framework) can help us to develop Eclipse application program in the mode of model-driven, specifically, it define meta-model (similar UML (the Unified Modeling Language of a set of Ecore by name, unified modeling language) meta-model, comprise bag, type, the element such as attribute and method), can be converted to by EMF the Java code operated on Eclipse platform with the model of Ecore definition, the a set of message notification mechanism of these codes implement, it is structure indispensable basis of reliability application.

Along with Eclipse platform is accepted by more developers, the Main Patterns of structure GEF application program is become gradually in conjunction with EMF and GEF, namely on the model basis that EMF generates, develop GEF application program, like this can in the many workload of model part saving.Such as, but also have some problems, two frameworks respectively achieve a set of Mechanism of command and carry out operation model etc., and they weaken again the improvement degree brought in conjunction with these two kinds of technology to a certain extent.

So attempt the integrated mode of EMF+GEF, because EMF is (Eclipse Modeling Framework, Eclipse modeling framework) relatively ripe in Model Mapping process, and by EMF the entity class itself that drives out also possessed informing mechanism, can by the state change notification of model structure to key-course, but in the process used, also there is new difficult point to occur, EMF and GEF has the command process mechanism of oneself respectively for defining the retouching operation to model, the interface that two cover mechanism define is different, and having no idea, it is general to realize.

GMF (Graphical Modeling Framework, graphical modeling framework) design of framework solves the difficulty that EMF and GEF integrates, will simultaneously by the application program of EMF and GEF exploitation before let us can realize by simpler method, bring both combining various problems then do not need care.Meanwhile, by the Plugin Mechanism of Eclipse, GMF additionally provides very abundant extendability, is convenient to the application program developing applicable particular demands.By the mode of adaptation, two kinds of Mechanism of commands are associated, and while integration two frameworks, have also been made a lot of expansion functionally, comprising:

1, from Ecore meta-model, expand the modification (font, coordinate, layout constraint etc.) of Notation Model (modification model) for defined node, thus by independent from business model for the modification attribute of node, allow Ecore model only focus in the modeling process of service logic.

2, the view of GEF framework represents the draw2D technological frame mainly employing Java, need the corresponding Figure class of developer's hand-coding to define the display of view node, GMF framework has done further encapsulation process to representing of view, the definition of view is abstracted in model configuration file and goes to manage, gone by Runtime subframe to resolve the corresponding Figure entity of generation, thus allowing developer in the mode of Definition Model to define view.

Summary of the invention

Along with the development and change of application system, in order to meet soft project personnel to the high-quality guarantee of application system, software testing technology is also flourish, software test is by initial full manual test, to the semi-automation test utilizing various testing tool part manually to participate in and automatic test, and the MDT risen gradually in recent years (Model-Driven-Testing, model-driven testing).Along with the appearance with various functional test instrument of improving of visual UML modeling tool representation function, accelerate model-driven testing methodology at modern software systematic difference.Present patent application mainly realizes the test macro visual modeling based on GMF technology, makes tester take out its test point paid close attention to and testing process, and by it, directly perceived and unambiguity shows.And provide test language TTCN-3 Code automatic build means, in order to test macro model automatization is generated as TTCN-3 code.

The design of visual modeling environment mainly have employed MVC (Model-View-Controller, Model View Controller) multi-layer design pattern.Meanwhile, be support model memory function, under model layer, add model storage/loading layer.Therefore, model editor inside is divided into four levels, is followed successively by: store/load layer, model layer, controller layer and view layer.As shown in Figure 1.

Store/load layer: pattern memory support model memory function, can the simultaneously semantic information of memory model and graphical information; The semantic information of the model of storage and graphical information can be loaded in system by model loader, for user's amendment and editor.

Model (Model) layer: what be positioned at model layer is model element semantic object.Semantic object only safeguards relevant information semantic to modeling element, and is indifferent to its graph-based, as its icon shape, color, size and layout etc.

View (View) layer: what be positioned at view layer is model element Drawing Object.Drawing Object is safeguarded and is shown relevant information to modeling element figure, icon shape as mentioned in the above, color, size, coordinate position etc.

Controller (Controller) layer.In MVC pattern, directly mutually can not handle between model element semantic object and its graph-based, but come by the controller be positioned at therebetween.The Main Function of controller comprises: (1) receives the message of view layer, processes accordingly model layer.Such as user intends in a model element, add a sub-model element, need, by controller, the user's mouse click event occurred on father's model element Drawing Object is resolved to the request of corresponding establishment daughter element, and according to request, in the semantic object of father's model element, create submodel element; (2) change of model layer is reflected to view layer.As in the semantic object of father's model element add a sub-model element semantic object after, needing by controller is that submodel element creates corresponding Drawing Object, shows in the view.

The specific implementation of visual modeling environment is based on Eclipse graphical modeling framework GMF (Graphical Modeling Framework).GMF is a plug-in unit based on Eclipse platform, is intended to provide support for developing visual model editor.GMF towards user be the developer of Visualization Model editing machine, it for theoretical foundation, provides a kind of performance history of efficient mode acceleration model editing machine with the general character of all Visualization Model editing machines.

GMF framework is a kind of typical model driving development method, developer even can complete the whole driving process of model entity to upper layer application when not encoding, but by it the project example that drives out just for a customizing functions of popular demand, if want to add individual demand, amendment engineering code is also unavoidable.GMF is made up of two large major parts: tool component (tooling components) and component (runtime components) when running.

1) tool component

Tool component is made up of a series of editing machine, the mapping model (Mapping Model) that these editing machine supports create domain model (Domain Model), figure Shape definition (Graphical Definition), instrument definition (Tooling Definition) and this triplicity got up.Wherein, domain model, figure Shape definition and instrument definition are all the general character of Visualization Model editing machine.Domain model represents the semanteme of model, is equivalent to the model layer in Fig. 1; Figure Shape definition is the graph-based (comprising icon, layout type etc.) of model, is equivalent to the view layer in Fig. 1; Instrument definition is the instrument that each model element defines that can create this model element; Model element in domain model associates with its figure Shape definition and instrument definition by mapping model, is equivalent to the controller layer in Fig. 1.

Use tool component can generate the realization of Visualization Model editing machine further, its overall process as shown in Figure 2:

Generate graphic editor application program with GMF and need following key steps:

(1). create a GMF engineering;

(2). create a domain model (domain model), to represent the semanteme of model, define the information of some non-patterned that those are managed by editing machine.。Domain model be kept at .ecore be suffix file in.Its definition mode is similar to uml class figure, represents single model element with class, the relation represented between model element such as to associate;

(3). create a figure Definition Model (diagram definition model).This model defines the various graphic elements shown in editing machine.Its shape shown, color, size and layout type etc. can be specified.Figure Shape definition be kept at .gmfgraph be suffix file in;

(4). create instrument definition model (tooling definition model), this model is used for the various graphic elements that will show in defining tool hurdle, menu bar.Instrument definition be kept at .gmftool be suffix file in;

(5). after creating domain model, figure Shape definition and instrument definition, create mapping model.Element in domain model associates with its figure Shape definition and instrument definition by mapping model.Mapping model be kept at .gmfmap be suffix file in;

(6). then, create maker model (Create Generator Model) by mapping model.The information in mapping model is contained in maker model;

(7). last, can the specific implementation code of generation model editing machine by maker model.The model editor generated also exists with the plug-in unit under eclipse platform.

2) component when running

The model editor plug-in unit generated by tool component needs to rely on component when GMF runs.During operation, component provides the basic component that all model editors are shared.Basic component constitutes a model editor that can run jointly to the component relevant with concrete model in model editor plug-in unit.

On the basis of the model editor plug-in unit generated by GMF, the developer of model editor can carry out further customization and amendment according to respective demand.

Accompanying drawing explanation

Fig. 1 is visual modeling Environmental stratification composition;

Fig. 2 is the generative process schematic diagram of the graphical editing machine based on GMF technology;

Fig. 3 is the schematic diagram of test macro modeling and TTCN-3 code building;

Fig. 4 is test configurations illustraton of model;

Fig. 5 is behavioral test illustraton of model.

Embodiment

Below in conjunction with drawings and Examples, the present invention is described in further detail.

On the basis of definition test meta-model, structure visual modeling tool also generates TTCN-3 code, and overall process as shown in Figure 3.101: construct visual modeling tool based on GMF, modeling is carried out to test data, test configurations and behavioral test thereon.By test data model, generate data instance editing machine, concrete test data can be edited, be used as the data pool required for testing.102: for generating TTCN-3 code, first define the XML Schema corresponding with TTCN-3 code, test data XML file is generated by the data content in test data model and data instance editing machine, test configurations modeling generates test configurations XML file, behavioral test model generation behavioral test XML file.103: subsequently test data XML file is generated test data TTCN-3 code, test configurations XML file generates test configurations TTCN-3 code, and behavioral test XML file generates behavioral test TTCN-3 code.The TTCN-3 code of last integral data, configuration and behavior, generates complete TTCN-3 code.

The definition of test meta-model with reference to U2TP standard criterion, adopts the .ecore file of EMF to define, and uses EMF automatically to generate respective code, as the basis constructing visual modeling tool afterwards.Meta-model defines in model which element and the semanteme between them, comprise test data meta-model, test configurations meta-model, behavioral test meta-model three parts, describe test macro from data, static structure, dynamic behaviour three aspects respectively.

In test meta-model, test data meta-model defines one group of concept in order to describe test data, mainly comprises the data structure definition of data pool (DataPool), Data Placement (DataPartition), data instance (DataInstance) and various complexity; Test configurations meta-model is the description to test macro static state composition structure, comprise test case (TestCase), test scene (TestScenario), timer (Timer), system under test (SUT) (SUT, System under Test), test suite (TestComponent), test port (TestInterface) and port to connect (TestInterfaceConnection) etc.; Behavioral test meta-model, in order to be described the behavior of test macro, comprises timer action (StartTimeAction and StopTimeAction), massage stimulus (StimuliAction), message response (ResponseEvaluateAction), each branch operation type and test result classification (Verdict) etc.; Test result defines four kinds of test result classifications altogether: by (pass), failure (fail), mistake (error) and undecidable (inconclusive).These three parts to be closely connected but not separate.

Test data model comprises basic data type (SimpleType) (as integer, float, double etc.), enumeration type (Enum) and record type (Record), and ordered set (RecordOf) and unordered set (SetOf).Also define data pool (DataPool), Data Placement (DataPartition), data instance (DataInstance).

Test configurations model is the description to test macro static state composition structure, includes the key concept that the test configurations such as test suite (TestComponent), test interface (TestInterface) is relevant.

Behavioral test model is in order to be described the behavior of test macro, include timer action (Start Timer Action, Stop Timer Action and TimeOut Action), massage stimulus (StimuliAction), message response (ResponseEvaluateAction) and test result classification (Verdict) etc., also comprise do action (WhileAction and ForAction) and if action (IfAction and ForAction) and branch operation (AltAction) etc.

How based on standards such as TTCN-3 and U2TP, carry out the behavior modeling of test macro, data modeling, configuration modeling be undoubtedly technological difficulties.

Data modeling, in data type, comprises basic data type, record type, enumeration type, set (unordered) and array (in order).In concrete data, data instance is an instance object of data type, contains concrete test data values.Can edit in data instance editing machine, preserve test data.Dependence use attribute between data type represents.

Configuration modeling to test suite and and the connection of system under test (SUT) design.First define one group of test suite, then define their interface, the annexation of last defining interface and system under test (SUT) interface.Also define the interface type of test suite, system under test (SUT), represent the type of message that interface accepts.

First behavior modeling defines one group of test suite, then defines their port, finally defines various behavioral test, comprise excitation, response, timer row be, branch, circulation, judgement etc.Behavioral test model adopts UML precedence diagram to represent.Role representation test suite and system under test (SUT), message represents that the messaging sum functions between test suite and system under test (SUT) calls.The order of positional representation test action from top to bottom.Complicated control flow check adopts combined fragment to represent, can represent branch, circulates and quote.Timer action needs to adopt the timer action pel of the drawing notation of TTCN-3 to represent.

First test model is changed into the XML file meeting corresponding Schema, then resolve this XML file, finally convert thereof into TTCN-3 code.Meanwhile, corresponding data instance editing machine is generated, by data instance editing machine edit data, for TTCN-3 data module provides concrete test data values according to data model.

Realizing test model in the conversion of TTCN-3 code, need first to define the mapping relations between U2TP meta-model [1] and TTCN-3 meta-model.Then the element in read test model, converts corresponding XML element to them.If the daughter element of certain element, be also expressed as daughter element in xml, the attribute representation of each model element is XML attribute.For behavioral test model, the sequencing between each behavioral test is most important, therefore needs to keep sequence consensus in xml.From XML to TTCN-3, the conversion of code needs with reference to TTCN-3 kernel language.

Based on method and the process of above-mentioned GMF visual modeling, here is the example of a test website login feature.System under test (SUT) is Campus Website system.This test case is that test macro sends user name and password to Campus Website, then carries out test judgement according to the feedback data of website.Be below realize visual modeling based on GMF technology, finally generate the checking of TTCN-3 code.

Test configurations model as shown in Figure 4, describe the test suite in a test macro, wherein contain three test suite Client, NS, rootDNS (DNS, Domain Name System, domain name system), and system under test (SUT) SUT, three test suites respectively have an interface, are connected respectively with three interfaces of system under test (SUT).DNSPort (DNS interface) describes a kind of interface type, and three test interfaces are all these types.

Behavioral test model as shown in Figure 5, describes the test case in a test macro, wherein comprises three test suites and a system under test (SUT).First main test suite Client have sent a message queryA to system under test (SUT), then starts timing, quotes another test scene rootDNSQuery.Be a branch afterwards, the message according to receiving from test suite judges: first branch, if receive responseA, then stops timing and is judged to pass through; Second branch, if receive others, then stops timing and is judged to not pass through; 3rd branch, if the message of not being subject to and timer expiry, is then judged to be without conclusion.MTC (Main Test Component, main test composition), PTC (Parallel Test Component.Concurrent testing composition).

Each test model and data instance editing machine are all preserved with XML file form.Before generation TTCN-3 code, define and each ingredient of TTCN-3 code XML Schema one to one, to meet the XML file of this XML Schema definition as the intermediary generating TTCN-3 code.

Model-driven testing is novel method of testing, compensate for a little weakness of automatic test.Present patent application is intended to the technology of GMF visual modeling to be applied to model-driven testing field, by the Plugin Mechanism of Eclipse, and the application program of development graph under Eclipse platform.Achieve the visual modeling of test macro and the automatic generation of TTCN-3 test script.Present patent application briefly describes the performance history of GMF model editor, the definition of test macro meta-model, comprises test data meta-model, test configurations meta-model and behavioral test meta-model.Describe the implementation procedure of test macro visual modeling in detail, comprise and construct visual modeling tool based on GMF, modeling is carried out to test data, test configurations and behavioral test thereon.By test data model, generate data instance editing machine, last test model conversion becomes to meet the XML file of corresponding Schema, then resolves this XML file to generate corresponding TTNC-3 code.Example in experiment presents process and the result of test macro visual modeling intuitively.

Present patent application innovative point: GMF Visual Modelization Technology is applied to automatic test field, the visual modeling of test macro, and the exploitation of GMF model editor, and the realization of the automatic generation of test script.

Claims (4)

1. based on a visual modeling platform of GMF, it is characterized in that: this visual modeling platform includes store/load layer, model layer, controller layer and view layer:

Described store/load layer: pattern memory support model memory function, can the simultaneously semantic information of memory model and graphical information; The semantic information of the model of storage and graphical information can be loaded in system by model loader, for user's amendment and editor;

Described model layer: what be positioned at model layer is model element semantic object; Semantic object only safeguards relevant information semantic to modeling element, and is indifferent to its graph-based, as its icon shape, color, size and layout etc.;

Described view layer: what be positioned at view layer is model element Drawing Object; Drawing Object is safeguarded and is shown relevant information to modeling element figure, icon shape as mentioned in the above, color, size, coordinate position etc.;

Described controller layer: in MVC model, can not directly handle between model element semantic object and its graph-based mutually, but has been come by the controller be positioned at therebetween.

2. the visual modeling platform based on GMF according to claim 1, is characterized in that: the functional test of this cloud testing service platform adopts develops expansion based on GMF test frame.

3. the visual modeling platform based on GMF according to claim 1, is characterized in that: the Main Function of controller comprises: (1) receives the message of view layer, processes accordingly model layer; Such as user intends in a model element, add a sub-model element, need, by controller, the user's mouse click event occurred on father's model element Drawing Object is resolved to the request of corresponding establishment daughter element, and according to request, in the semantic object of father's model element, create submodel element; (2) change of model layer is reflected to view layer; As in the semantic object of father's model element add a sub-model element semantic object after, needing by controller is that submodel element creates corresponding Drawing Object, shows in the view.

4. the visual modeling platform based on GMF according to claim 1, is characterized in that: generate the following key steps of graphic editor application program needs with GMF:

(1). create a GMF engineering;

(2). create a domain model, to represent the semanteme of model, define the information of some non-patterned that those are managed by editing machine; Domain model be kept at .ecore be suffix file in; Its definition mode is similar to unified modeling language class figure, represents single model element with class, the relation represented between model element such as to associate;

(3). create a figure Definition Model; This model defines the various graphic elements shown in editing machine; Its shape shown, color, size and layout type etc. can be specified; Figure Shape definition be kept at .gmfgraph be suffix file in;

(4). create instrument definition model, this model is used for the various graphic elements that will show in defining tool hurdle, menu bar; Instrument definition be kept at .gmftool be suffix file in;

(5). after creating domain model, figure Shape definition and instrument definition, create mapping model; Element in domain model associates with its figure Shape definition and instrument definition by mapping model; Mapping model be kept at .gmfmap be suffix file in;

(6). then, create maker model by mapping model; The information in mapping model is contained in maker model;

(7). last, can the specific implementation code of generation model editing machine by maker model; The model editor generated also exists with the plug-in unit under eclipse platform.