KR20070049126A - Asadal : system for providing feature-oriented software product line engineering environment - Google Patents

Abstract

The present invention defines an ASADAL framework that supports the methodology of feature-based software product line engineering, and defines a structure, function of each module, and data flow of each module constituting ASADAL. In order to provide a software reuse development environment system based on the present invention, the present invention provides a feature model by using candidate feature models for a specific area, finds the created feature model, and provides a specification and a provision of their relation and synthesis law. Corresponding feature feature is applied to the feature model to verify that it is specified according to the synthesis law, and imports the validated feature model to select the feature that shows the difference between the required features that express commonality in application development. Offer to choose and respond to offer ASADAL / FORM that verifies and stores selected feature selection information according to feature law, supports reusable asset component development based on feature model and feature selection information, and macros asset components to create software components for feature selection. ASADAL / COMP, which supports configuration management of components, ASADAL / OBJ, which performs architecture modeling and operational modeling for application development, automatic code generation, and verification by building and simulating virtual test beds. Includes ASADAL / ASSET DB for storing data generated by FORM, ASADAL / COMP and ASADAL / OBJ, and ASADAL / ANALYZER for verifying consistency between data stored in ASADAL / ASSET DB. Therefore, the reliability of the model can be increased, and significant errors can be checked at the initial stage of software development, thereby significantly reducing the development cost.

ASADAL / FORM, ASADAL / COMP, ASADAL / OBJ, ASADAL / ASSET DB, ASADAL / ANALYZER

Description

Asadaal: System for providing feature-based software product line development environment {ASADAL: SYSTEM FOR PROVIDING FEATURE-ORIENTED SOFTWARE PRODUCT LINE ENGINEERING ENVIRONMENT}

1 is a block diagram showing the configuration of an ASADAL framework supporting a feature-based software product line development environment in accordance with the present invention;

Figure 2 is a block diagram showing the function of the environment object (environment object) of the ASADAL / OBJ 300 of ASADAL, which is a feature-based software reuse development framework according to the present invention, and its data processing flow;

3 to 5 is a block diagram showing the configuration and data processing flow of ASADAL / OBJ performing automatic code generation and three-dimensional virtual simulation testing in the feature-based software product line development environment according to the present invention,

Figure 6 is a block diagram showing the configuration and data processing flow of ASADAL / ANALYZER performing consistency verification and validation between models in the feature-based software product line development environment according to the present invention.

TECHNICAL FIELD The present invention relates to a feature-based software product line development environment. In particular, the software product line methodology is applied to a specific domain (or region) to generate feature selection and reusable asset components for domain analysis and application development. To facilitate the development of software product lines by supporting the creation of software components through macro-processing, configuration management of the components, application software development using software components, and software testing in virtual environments. The present invention relates to a system for implementing an underlying software product line development environment.

The focus of software reuse technology to increase the productivity of software development has shifted from reuse of source code to reuse of software design, and from reuse of software design to reuse based on domain engineering. The reason for the change of the software reuse technology is that the reuse of the design must be preceded in order to reuse the source code, and in order to reuse the design, the area assets commonly used in the application area must be developed through the area engineering. . Thus, software reuse research has been undertaken over the last few years with a focus on domain analysis and domain engineering.

In the study of software reuse technology, the domain engineering approach is to develop a highly reusable component through extensive analysis of the application area. However, this approach tended to include all the products in the domain in many cases, resulting in an increase in the cost and duration of software development. In addition, in an effort to maximize software reusability, emphasizing the layering of software structures and encapsulation for information concealment has resulted in a problem of developing a system with poor performance. As described above, it is difficult to determine the extent of the appropriate area and the degree of reusability in attempting to reuse the software around the application area.

To solve some of the problems mentioned above, a paradigm of software product line engineering has been proposed. According to this paradigm, software reuse is a carefully planned plan for reusing specific software product lines. In other words, software product line engineering can clarify the scope of area analysis and the development scope of software product line assets based on the results of analyzing the market situation that a company wants to enter.

Software product line engineering analyzes commonalities and variability among software that provides similar functionality targeting one or more markets in order to develop the software assets that are the core of the software product line. It suggests how to develop a software architecture and reusable components that can accommodate change. Recently, interest and recognition in software product line engineering for strategic reuse of such software is gradually increasing, and research on this is being actively conducted.

However, according to the concept of software product line engineering, there is still a system that provides a systematic and effective software development environment that supports the overall methodology of software product line engineering, such as analyzing commonalities and differences of domains, developing flexible software architecture and reusable components. It is not presented.

The present invention is to improve the above-mentioned problems of the prior art, and defines an ASADAL (AS System Analysis and Design Aided tooL) framework supporting the methodology of the feature-based software product line engineering, and each module constituting ASADAL. The goal is to provide a feature-based software reuse development environment system that supports the software product line methodology by defining the structure, module functionality, and data flow of the.

In addition, the present invention utilizes such a systematic development environment, obtains reusable software assets based on feature modeling results of analyzing commonalities and differences for domains, and supports application software development using the acquired software assets. By testing on a dimensional simulation basis, the objective is to obtain high quality software in accordance with the concept of software product line engineering.

The system for providing a feature-based software product line development environment according to the present invention for achieving the above object includes receiving candidate feature models for a specific region through an editor module, mandatory features representing commonalities, selective features representing differences, and A feature modeling module that classifies alternative features to create a tree-like feature model, finds the required features and optional features of the created feature model, and provides them to specify their relations and composite laws, A feature model validation module that applies corresponding feature laws to feature models to verify that they are specified according to the synthesis law and that the relationships between features are set correctly. Represent differences from essential features that express commonality in development ASADAL / FORM including feature selection module for providing selective feature selection and verifying and storing selected feature selection information in accordance with feature laws, and reusable asset components based on feature model and feature selection information ASADAL / COMP, which provides support, macros asset components to create feature components for feature selection, and supports configuration management for components, architecture modeling and operational modeling for application development, automatic code generation, and virtual test beds. Consistency between data stored in ASADAL / OBJ, ASADAL / FORM, ASADAL / COMP, and ASADAL / ASSET DB that stores data generated by ASADAL / FORM, ASADAL / COMP, and ASADAL / OBJ, and data stored in ASADAL / ASSET DB. Characterized by including ASADAL / ANALYZER to verify.

In addition, the system for providing a feature-based software product line development environment according to the present invention for achieving the above object, by creating a feature model using candidate feature models for a specific area, find the created feature model and their relationship and Providing specification of synthesis law and applying feature law inputted in response to provision to feature model to verify whether it is specified according to composition law, and importing verified feature model to express commonality in application development among features. ASADAL / FORM, which provides for the selection of optional features representing differences from the features, and verifies and stores selected feature selection information in response to the feature, and among the required features defined in the feature model. Group features to define asset components, asset components It provides a macro to specify how the component should respond if there are optional features and alternative features related to the system, and creates an asset component by establishing a relationship between the input macro specification and the feature in response to the provision. The asset component development module, the asset component verification module for validating grammatical errors and specifications when using macros, and the macros included in the asset component specification based on the feature selection information are processed to implement the selected features. Software component generation module that automatically generates software components, and manages configuration management information generated based on the feature selection information and asset component information used when the software component is created, and generates them when an error occurs in the software component. Ture Performs ASADAL / COMP including component configuration management module that provides traceability for model and asset components, architectural modeling and operational modeling for application development, automatic code generation, and construction and simulation of virtual testbeds. Including ASADAL / OBJ, ASADAL / ASSET DB for storing data generated by ASADAL / FORM, ASADAL / COMP and ASADAL / OBJ, and ASADAL / ANALYZER for verifying consistency between data stored in ASADAL / ASSET DB. It is characterized by.

In addition, the system for providing a feature-based software product line development environment according to the present invention for achieving the above object, by creating a feature model using candidate feature models for a specific area, find the created feature model and their relationship and Providing specification of synthesis law and applying feature law inputted in response to provision to feature model to verify whether it is specified according to composition law, and importing verified feature model to express commonality in application development among features. ASADAL / FORM, which provides for the selection of optional features representing differences with features, and validates and stores selected feature selection information in accordance with feature laws, and supports the development of reusable asset components based on feature models and feature selection information. And macro-process asset components to select features Software architecture modeling that creates software architectures by creating software components that fit the requirements, designing how software components are laid out in consideration of the non-functional elements of features represented in the feature model and ASADAL / COMP that supports configuration management of the components. Inconsistencies between the modules, the operational modeling modules that generate functional models for application-specific components using the functional and behavioral specification language, and the specifications contained in the software architecture modeling modules and the software architectures and operational models generated by the operational modeling modules. ASADAL / OBJ, and ASADAL / FORM, ASADAL /, including a model validation module for verifying errors and an automatic code generation module for generating control and simulation code in a target programming language based on operational and architectural models. COMP and ASADAL ASADAL / ASSET DB for storing the data generated by / OBJ, and ASADAL / ANALYZER for verifying the consistency between the data stored in the ASADAL / ASSET DB.

In addition, the system for providing a feature-based software product line development environment according to the present invention for achieving the above object, by creating a feature model using candidate feature models for a specific area, find the created feature model and their relationship and Providing specification of synthesis law and applying feature law inputted in response to provision to feature model to verify whether it is specified according to composition law, and importing verified feature model to express commonality in application development among features. ASADAL / FORM, which provides for the selection of optional features representing differences with features, and validates and stores selected feature selection information in accordance with feature laws, and supports the development of reusable asset components based on feature models and feature selection information. And macro-process asset components to select features ASADAL / COMP, which creates software components suitable for configuration, supports configuration management of components, and ASADAL performs architecture modeling and operational modeling for application development, automatic code generation, and construction and simulation of virtual test beds. Consistency between / OBJ, ASADAL / ASSET DB that stores data generated by ASADAL / FORM, ASADAL / COMP, and ASADAL / OBJ, and data stored in ASADAL / ASSET DB, and consistency between feature models and asset components Include ASADAL / ANALYZER, which includes a module that checks the consistency of the operational model, a module that checks the consistency of the architectural model and the software components, and a module that checks the consistency between the software and operational models. It features.

Hereinafter, exemplary embodiments of the present invention will be described in detail with reference to the accompanying drawings.

1 is a block diagram showing the configuration of the ASADAL (A System Analysis and Design Aided too L) framework according to the present invention. The system according to the present invention includes five components, ASADAL / FORM 100, ASADAL / COMP 200, ASADAL / OBJ 300, ASADAL / ASSET DB 400 and ASADAL / ANALYZER 500. Among the components of the system shown in FIG. 1, ASADAL / FORM 100, ASADAL / COMP 200, ASADAL / OBJ 300, and ASADAL / ANALYZER 500 may run on one computer or on multiple computers connected by a network. Can be implemented in software.

In the system according to the present invention, the ASADAL / FORM 100 performs the function of selecting the feature corresponding to the feature modeling and the application program for the area, and the ASADAL / COMP 200 supports the development and macro processing of the asset component. Performs the function of software component creation and component configuration management support. ASADAL / OBJ 300 provides architectural modeling and operational modeling to support application software development, automatic code generation, and verification by building and simulating a virtual test bed. In addition, the ASADAL / ASSET DB (400) stores the output generated in each module described above, the ASADAL / ANALYZER (500) verifies the consistency between the outputs stored in the ASADAL / ASSET DB (400).

Hereinafter, each module constituting the ASADAL which is a system for providing a development framework according to the present invention will be described in detail.

ASADAL / FORM

The configuration and data processing flow of the ASADAL / FORM 100 of ASADAL, which is a system for providing a development framework according to the present invention, will be described in more detail.

The ASADAL / FORM 100 provides a candidate feature model input interface to a product line analyst through an editor module supporting feature modeling, and creates a feature model through candidate feature models input by the product line analyst. Here, the product line analyst analyzes a domain (or region) using an editor module provided as an interface from the ASADAL / FORM 100 to obtain and input candidate feature models.

That is, the ASADAL / FORM 100 creates a tree structure feature model by classifying essential features representing common points, optional features representing differences, and alternative features using candidate feature models input through the editor module. . Here, a feature refers to an attribute or a feature within an area of interest to people associated with a particular area. For example, a feature can be found by analyzing terms used between user manuals, software documentation, and domain experts. Feature modeling refers to a process of finding features representing commonalities and differences among systems belonging to an area range among many candidate features and specifying their relations and synthesis laws. In other words, feature modeling is the process of clarifying what is common among similar systems, what is different, and what will happen in the future.

Next, ASADAL / FORM 100 provides the feature law input interface to the product line analyst to find the required features and optional features that represent the commonalities and differences among the systems among the created feature models, and to specify their relations and compositional laws. In addition, the feature law input by the product line analyst is applied to the feature model to verify that it is specified in accordance with this synthesis law and that the relationship between features is properly set up. 400).

Next, the ASADAL / FORM 100 imports the feature model stored in the ASADAL / ASSET DB 400 so that the requirements of the applications within the area can correspond to various applications in the feature model for the area. To provide the application developer with a feature selection input interface to select the required features representing the commonalities of the differences, and to recapture the feature selection information verified according to the feature law of the feature selection information selected by the application developer's analysis. Stored in the ASADAL / ASSET DB (400) for use by other modules.

ASADAL / COMP

The function and data processing of ASADAL / COMP 200 of ASADAL, which is a system providing a development framework according to the present invention, will be described in detail.

That is, the main functions of the ASADAL / COMP 200 are support for reusable asset component development based on the feature model and feature selection information created in the ASADAL / FORM 100, and the software suitable for feature selection by macro processing the asset component. Creating components and supporting configuration management for those components.

Hereinafter, the process of supporting the development of an asset component, which is one of the main functions of the ASADAL / COMP 200, will be described in detail.

ASADAL / COMP 200 imports the feature model created for the domain from ASADAL / ASSET DB 400 to create an asset component. ASADAL / COMP 200 defines an asset component that implements them by grouping the relevant features among the mandatory features defined in the feature model taken from ASADAL / ASSET DB 400, and selects optional features and alternatives related to that asset component. It provides asset developers with a macro specification input interface for feature selection, using macros to specify how components should respond if features are present, according to their choice, and the macro specification and features entered by the asset developer. Create an asset component by setting the relationship between them and store the created asset component in ASADAL / ASSET DB (400) so that it can be used for creating software components. Here, the asset component can be reused in multiple applications with varying requirements, with alternative features and optional features representing differences between the applications retrieved from the feature model, with and without those features selected. Each case should be prepared to respond appropriately.

ASADAL / COMP (200) defines macros that support the selection of features that can be used when creating an asset component, thereby eliminating unnecessary code and inserting the appropriate code. It supports the ability to validate errors and specifications. Validating asset components must be performed before macro processing because it is the basic task of macro processing in software component development.

The ASADAL / COMP 200 imports the feature selection information and the asset component from the ASADAL / ASSET DB 400 and processes macros included in the asset component specification according to the meaning based on the feature selection information and the asset component thus obtained. Thus, software components are automatically generated by removing the code implementing the unselected features and changing the code implementing the selected features accordingly. The generated software component is stored in the ASADAL / ASSET DB 400, and is passed to the configuration management module along with the feature selection information to be managed.

That is, the configuration management module manages the feature selection information and the asset component information used when the software component is generated, and provides a traceback of the feature model and the asset component when a problem is found in the software component, and manages the version of the component. .

For example, if a problem occurs while a software component created by the ASADAL / COMP 200 is used in an external module, the user may ask the configuration management module of the ASADAL / COMP 200 to solve the problem. By obtaining the feature selection information and the version information of the asset component, you can get a trace until the software component is created. By analyzing this information, you can find the root cause of the software component problem and create a modified software component.

ASADAL Of OBJ

The ASADAL / OBJ 300 largely performs the design and implementation of the application and the verification of the application through simulation on a virtual test bed. In addition, the control unit in the ASADAL / OBJ 300 is a part for supporting the development of the application program for controlling the system, the environment object part is a part for the development support for the virtual environment in which the application is actually deployed and executed.

In more detail, the ASADAL / OBJ 300 uses a software component generated by the ASADAL / COMP 200 based on the requirements of the application in the design and implementation of the application. ASADAL / OBJ (300) supports the specification method so that software components can be used in an application program using the behavior and functional specification language, and the relationship between these components and software components generated in ASADAL / COMP (200) It provides the architectural modeling function specific to the application software. In addition, the verification of the application through the simulation on the virtual test bed is performed through the three-dimensional simulation by specifying the virtual environment to test the application through the environment object modeling of the ASADAL / OBJ (300).

The function of the control unit of the ASADAL / OBJ 300 of ASADAL, which is a system for providing a feature-based software reuse development framework according to the present invention, and its data processing will be described in more detail.

ASADAL / OBJ 300 is to determine which architecture to apply to the application software by efficiently and efficiently using the operating model and software components currently stored in the ASADAL / ASSET DB 400. The generated architecture model is stored in the ASADAL / ASSET DB (400).

* Next, ASADAL / OBJ (300) can refer to the architecture of the system stored in the ASADAL / ASSET DB (400) to specify the operating modeling of the interior of the system according to the architecture, software components generated based on the feature You can also reuse the system to construct the system. The ASADAL / OBJ 300 provides a specification for using the software components required for operating the system, so that the user can conveniently use the external software components. In addition, an operation model having the same function as that of another system stored in the ASADAL / ASSET DB 400 may be reused.

The ASADAL / OBJ 300 can reduce the errors that can occur during automatic code generation and improve the efficiency by validating the operational model and the architectural model.

In the development framework according to the present invention, an operation model taken from the ASADAL / ASSET DB 400 can be conveniently generated as a target programming language by using an automatic code generation module as an input. In other words, the automatic code generation module reduces the software development time and provides an environment where users can easily solve various problems that occur when writing code. The ASADAL / OBJ 300 generates simulation code for testing in a 3D virtual simulation and control code to be embedded and operated in a real system. Therefore, the simulation code is generated to be simulated by interlocking with an environment object during virtual testing, and the control code is generated to be downloaded and executed on the actual system.

Figure 2 is a block diagram showing the function of the environment object (environment object) of the ASADAL / OBJ 300 of ASADAL, which is a feature-based software reuse development framework according to the present invention and its data processing flow.

One of the great features of the ASADAL / OBJ 300 is that it provides an environment for virtually modeling the system on which particular software is deployed and executed. This environment is designed to test whether the code obtained through automatic code generation can work properly when deployed on a real system. The environment can be modeled virtually.

In FIG. 2, the environment object modeling module is composed of a three-dimensional shape module for visually representing a system having various shapes in order to model a shape of an object (S314). This shape model may be matched with the operation model S304 to virtually express the movement of the real object during the virtual simulation (S310).

3 is a block diagram illustrating the operation of I / O mapping of ASADAL / OBJ 300 of ASADAL, which is a feature-based software reuse development framework according to the present invention. In ASADAL / OBJ 300, a virtual input / output (I / O) mapping (S316) for connecting data and events between a control unit and an environment object and an actual input / output (I / O) for connecting data and events between a real system and an environment object ) Mapping (S318) is possible. The simulation module of ASADAL / OBJ 300 has an I / O mapping table module that connects data and events between control code and environment objects so that the control code and environment objects can be simulated together. Support.

Referring to FIG. 4, in order to test an application obtained through architecture modeling and operational modeling, an environment modeling module generates an environment in which an application is to be deployed, and then I / O mapping module to map data and events between the two. In the middle. That is, the application programmer models the control unit and the environment object in the ASADAL / OBJ 300, and then connects the event and the data between them through an I / O mapping module that can be simulated (S320 to S324). Also, the ASADAL / OBJ 300 includes a controller simulation module (or engine) and an environment simulation module (or engine) for generating and simulating executable simulation code by inputting a control unit and an internal specification of an environment object. Visual and intuitive software testing is possible by supporting an engine that simulates control code and an I / O handling module that coordinates the exchange of data and events with each other. This intuitive testing allows the user to determine if the control code is actually working when it is actually deployed and to quickly cope with the problems expected in the system.

5 is a block diagram showing a simulation between the actual system and the ASADAL / OBJ 300 of the ASADAL system that provides a feature-based software reuse development framework according to the present invention. Referring to FIG. 5, after the ASADAL / OBJ 300 downloads the target code from the ASADAL / ASSET DB 400 to the real system 330, data and events between the real system 330 and the virtual environment simulation S328. In order to map the real I / O mapping module (S326) is placed in the middle of them. In this way, data and events sent by real systems to real objects can be pretested in a virtual environment, enabling you to test whether your code can work properly before deploying on a real machine, and reduce your testing costs.

6 is a block diagram showing the configuration of ASADAL / ANALYZER 500 of ASADAL, a system that provides a feature-based software product line development framework in accordance with the present invention. The ASADAL / ANALYZER 500 according to the present invention performs a function of checking consistency between models stored in the ASADAL / ASSET DB 400 and checking whether a specification of the corresponding model is valid. That is, if a consistency check request is provided from the asset developer, the ASADAL / ANALYZER 500 verifies the consistency between the feature model and the asset component (S330), and the application developer checks the consistency between the operational model, the architecture model, and the software component. Consistency, it is possible to verify the consistency between the software component and the operating model (S332 to S336). This model checking function is a process that must be performed during design and code generation. Without this process, automatic operation of automatically generated code cannot be guaranteed.

Specifically, the ASADAL framework described above supports (1) asset development, (2) application development, (3) application testing, and (4) Let us look through the embodiment seen from the perspective of application maintenance (application maintenance).

First embodiment Asset Development

A method of developing an asset component using the modules of the ASADAL according to the present invention described above is as follows.

In other words, the ASADAL framework is based on being analyzed by the system around the feature. That is, before developing an asset component, candidate features are obtained through analysis of commonalities and differences with respect to regions, and a completed feature model is created by the feature modeling module of the ASADAL / FORM 100. The validated feature model is then stored in the ASADAL / ASSET DB 400 after the feature model itself is validated.

In the ASADAL / COMP 200, for the feature model obtained through the area analysis, the selection of mandatory features affecting the entire component, optional features affecting a part of the component, and alternative possibility of selecting alternative features affecting the component We use macros to specify asset components so that we can respond appropriately. The asset component thus obtained is validated by the asset component verification module and stored in the ASADAL / ASSET DB 400.

ASADAL / ANALYZER 500 verifies whether the asset component created on the basis of the feature has been created consistently (see FIG. 6).

Second embodiment Application Development

When performing feature modeling for a domain (or region), ASADAL / FORM 100 selects only features that satisfy the system requirements in the feature model. The selected feature selection information is stored in the ASADAL / ASSET DB 400.

ASADAL / COMP (200) is a macro-processing operation to take the feature selection information and asset components from the ASADAL / ASSET DB (400) to properly match the feature selection information to the asset component for generation of software components Do this. In other words, by processing the feature selection information selected according to the requirements of the user by macro, only the code for implementing the selected features is applied to generate the completed software component. The software component thus created is managed through the configuration management module of ASADAL / COMP 200 and stored in the ASADAL / ASSET DB 400 so that it can be reused in an external module.

As described above, once the software component is created, the ASADAL / OBJ 300 is used to support architecture modeling, operational modeling, and automatic code generation to create applications using reusable components. That is, the ASADAL / OBJ 300 designs an architecture model that satisfies the requirements of the user based on the reusable models stored in the ASADAL / ASSET DB 400. It also specifies the internal operating model of the system in terms of its internal functions and behaviors. In the specification of the functional point of view, the specification can be made to use external software components so that the system can be configured by reusing the software components. In addition, the validation model can be validated through the validation module.

The operation model generated by the ASADAL / OBJ 300 is an input of an automatic code generation module, and executable target codes and simulation codes are automatically generated. The simulation code thus obtained is a code that allows the controller and environment objects to interlock with each other in a virtual environment, and the target code is a code that is downloaded to an actual system and performs a control function. Execution codes automatically generated by the ASADAL / OBJ 300 are used in the testing phase of the application and are stored in the ASADAL / ASSET DB 400.

Third embodiment : Application Testing

Testing of the application is accomplished by (i) virtual simulations using simulation code and environment objects, and (ii) downloading and testing the target code on a real system.

Testing through a virtual environment simulation first specifies a virtual environment in which a program is placed and executed using the environment modeling module of the ASADAL / OBJ 300 (see S314 in FIG. 2). In order to map data and events between code of the control unit and environment objects, data is mapped to each other through a virtual I / O mapping module, and mapping information is stored in the ASADAL / ASSET DB 400 (see S316 of FIG. 3). ). Next, ASADAL / OBJ (300) can intuitively test the control software through a three-dimensional simulation module that can be placed in the virtual environment by placing the control software and control software to control the system, and through this virtual environment Verify that the automatically generated code is working as intended in the virtual environment (see S320 to S324 in FIG. 4).

* If the executable code has been verified in virtual environment testing, you need to download the executable code to a real system and verify that it works. The ASADAL / OBJ 300 verifies that the execution code works properly in the real system by having real I / O mapping information that the real system and the virtual simulation environment can exchange data and events with each other (see S326 of FIG. 5). .

Fourth embodiment : Application Maintenance

If the result of the test in the virtual simulation of the ASADAL / OBJ 300 is different from the expected, the error occurred in the software component can be corrected through the following method.

(1) First, if the feature model itself needs to be modified, the ASADAL / FORM 100 may modify the feature model itself, and store the modified feature model in the ASADAL / ASSET DB (400), and select ASADAL / COMP ( Regenerate the software component at 200).

(2) If modification of the feature model is not required, consider whether the asset component needs modification. If the asset component needs to be modified, it is modified in ASADAL / COMP (200), stored in ASADAL / ASSET DB (400), and the software component is regenerated in ASADAL / COMP (200).

(3) If the feature model and asset component do not require modification, the ASADAL / OBJ 300 modifies the internal specification through the operational modeling module.

After finding the problem occurring in the software component through the above method, the ASADAL / OBJ 300 may develop the software by testing in a virtual environment with the modified code through automatic code generation.

As described above, ASADAL, a system that provides a feature-based software reuse development environment according to the present invention, clearly analyzes the functional, environmental, technical, and implementation commonalities and differences of systems in a domain forming a similar system to develop components. Reflecting has the advantage of increasing the reusability and adaptability of the component.

In addition, in the development environment according to the present invention, the model can be verified from the initial stage of software development, and errors of the model can be found through simulation. Therefore, this analysis can increase the reliability of the model and can significantly reduce the development cost because it can check for critical errors in the early stages of software development.

Software inspection through the three-dimensional simulation according to the present invention has the advantage that can perform a variety of inspection at a low cost since the environment similar to the real world is built through the three-dimensional modeling and performing the software inspection and evaluation based on this . In particular, since a real-time control system is often an embedded system, software inspection and evaluation of an external hardware environment and an internal software system can enhance the reliability of the software. Inspection costs can also be significantly reduced.

The development environment according to the present invention provides a systematic framework that supports all steps of software analysis, design, implementation, and testing, thereby obtaining meaningful output at each step. In addition, the development environment according to the present invention is designed such that efficient reuse of software functions, and this reuse technique can be widely applied to software development in various fields.

Claims (11)

A system that provides a feature-based software product line development environment. A feature modeling module for inputting candidate feature models for a specific region through an editor module to create a feature model of a tree structure by classifying essential features representing commonalities, optional features representing differences, and alternative features; Find the required features and optional alternative features among the feature models, and specify their relations and composite laws, and apply the feature laws inputted in response to the provisions to the feature models to ensure that they are specified according to the composite law. A feature model verification module that verifies that the relationship is properly established, and imports the validated feature model to select among the features to select required features representing differences from essential features expressing commonalities in application development, Feature selection information selected in response to the provision; ASADAL / FORM including a feature selection module for verifying and storing according to the feature law; ASADAL / COMP that supports reusable asset component development based on the feature model and feature selection information, macro-processes the asset component to create a software component suitable for feature selection, and supports configuration management for the component; ASADAL / OBJ, which performs architecture modeling and operational modeling for the application development, automatic code generation, and verification by building and simulating a virtual test bed; An ASADAL / ASSET DB for storing data generated by the ASADAL / FORM, ASADAL / COMP and ASADAL / OBJ; ASADAL / ANALYZER for verifying consistency between data stored in the ASADAL / ASSET DB System comprising a. The method of claim 1, The feature model generated by the feature modeling module and the feature selection information generated by the feature selection module are stored in the ASADAL / ASSET DB. system. A system that provides a feature-based software product line development environment. Create a feature model using candidate feature models for a specific area, find the created feature model, provide their relations and synthesis laws, and apply the feature laws entered in response to the provision to the feature model Import the validated feature model to provide a selection of optional features that represent differences from the required features expressing commonalities in application development and selecting the selected features in response to the provision; ASADAL / FORM for verifying and storing information in accordance with the law of infractions, An asset component is defined by grouping relevant features among features required among the required features defined in the feature model, and if the optional features and alternative features related to the asset component exist, a macro of how the component should respond An asset component development module for creating an asset component by setting a relationship between an input macro specification and a feature in response to the provision, and an asset for validating a grammatical error and specification occurring when the macro is used; A component verification module and a software component generation module for automatically generating a software component by processing a macro included in the asset component specification based on the feature selection information and converting the selected macro into code for implementing the selected features, and when generating the software component. Manages the configuration management information generated on the basis of the selected feature selection information and asset component information, and provides a component configuration management module that provides backtrace of the generated feature model and asset component when an error occurs in the software component. With ASADAL / COMP, ASADAL / OBJ, which performs architecture modeling and operational modeling for the application development, automatic code generation, and verification by building and simulating a virtual test bed; An ASADAL / ASSET DB for storing data generated by the ASADAL / FORM, ASADAL / COMP and ASADAL / OBJ; ASADAL / ANALYZER for verifying consistency between data stored in the ASADAL / ASSET DB System comprising a. The method of claim 3, wherein The asset component development module receives the feature model from the ASADAL / ASSET DB to generate the asset component, and stores the generated asset component in the ASADAL / ASSET DB. The software component generation module receives the feature selection information and the asset component from the ASADAL / ASSET DB to generate the software component, and stores the generated software component in the ASADAL / ASSET DB. The configuration management information generated by the configuration management module is stored in the ASADAL / ASSET DB, characterized in that system. A system that provides a feature-based software product line development environment. Create a feature model using candidate feature models for a specific area, find the created feature model, provide their relations and synthesis laws, and apply the feature laws entered in response to the provision to the feature model Import the validated feature model to provide a selection of optional features that represent differences from the required features expressing commonalities in application development and selecting the selected features in response to the provision; ASADAL / FORM for verifying and storing information in accordance with the law of function; ASADAL / COMP that supports reusable asset component development based on the feature model and feature selection information, macro-processes the asset component to create a software component suitable for feature selection, and supports configuration management for the component; A software architecture modeling module that creates a software architecture by designing how to place software components in consideration of the non-functional elements of the features represented in the feature model, and an operation model for application-specific components using a function and behavior specification language. An operating modeling module for generating a model, a model validation module for verifying inconsistencies and errors in specifications included in the software architecture modeling module and the operating modeling module, and a model validation module based on the operating model and architecture model ASADAL / OBJ including an automatic code generation module for generating control code and simulation code in a target programming language, An ASADAL / ASSET DB for storing data generated by the ASADAL / FORM, ASADAL / COMP and ASADAL / OBJ; ASADAL / ANALYZER for verifying consistency between data stored in the ASADAL / ASSET DB System comprising a. The method of claim 5, The ASADAL / OBJ, An environment object modeling module for generating an environment object by virtually modeling a system in which the application is to be executed and executed; A controller simulation module for executing the control code in a controller for developing an application program for controlling the system; An environment simulation module for executing the simulation code on the environment object; A virtual input / output mapping module for connecting data and events transmitted and received between the controller simulation module and the environment simulation module; And an actual input / output mapping module for connecting data and events transmitted and received between the system and the environment simulation module. system. The method of claim 6, The environment object modeling module generates a three-dimensional shape for visually representing a system having various shapes to model the shape of the environment object, and the environment simulation module matches the three-dimensional shape with the operational model. Characterized in that to perform a three-dimensional simulation system. The method of claim 6, The system may perform a simulation by communicating an event and data with the environment simulation module through the actual input / output mapping module. system. The method of claim 5, The operational modeling module uses reusable software components input from the outside of the system through a method of functional specification. system. The method of claim 5, The software architecture modeling module stores the generated software architecture in the ASADAL / ASSET DB, The operational modeling module receives the software architecture stored in the ASADAL / ASSET DB, generates the operational model, and stores the generated operational model in the ASADAL / ASSET DB. system. A system that provides a feature-based software product line development environment. Create a feature model using candidate feature models for a specific area, find the created feature model, provide their relations and synthesis laws, and apply the feature laws entered in response to the provision to the feature model Import the validated feature model to provide a selection of optional features that represent differences from the required features expressing commonalities in application development and selecting the selected features in response to the provision; ASADAL / FORM for verifying and storing information in accordance with the law of infractions, ASADAL / COMP that supports reusable asset component development based on the feature model and feature selection information, macro-processes the asset component to create a software component suitable for feature selection, and supports configuration management for the component; ASADAL / OBJ, which performs architecture modeling and operational modeling for the application development, automatic code generation, and verification by building and simulating a virtual test bed; An ASADAL / ASSET DB for storing data generated by the ASADAL / FORM, ASADAL / COMP and ASADAL / OBJ; A module for verifying consistency between data stored in the ASADAL / ASSET DB, a module for checking consistency between the feature model and the asset component, a module for checking the consistency of an operational model, and a consistency between the architecture model and the software component ASADAL / ANALYZER including a module to check and a module to check consistency between the software component and the operational model. System comprising a.

Images