WO2012053392A1 - Software-product-line development assisting device, method thereof, and program thereof - Google Patents
Software-product-line development assisting device, method thereof, and program thereof Download PDFInfo
- Publication number
- WO2012053392A1 WO2012053392A1 PCT/JP2011/073318 JP2011073318W WO2012053392A1 WO 2012053392 A1 WO2012053392 A1 WO 2012053392A1 JP 2011073318 W JP2011073318 W JP 2011073318W WO 2012053392 A1 WO2012053392 A1 WO 2012053392A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- software product
- product line
- development support
- line development
- component
- Prior art date
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/36—Software reuse
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
Definitions
- the present invention relates to a software product line development support apparatus that manages information related to software product line development of a control monitoring system, a method thereof, and a program thereof.
- a feature model associated with features is generally used to develop a software product line that supports user software development.
- the model creator is required to extract appropriate features and associations between features.
- Patent Document 1 describes a system that provides a development environment for a feature-oriented software product line.
- This system of Patent Document 1 applies a known software product line methodology to a specific domain (or region), and performs necessary feature selection for feature analysis and application program development on the domain (for example, controlled object).
- Generation of reusable asset components program module assets
- generation of software components through macro processing and shape management for components creation of program sources
- application software development using software components and software testing in virtual environments It is intended to support.
- a control monitoring system for controlling a plant or the like has the following functions. Acquires information on equipment to be controlled and monitored (hereinafter referred to as equipment status monitoring function), performs control computation (hereinafter referred to as control computing function) based on the equipment status, Control output (hereinafter referred to as a control output function) to control the equipment.
- equipment status monitoring function Acquires information on equipment to be controlled and monitored
- control computing function performs control computation (hereinafter referred to as control computing function) based on the equipment status
- Control output hereinafter referred to as a control output function
- Equipment status monitoring function and control output function are different for each system. Protocols) are considered as differences, domain (for example, control target) analysis and feature (characteristic) analysis are performed, and reusable components (program modules) can be created.
- control calculation function has a function of comprehensively determining the state of the equipment to be controlled and monitored and the state of the entire system and performing the calculation, and outputting to the equipment to be controlled and monitored.
- the state of these facilities and the state of the entire system are generally different for each user's system, and it is common to express them with conventional functional, environmental, technical, and actual domain analysis and feature analysis. The reusability is difficult.
- control operation function In a user's centralized A system, if a failure occurs in some devices, the control operation function must determine not to perform control output. On the other hand, in the distributed B system of other users, when a failure occurs in some devices, the control operation function performs control output semi-automatically, but when a serious failure occurs in the entire B system, It is determined not to perform control output.
- an object of the present invention is to provide a software product line development support apparatus, a method thereof, and a program thereof that can arbitrarily map components executed under transition conditions of state transitions and can reuse features. .
- a software product line development support apparatus is a software product line development support apparatus of a software system, and indicates a state transition of a control target or a virtual target in the software system.
- a feature information storage unit that stores feature information representing characteristics including transition information, and a determination for shifting each state, and a user can arbitrarily select a determination component based on the feature Judgment component selection means, and judgment component management means for storing and holding the selectable judgment components in the judgment component storage unit and reading them out as necessary are provided.
- a software product line development support apparatus method is a software product line development support apparatus method of a software system, wherein the software product line development support apparatus includes a feature information storage unit, A feature representing a characteristic including state transition information indicating a state transition of a control target or a virtual target in the software system in the feature information storage unit. Information is stored, and the determination component selection unit makes a determination for transitioning the respective states and allows a user to arbitrarily select a determination component based on the feature. Selectable The Do decision component, it is made possible to read as required and stores held in determining the component storage section.
- the software product line development support apparatus program according to claim 21 of the present invention is a program for causing a computer to execute the method of the software product line development support apparatus of claim 11 of the present invention. .
- FIG. 1 is a block diagram of a software product line development support apparatus according to an embodiment of the present invention.
- FIG. 1 is a block diagram of a software product line development support apparatus 1 according to an embodiment of the present invention.
- a software product line development support device 1 for developing a software product line of a train operation management system that manages train operations on railways will be described.
- the control target of the train operation management system (monitoring control system) is equipment related to train operation.
- the software product line development support device 1 of the embodiment includes a storage unit 2 that is a storage unit such as a hard disk that stores information on features indicating various characteristics related to train operations, and an input device such as a mouse, a keyboard, and a touch panel. 31 and a user interface unit 3 including a display device 32 such as an LCD (Liquid Crystal Display), and a control unit 4 that controls the entire software product line development support device 1.
- a storage unit 2 is a storage unit such as a hard disk that stores information on features indicating various characteristics related to train operations
- an input device such as a mouse, a keyboard, and a touch panel.
- 31 and a user interface unit 3 including a display device 32 such as an LCD (Liquid Crystal Display), and a control unit 4 that controls the entire software product line development support device 1.
- the storage unit 2 stores a software product line development support program 10 responsible for control (processing) of the software product line development support device 1.
- the control unit 4 is implemented by executing a software product line development support program 10 (hereinafter referred to as a development support program 10) by a CPU (Central Processing Unit).
- a development support program 10 hereinafter referred to as a development support program 10
- the CPU reads the development support program 10 from the storage unit 2 such as an HDD (Hard disk drive), develops and executes it in the main storage unit (not shown), and embodies the control unit 4. It shows the state.
- HDD Hard disk drive
- the storage unit 2 manages an execution component information storage unit 21 that manages information (execution component information) of an execution component that is a program module to be executed, and information (determination component information) of a determination component that is a program module that performs a determination.
- Determination component information storage unit 22 feature information storage unit 23 that stores information of features (characteristics) including state transitions such as equipment related to operation, and feature model analysis result storage that stores the results of analyzing each information Part 24.
- the control unit 4 embodied in the development support program 10 includes an interface unit 11 that manages input / output from the user interface unit 3 and an execution component information management unit that manages execution component information such as what program module level is present. 12, a judgment component information management unit 13 that manages judgment component information such as what kind of judgment is made for a program module, a feature information management unit 14 that manages information on features including state transitions such as equipment, System consistency check and automatic source code generation from information stored in each information storage unit (21, 22, 23, 24) of the storage unit 2 and the information management unit 15 for managing various types of information in an integrated manner And an information analysis unit 16 that performs system tests and the like. That.
- the interface unit 11 exchanges information between the various functions of the software product line development support device 1 and the input device 31 and the display device 32 used by an operator (user).
- the display device 32 performs display when developing the software product line.
- the interface unit 11 is based on a function of transmitting an operator (user) instruction from the input device 31 to the information management unit 15 or the information analysis unit 16 and information transmitted from the information management unit 15 or the information analysis unit 16. And a function for generating a screen to be displayed on the display device 32 (for example, a screen definition, a screen object, etc.).
- the interface unit 11 also has a function (for example, a screen switching definition) for switching various screens displayed on the display device 32 in response to an operation of an operator (user) from the input device 31. .
- the execution component information management unit 12 manages execution component information stored in the execution component information storage unit 21.
- the execution component information storage unit 21 in the storage unit 2 stores execution component related information including execution component identification information for identifying individual execution components, and related information between execution components indicating parent-child relationships between execution components, and execution components. Storage medium.
- the determination component information storage unit 22 of the storage unit 2 stores storage information including information on individual determination components (determination component information), for example, identification information of determination components, determination components, and related information between determination components. It is.
- the determination component information management unit 13 of the control unit 4 manages the determination component information stored in the determination component information storage unit 22. That is, the determination component information management unit 13 stores / holds, reads, updates, and deletes determination component information in the determination component information storage unit 22.
- the feature information storage unit 23 of the storage unit 2 stores the relationship between the state held by the equipment to be controlled and the determination component used for the state transition condition, and information on the execution component executed when the state transition occurs. This corresponds to a storage medium to be stored.
- the feature information management unit 14 of the control unit 4 manages feature information including state transition information stored in the feature information storage unit 23.
- the feature information management unit 14 stores, reads, updates, and deletes feature information in the feature information storage unit 23.
- the feature information storage unit 23 that stores feature information such as a state and the feature information management unit 14 that manages feature information define state, and thus are state definition means.
- An arbitrary state can be input from the user interface unit 3 by the user. Alternatively, data may be transferred from another system, and an arbitrary state may be recorded in the feature information storage unit 23 by the feature information management unit 14.
- the information management unit 15 of the control unit 4 exchanges information between the management units 12, 13, and 14 and the interface unit 11 and exchanges information with the information analysis unit 16.
- the information analysis unit 16 displays the function for verifying the consistency of each information based on the execution component information acquired from the information management unit 15, the determination component information, and the feature information including the state transition, and the verification result. It has a function of outputting to the device 32 side, a function of automatically generating executable source code (program source code), and a function of testing the generated source code.
- the feature model analysis result storage unit 24 of the storage unit 2 is a storage medium that stores the results analyzed by the information analysis unit 16.
- FIG. 2 is a diagram illustrating an example of the configuration of the execution component information J stored in the execution component information storage unit 21.
- the execution component information J includes execution component identification information J1 and execution component related information J2.
- the execution component identification information J1 includes information such as “execution component ID (Identification)” and “execution component name” for identifying individual execution components.
- the execution component identification information J1 includes “execution component comment” which is a comment about what the execution component does, and “creation date and time” of the execution component.
- the execution component relation information J2 includes information such as “execution component relation ID” for uniquely identifying the relation information between execution components and “child execution component ID” for identifying the parent-child relationship of the execution components. . Furthermore, the inter-execution component relation information J2 indicates “relationship with child component” (in FIG. 2, “selection” for selecting either C10001 or C10002) indicating the relation with the child execution component, and the execution It includes “execution component reference relation” indicating related execution component information necessary for the component to operate. That is, FIG. 2 shows that in order for the execution component with the execution component ID “C10000” to operate, it is necessary to refer to the execution component with the execution component ID “C20001”.
- FIG. 3 is a diagram illustrating an example of the configuration of the determination component information H stored in the determination component information storage unit 22 (see FIG. 1).
- the judgment component information H includes judgment component identification information H1 and judgment component related information H2.
- the determination component identification information H1 includes information such as “determination component ID” and “determination component name” for identifying individual determination components. Further, the determination component identification information H1 includes a “determination component comment” indicating the content of the determination component and its “creation date”.
- the inter-determination component related information H2 includes information such as “relation ID between determination components” for uniquely identifying the relevant information of the determination component, and “child determination component ID” forming a parent-child relationship of the determination component. Further, in the relation information H2 between judgment components, “association with child components” indicating the relation with child judgment components (in FIG. 3, “selection type” for selecting either “C10001” or “C10002” is designated. “Indicates the relationship between determination components” indicating the determination components required when operating the determination component (W10000). That is, FIG. 3 shows that it is necessary to refer to the judgment components of judgment component IDs C20001, C20002, and C20003 in order to operate the judgment component (W10000).
- FIG. 4 is a diagram illustrating an example of the configuration of the feature information F of the state transition information stored in the feature information storage unit 23.
- the feature information F includes state identification information F1 and state related information F2.
- the state identification information F1 includes information such as a “state ID” for identifying a state of each facility, a state name, an execution component F1a executed when the state is reached.
- the execution component F1a executes automatic control A when entering this state (entry), does nothing during this state (stay), and does nothing when exiting this state (exit). No (NULL).
- the status identification information F1 “comment” explaining the contents of this status and “creation date” of this status are displayed.
- the inter-state relation information F2 includes a “relation ID” for identifying inter-state relation information, which is relation information between states, and is used for transitioning between equipment states as “state transition information” from state to state. It includes a state determination component F2a, a state transition source F2b, and a state transition destination F2c that are used as conditions.
- execution component information and the judgment component information are registered in the storage unit 2. Registration of execution component information and determination component information is similar to conventional component creation, application program creation, and software program creation, and is a well-known technique, and is not particularly described here. Furthermore, it is assumed that the execution component and the judgment component are tested at the time of registration and guaranteed.
- FIG. 5 is a conceptual diagram for explaining registration of state identification information.
- the state transition creator (user) P creates a state via the state identification information editing screen G1 shown in FIG.
- the state is created for specific objects that have state transitions, such as the equipment to be controlled and the state of the entire system, but states are defined for virtual equipment and events. It doesn't matter.
- an execution component (hereinafter referred to as an entry-time execution component) that is executed when transitioning to a defined state can be selected from the execution component combo box G1a.
- an execution component combo box G1a for selecting the entry execution component is clicked on the state identification information editing screen G1, the interface unit 11, the information management unit 15, and the execution component information management of FIG.
- the execution component information management unit 12 acquires a selectable execution component list from the execution component information storage unit 21 via the unit 12, and displays it in the execution component combo box G1a.
- the user selects an execution component at the time of entry from the execution component list displayed in the execution component combo box G1a as necessary. If there is no need to execute at entry, there is no problem in the unselected state.
- FIG. 7 is a conceptual diagram for explaining registration of related information between states.
- the state transition creator (user) P defines the condition of the state transition for transitioning from state to state via the inter-state related information edit display screen G2 shown in FIG.
- the condition for state transition uses a feature that determines the condition, but input / output information of each facility (standard input / output information and input / output information of an external system) may be used.
- the state transition creator P selects the state registered in “1. Registration of state identification information” from the state information list G2a on the inter-state related information edit display screen G2 in FIG. All status lists registered in the space of the status information list G2a on the inter-status related information edit display screen G2 are displayed.
- the state transition creator (user) P selects a state to be used from the state information list G2a via the user interface unit 3 (see FIG. 1) and registers it in the inter-state related information editing screen G2b.
- the states where the state transition can occur are connected by the state transition line G2s by dragging with the mouse.
- the result of selecting the state of the transition source (start point of the arrow) and the state of the transition destination (end point of the arrow) on the inter-state related information editing screen G2b of FIG. 8 is obtained via the interface unit 11 and the information management unit 15 of FIG.
- the feature information management unit 14 is notified, and is temporarily managed by the feature information management unit 14, for example, stored in a temporary storage area of the feature information management unit 14.
- state G2b1 that can take a nested structure as shown in the inter-state related information editing screen G2b shown in FIG. 9, further state transitions can be stored in the state G2b1. That is, the state G2b2 that first transitions at the timing when the parent state (G2b1) is reached is defined in the same manner as described above.
- conditions for causing state transition are defined via the user interface unit 3 (see FIG. 1).
- the state transition line G2s is clicked, and the judgment component and the return value G2d displayed in the condition component input combo box G2c are selected.
- Selectable determination components are determined by the determination component information management unit 13 from the determination component information storage unit 22 via the determination component information storage unit 22, the determination component information management unit 13, the information management unit 15, and the interface unit 11 of FIG. By acquiring, the result is displayed on the display device 32 (see FIG. 1).
- the selected result is notified to the feature information management unit 14 via the interface unit 11 and the information management unit 15 in FIG. 7, and is temporarily stored in the feature information management unit 14, for example, the feature information management unit 14 Save to the temporary storage area.
- the number of determination components for state transition is not limited to one, and a plurality of determination components can be selected, and logical expressions of a plurality of determination components may be combined.
- the determination component selected in the conditional component input combo box G2c and the selected return value G2d are displayed in the conditional component list G2e.
- the state transition creator P presses the “Register” button G2f in FIG. 9 the input information is notified to the feature information management unit 14 via the interface unit 11 and the information management unit 15 in FIG.
- the information is stored in the feature information storage unit 23 by the unit 14.
- FIG. 10 is a conceptual diagram for explaining state transition information consistency check. After completion of the registration of “1. Registration of state identification information” and “2. Registration of related information between states”, the execution component information storage unit 21, the determination component information storage unit 22, and the feature information storage unit 23 shown in FIG. Check the consistency of the contents registered in.
- the execution component information management unit 12 and the determination component information management unit 13 confirm each of them. If a non-existing feature is used, such as being deleted, it is displayed as an error on the display device 32 of the user interface unit 3 in FIG.
- FIG. 11 shows an example of the condition G2g where state transition is impossible. As shown in the example of FIG. 11, when there is a state transition in which the logic is inconsistent or a condition incapable of state transition from one state as a result of the consistency check of the state transition of the information analysis unit 16 (FIG. 11 G2g) is displayed as an error on the display device 32 of the user interface unit 3 via the interface unit 11.
- the state transition creator P (user) checks the contents of each error displayed on the display device 32, corrects the execution component information, the judgment component information, and the feature information as necessary, and performs the consistency check again. Call.
- Source Code Generation that Realizes State Transition
- the information analysis unit 16 automatically generates executable source code that realizes state transition based on the registered information. Since automatic source code generation using a state transition diagram is a well-known technique, it is not particularly described here.
- the generated source code is code that is actually downloaded and controlled by the train operation management system (monitoring control system), and is used in “5. Test of generated source code” described below.
- the generated source code is stored in the feature model analysis result storage unit 24 by the information analysis unit 16.
- the information analysis unit 16 performs a test of the source code generated in “4. Source code generation for realizing state transition”. A combination of the state transition, determination component, and execution component defined above is comprehensively tested on the virtual environment. When the test scenario is generated in the information analysis unit 16 at the source code generation, the test code is also discharged at the same time, and it can be verified whether the test scenario operates as intended in the virtual environment.
- the condition of component execution can be arbitrarily selected by the software developer (user) according to the state transition specified by the external definition.
- the component execution timing is different, but focusing on relatively uniform state transitions, state transitions
- software developers can arbitrarily map components that are executed under the transition conditions of the above, enabling feature reusability and high production of software product lines. Can be realized.
- the software product line development support apparatus 1 exemplifies a case where the control unit 4 is accommodated in one form. However, if the described function can be performed, the control unit 4 is installed on a plurality of computers. May be deployed. Moreover, the memory
- the present invention is not limited to the monitoring control system as long as it is a system or process that can be expressed using a state transition diagram, and can also be used in other system devices and processes.
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
Description
図1は、本発明の一実施形態に係るソフトウェアプロダクトライン開発支援装置1のブロック図である。
本実施形態では、鉄道における列車の運行を管理する列車運行管理システムのソフトウェアプロダクトラインを開発するためのソフトウェアプロダクトライン開発支援装置1について述べる。列車運行管理システム(監視制御システム)の制御対象は、列車の運行に係わる設備などである。 Embodiments of the present invention will be described below with reference to the accompanying drawings.
FIG. 1 is a block diagram of a software product line
In the present embodiment, a software product line
記憶部2の実行コンポーネント情報保存部21は、個々の実行コンポーネントを識別する実行コンポーネント識別情報や実行コンポーネント間の親子関係を示す実行コンポーネント間の関連情報を含む実行コンポーネント間関連情報、実行コンポーネントを保存する記憶媒体である。 The execution component
The execution component
制御部4の判断コンポーネント情報管理部13は、判断コンポーネント情報保存部22に保存される判断コンポーネント情報を管理するものである。すなわち、判断コンポーネント情報管理部13は、判断コンポーネント情報保存部22に判断コンポーネント情報を記憶・保持したり、読み出したり、更新したり、削除などする。 The determination component
The determination component
制御部4のフィーチャ情報管理部14は、フィーチャ情報保存部23に保存される状態遷移情報を含むフィーチャ情報を管理するものである。フィーチャ情報管理部14は、フィーチャ情報をフィーチャ情報保存部23に記憶したり、読み出し、更新したり、削除などする。なお、状態などのフィーチャ情報を保持するフィーチャ情報保存部23と、フィーチャ情報を管理するフィーチャ情報管理部14とは、任意の状態を定義するので、状態定義手段である。任意の状態は、ユーザがユーザインターフェース部3から入力することができる。或いは、他のシステムからデータを転送して、任意の状態をフィーチャ情報管理部14でフィーチャ情報保存部23に記録してもよい。 The feature
The feature
情報分析部16は、情報管理部15から取得される実行コンポーネント情報と、判断コンポーネント情報と、状態遷移を含むフィーチャ情報とに基づき、各情報の整合性を検証する機能と、その検証結果を表示装置32側へ出力する機能と、実行可能なソースコード(プログラムソースのコード)を自動生成する機能と、生成したソースコードを試験する機能とを有する。
記憶部2のフィーチャモデル分析結果保存部24は、情報分析部16が解析した結果を保存する記憶媒体である。 The
The
The feature model analysis
次に、各種の情報保存部21、22、23に保存される情報の構成について、図2~図4を参照して説明する。
図2は、実行コンポーネント情報保存部21に保存される実行コンポーネント情報Jの構成の一例を示す図である。
実行コンポーネント情報Jは、実行コンポーネント識別情報J1と実行コンポーネント間関連情報J2とを含む。 <Configuration of information stored in each
Next, the configuration of information stored in the various
FIG. 2 is a diagram illustrating an example of the configuration of the execution component information J stored in the execution component
The execution component information J includes execution component identification information J1 and execution component related information J2.
判断コンポーネント情報Hは、判断コンポーネント識別情報H1および判断コンポーネント間関連情報H2を含む。
判断コンポーネント識別情報H1は、個々の判断コンポーネントを識別するための“判断コンポーネントID”や、“判断コンポーネント名”などの情報を含む。さらに、判断コンポーネント識別情報H1は、当該判断コンポーネントの内容を示す“判断コンポーネントコメント”、その“作成日時”を含む。 FIG. 3 is a diagram illustrating an example of the configuration of the determination component information H stored in the determination component information storage unit 22 (see FIG. 1).
The judgment component information H includes judgment component identification information H1 and judgment component related information H2.
The determination component identification information H1 includes information such as “determination component ID” and “determination component name” for identifying individual determination components. Further, the determination component identification information H1 includes a “determination component comment” indicating the content of the determination component and its “creation date”.
フィーチャ情報Fは、状態識別情報F1および状態間関連情報F2を含む。
状態識別情報F1は、個々の設備などの状態を識別するための“状態ID”や、状態名称、本状態に至る場合に実行される実行コンポーネントF1aなどの情報を含む。実行コンポーネントF1aは、本状態に入る際(entry)には自動制御Aを実行し、本状態の間(stay)は、何もせず(NULL)、本状態から出る際(exit)には何もしない (NULL)ことを示している。状態識別情報F1には、その他、本状態の内容を説明する“コメント”、本状態の“作成日時”が表示される。 FIG. 4 is a diagram illustrating an example of the configuration of the feature information F of the state transition information stored in the feature
The feature information F includes state identification information F1 and state related information F2.
The state identification information F1 includes information such as a “state ID” for identifying a state of each facility, a state name, an execution component F1a executed when the state is reached. The execution component F1a executes automatic control A when entering this state (entry), does nothing during this state (stay), and does nothing when exiting this state (exit). No (NULL). In the status identification information F1, “comment” explaining the contents of this status and “creation date” of this status are displayed.
次に、ソフトウェアプロダクトライン開発支援を実現する各種の処理について、図5~図11を参照して、説明する。
以下では、設備などの状態に関して、「1.状態識別情報の登録」、「2.状態間関連情報の登録」、「3.状態遷移の整合性チェック」、「4.状態遷移を実現するソースコード生成」について説明し、その後、生成されたプログラムソースのテストである「5.生成ソースコードの試験」について説明する。 <Various processes to realize software product line development support>
Next, various processes for realizing software product line development support will be described with reference to FIGS.
In the following, regarding the state of equipment, etc., “1. Registration of state identification information”, “2. Registration of related information between states”, “3. Check consistency of state transitions”, “4. Sources for realizing state transitions” “Code generation” will be described, and then “5. Test of generated source code” which is a test of the generated program source will be described.
図5は、状態識別情報の登録を説明するための概念図である。
状態遷移作成者(ユーザ)Pは、図6に示される状態識別情報編集画面G1を介して、状態の作成を行う。
一般に、状態を作成する対象は制御対象となる設備やシステム全体の状態など状態遷移を持つ具現的な対象について作成されるものであるが、仮想的な設備や事象についての対象に状態を定義しても構わない。 1. Registration of State Identification Information FIG. 5 is a conceptual diagram for explaining registration of state identification information.
The state transition creator (user) P creates a state via the state identification information editing screen G1 shown in FIG.
In general, the state is created for specific objects that have state transitions, such as the equipment to be controlled and the state of the entire system, but states are defined for virtual equipment and events. It doesn't matter.
ユーザは、必要に応じて実行コンポーネントコンボボックスG1aに表示された実行コンポーネント一覧からentry時の実行コンポーネントを選択する。entry時に実行する必要がない場合は、非選択の状態で問題ない。 In the state identification information editing screen G1, an execution component (hereinafter referred to as an entry-time execution component) that is executed when transitioning to a defined state can be selected from the execution component combo box G1a. Specifically, when the execution component combo box G1a for selecting the entry execution component is clicked on the state identification information editing screen G1, the
The user selects an execution component at the time of entry from the execution component list displayed in the execution component combo box G1a as necessary. If there is no need to execute at entry, there is no problem in the unselected state.
図7は、状態間関連情報の登録を説明するための概念図である。
状態遷移作成者(ユーザ)Pは、図8に示す状態間関連情報編集表示画面G2を介して、状態から状態へ遷移する状態遷移の条件定義を行う。一般に、状態遷移する条件は、その条件を判断するフィーチャを利用するものとするが、各設備の入出力情報(標準入出力情報や外部システムの入出力情報)を使用しても構わない。 2. Registration of related information between states FIG. 7 is a conceptual diagram for explaining registration of related information between states.
The state transition creator (user) P defines the condition of the state transition for transitioning from state to state via the inter-state related information edit display screen G2 shown in FIG. In general, the condition for state transition uses a feature that determines the condition, but input / output information of each facility (standard input / output information and input / output information of an external system) may be used.
状態遷移作成者(ユーザ)Pは、ユーザインターフェース部3(図1参照)を介して、状態情報一覧G2aから使用する状態を選択し、状態間関連情報編集画面G2bに登録する。 First, the state transition creator P selects the state registered in “1. Registration of state identification information” from the state information list G2a on the inter-state related information edit display screen G2 in FIG. All status lists registered in the space of the status information list G2a on the inter-status related information edit display screen G2 are displayed.
The state transition creator (user) P selects a state to be used from the state information list G2a via the user interface unit 3 (see FIG. 1) and registers it in the inter-state related information editing screen G2b.
図8の状態間関連情報編集画面G2bにおける遷移元(矢印の始点)の状態と遷移先(矢印の終点)の状態を選択した結果は、図7のインターフェース部11、情報管理部15を介して、フィーチャ情報管理部14に通知され、一時的にフィーチャ情報管理部14で管理される、例えばフィーチャ情報管理部14の一時記憶領域に保存される。 Next, in the user interface unit 3, in the state related information editing screen G2b of FIG. 8, the states where the state transition can occur are connected by the state transition line G2s by dragging with the mouse.
The result of selecting the state of the transition source (start point of the arrow) and the state of the transition destination (end point of the arrow) on the inter-state related information editing screen G2b of FIG. 8 is obtained via the
状態遷移線G2sをクリックし、条件コンポーネント入力コンボボックスG2cに表示されている判断コンポーネントと返り値G2dの選択をする。選択可能な判断コンポーネントは、図7の判断コンポーネント情報保存部22、判断コンポーネント情報管理部13、情報管理部15、インターフェース部11を介して、判断コンポーネント情報管理部13が判断コンポーネント情報保存部22から取得することで、結果を表示装置32(図1参照)に表示する。 Next, conditions for causing state transition are defined via the user interface unit 3 (see FIG. 1).
The state transition line G2s is clicked, and the judgment component and the return value G2d displayed in the condition component input combo box G2c are selected. Selectable determination components are determined by the determination component
状態遷移作成者Pが図9の「登録」ボタンG2fを押下すると、入力した情報は、図7のインターフェース部11、情報管理部15を介して、フィーチャ情報管理部14に通知され、フィーチャ情報管理部14によりフィーチャ情報保存部23に保存される。 Then, the selected result is notified to the feature
When the state transition creator P presses the “Register” button G2f in FIG. 9, the input information is notified to the feature
図10は、状態遷移情報の整合性チェックを説明するための概念図である。
前記の「1.状態識別情報の登録」、「2.状態間関連情報の登録」の登録完了後、図10に示す実行コンポーネント情報保存部21、判断コンポーネント情報保存部22、フィーチャ情報保存部23に登録されている内容の整合性チェックを行う。 3. State Transition Consistency Check FIG. 10 is a conceptual diagram for explaining state transition information consistency check.
After completion of the registration of “1. Registration of state identification information” and “2. Registration of related information between states”, the execution component
図11に状態遷移不可能な条件の一例G2gを示す。
図11の例に示したように、情報分析部16の状態遷移の整合性チェックの結果、論理が矛盾している状態遷移や1つの状態から状態遷移が不可能な条件があった場合(図11の一例G2g)は、インターフェース部11を介して、ユーザインターフェース部3の表示装置32にエラーとして表示する。 Next, the
FIG. 11 shows an example of the condition G2g where state transition is impossible.
As shown in the example of FIG. 11, when there is a state transition in which the logic is inconsistent or a condition incapable of state transition from one state as a result of the consistency check of the state transition of the information analysis unit 16 (FIG. 11 G2g) is displayed as an error on the
次に、状態遷移を実現するソースコードを生成する。
情報分析部16は、登録されている情報を基に状態遷移を実現する実行可能なソースコードを自動生成する。状態遷移図を用いた自動のソースコード生成については周知の技術であるため、ここでは特に説明しない。 4). Source Code Generation that Realizes State Transition Next, source code that realizes state transition is generated.
The
次に、「4.状態遷移を実現するソースコード生成」で生成したソースコードの試験を情報分析部16(図1参照)が行う。前記で定義した状態遷移と判断コンポーネントと実行コンポーネントの組み合わせを、仮想環境上で網羅的に試験する。試験のシナリオは情報分析部16において、ソースコード生成を行った際に、テストコードも同時に吐き出され、仮想環境で意図通りに作動するか検証することができる。 5. Test of Generated Source Code Next, the information analysis unit 16 (see FIG. 1) performs a test of the source code generated in “4. Source code generation for realizing state transition”. A combination of the state transition, determination component, and execution component defined above is comprehensively tested on the virtual environment. When the test scenario is generated in the
すなわち、システム構成や運用が各ユーザごとに異なる特徴をもつ制御監視システム(例えば、列車運行管理システム)において、コンポーネントの実行タイミングは異なるが、比較的統一されている状態遷移に着目し、状態遷移の遷移条件で実行されるコンポーネントをソフトウェア開発者(ユーザ)が、図8、図9に示すように、任意にマッピング可能とすることで、フィーチャの再利用性が図れ、ソフトウェアプロダクトラインの高生産性を実現できる。 According to the above configuration, the condition of component execution (execution component, determination component) can be arbitrarily selected by the software developer (user) according to the state transition specified by the external definition.
In other words, in a control and monitoring system (for example, a train operation management system) with different system configuration and operation for each user, the component execution timing is different, but focusing on relatively uniform state transitions, state transitions As shown in Fig. 8 and Fig. 9, software developers (users) can arbitrarily map components that are executed under the transition conditions of the above, enabling feature reusability and high production of software product lines. Can be realized.
また、記憶部2は、別体のデータベースサーバに記憶してもよいし、分割して構成してもよい。 In the above embodiment, the software product line
Moreover, the memory |
10 ソフトウェアプロダクトライン開発支援プログラム
12 実行コンポーネント情報管理部(コンポーネント定義手段、実行コンポーネントチェック手段)
13 判断コンポーネント情報管理部(判断コンポーネント選択手段、判断コンポーネント管理手段、判断コンポーネントチェック手段)
14 フィーチャ情報管理部(フィーチャ管理手段、状態定義手段、コンポーネント定義手段、状態管理手段、状態遷移手段)
16 情報分析部(ソースコード生成手段、ソフトウェア試験手段、整合性チェック手段)
21 実行コンポーネント情報保存部(コンポーネント定義手段)
22 判断コンポーネント情報保存部(判断コンポーネント記憶部)
23 フィーチャ情報保存部(状態定義手段、フィーチャ情報記憶部、状態管理手段、コンポーネント定義手段)
24 フィーチャモデル分析結果保存部
F2 状態間関連情報(状態遷移手段) DESCRIPTION OF
13 Judgment Component Information Management Unit (Judgment Component Selection Unit, Judgment Component Management Unit, Judgment Component Checking Unit)
14 Feature information management unit (feature management means, state definition means, component definition means, state management means, state transition means)
16 Information analysis section (source code generation means, software test means, consistency check means)
21 execution component information storage (component definition means)
22 Judgment Component Information Storage Unit (Judgment Component Storage Unit)
23 Feature information storage unit (state definition unit, feature information storage unit, state management unit, component definition unit)
24 Feature model analysis result storage F2 State related information (state transition means)
Claims (21)
- ソフトウェアシステムのソフトウェアプロダクトライン開発支援装置であって、
前記ソフトウェアシステムにおける制御対象または仮想的な対象の状態の遷移を示す状態遷移の情報を含む特性を表すフィーチャの情報が記憶されるフィーチャ情報記憶部と、
ユーザに対して、前記各状態を遷移させるための判断を行うとともに前記フィーチャに基づく判断コンポーネントを、任意に選択可能とする判断コンポーネント選択手段と、
前記選択可能な判断コンポーネントを、判断コンポーネント記憶部に記憶保持するとともに、必要に応じて読み出すことを可能とする判断コンポーネント管理手段とを
具備することを特徴とするソフトウェアプロダクトライン開発支援装置。 A software product line development support device for a software system,
A feature information storage unit that stores information on features representing characteristics including state transition information indicating state transition of a controlled object or a virtual object in the software system;
A determination component selecting means for making a determination for transitioning the states to the user and making it possible to arbitrarily select a determination component based on the feature;
A software product line development support apparatus comprising: a determination component management unit that stores and holds the selectable determination components in a determination component storage unit and that can be read out as necessary. - 請求の範囲第1項に記載のソフトウェアプロダクトライン開発支援装置において、
機能的にまとめられた前記フィーチャと、前記判断コンポーネントとを分離して管理する
ことを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 1,
A software product line development support apparatus characterized by separating and managing the features grouped functionally and the determination component. - 請求の範囲第2項に記載のソフトウェアプロダクトライン開発支援装置において、
任意の状態を定義する状態定義手段と、
前記定義された各状態には、その状態になったときに始めて実行される実行コンポーネント、状態を維持しているときに実行される実行コンポーネント、次の状態に移るときに実行される実行コンポーネントを定義可能であるコンポーネント定義手段とを
具備することを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 2,
State defining means for defining an arbitrary state;
Each of the defined states includes an execution component that is executed for the first time when the state is reached, an execution component that is executed when the state is maintained, and an execution component that is executed when the next state is moved. A software product line development support device comprising a component definition means that can be defined. - 請求の範囲第3項に記載のソフトウェアプロダクトライン開発支援装置において、
ユーザにより選択されたコンポーネントの実行結果を用いて、前記定義された状態の間を遷移させる状態遷移手段を
具備することを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 3,
A software product line development support apparatus, comprising: a state transition unit that transitions between the defined states using an execution result of a component selected by a user. - 請求の範囲第3項または第4項に記載のソフトウェアプロダクトライン開発支援装置において、
前記状態遷移手段は、
前記ソフトウェアシステムの入出力情報によって、前記状態間を遷移させる
ことを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 3 or 4,
The state transition means includes
Transition between the states according to input / output information of the software system
A software product line development support device. - 請求の範囲第3項または第4項に記載のソフトウェアプロダクトライン開発支援装置において、
ユーザにより定義される前記任意の状態を入れ子構造で構成する状態管理手段を
具備することを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 3 or 4,
A software product line development support device comprising state management means for configuring the arbitrary state defined by a user in a nested structure. - 請求の範囲第3項または第4項に記載のソフトウェアプロダクトライン開発支援装置において、
前記実行コンポーネントが実行コンポーネント記憶部にあるかチェックする実行コンポーネントチェック手段と、
前記判断コンポーネントが前記判断コンポーネント記憶部にあるかチェックする判断コンポーネントチェック手段とを
具備することを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 3 or 4,
Execution component check means for checking whether the execution component is in the execution component storage unit;
A software product line development support apparatus, comprising: determination component check means for checking whether the determination component is in the determination component storage unit. - 請求の範囲第4項に記載のソフトウェアプロダクトライン開発支援装置において、
前記状態遷移が整合がとれているかチェックする整合性チェック手段を
具備することを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 4,
A software product line development support device comprising consistency check means for checking whether the state transition is consistent. - 請求の範囲第3項または第4項に記載のソフトウェアプロダクトライン開発支援装置において、
ユーザにより定義された前記フィーチャと前記実行および前記判断コンポーネントとから実行可能なソースコードを生成するソースコード生成手段を
具備することを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 3 or 4,
A software product line development support device comprising source code generation means for generating executable source code from the feature defined by a user and the execution and determination components. - 請求の範囲第4項に記載のソフトウェアプロダクトライン開発支援装置において、
前記状態間の遷移と前記判断コンポーネントと前記実行コンポーネントとの組み合わせを仮想環境で意図通りに作動するか試験するソフトウェア試験手段を
具備することを特徴としたソフトウェアプロダクトライン開発支援装置。 In the software product line development support device according to claim 4,
A software product line development support apparatus, comprising: software testing means for testing whether a combination of the transition between the states, the determination component, and the execution component operates as intended in a virtual environment. - ソフトウェアシステムのソフトウェアプロダクトライン開発支援装置の方法であって、
前記ソフトウェアプロダクトライン開発支援装置は、フィーチャ情報記憶部と、判断コンポーネント選択手段と、判断コンポーネント管理手段とを具備し、
前記フィーチャ情報記憶部に、前記ソフトウェアシステムにおける制御対象または仮想的な対象の状態の遷移を示す状態遷移の情報を含む特性を表すフィーチャの情報が記憶され、
前記判断コンポーネント選択手段は、ユーザに対して、前記各状態を遷移させるための判断を行うとともに前記フィーチャに基づく判断コンポーネントを、任意に選択可能とし、
前記判断コンポーネント管理手段は、前記選択可能な判断コンポーネントを、判断コンポーネント記憶部に記憶保持するとともに必要に応じて読み出すことを可能とする
ことを特徴とするソフトウェアプロダクトライン開発支援装置の方法。 A software product line development support apparatus method for a software system, comprising:
The software product line development support apparatus includes a feature information storage unit, a determination component selection unit, and a determination component management unit,
The feature information storage unit stores feature information representing characteristics including state transition information indicating state transition of a control target or a virtual target in the software system,
The determination component selection unit makes a determination for transitioning the states to the user and arbitrarily selects a determination component based on the feature.
The method of the software product line development support apparatus, wherein the determination component management means stores the selectable determination component in a determination component storage unit and can read out the determination component as necessary. - 請求の範囲第11項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
機能的にまとめられた前記フィーチャと、前記判断コンポーネントとを分離して管理する
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 11,
A software product line development support apparatus method characterized by separating and managing the functionally grouped features and the judgment component. - 請求の範囲第12項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記ソフトウェアプロダクトライン開発支援装置は、状態定義手段と、コンポーネント定義手段とを具備し、
前記状態定義手段は、任意の状態を定義し、
前記コンポーネント定義手段は、前記定義された各状態には、その状態になったときに始めて実行される実行コンポーネント、状態を維持しているときに実行される実行コンポーネント、次の状態に移るときに実行される実行コンポーネントを定義可能とする
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 12,
The software product line development support device comprises state definition means and component definition means,
The state defining means defines an arbitrary state,
The component definition means includes, in each defined state, an execution component that is executed for the first time when the state is reached, an execution component that is executed when the state is maintained, and a transition to the next state. A software product line development support apparatus method characterized in that execution components to be executed can be defined. - 請求の範囲第13項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記ソフトウェアプロダクトライン開発支援装置は、状態遷移手段を具備し、
前記状態遷移手段は、ユーザにより選択されたコンポーネントの実行結果を用いて、前記定義された状態の間を遷移させる
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 13,
The software product line development support device comprises state transition means,
The state transition means transitions between the defined states using the execution result of the component selected by the user. - 請求の範囲第13項または第14項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記状態遷移手段は、
前記ソフトウェアシステムの入出力情報によって、前記状態間を遷移させる
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 13 or 14,
The state transition means includes
A method of a software product line development support apparatus, wherein transition between the states is made according to input / output information of the software system. - 請求の範囲第13項または第14項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記ソフトウェアプロダクトライン開発支援装置は、状態管理手段を具備し、
前記状態管理手段は、ユーザにより定義される前記任意の状態を入れ子構造で構成する
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 13 or 14,
The software product line development support device comprises a state management means,
The state management means configures the arbitrary state defined by the user in a nested structure. - 請求の範囲第13項または第14項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記ソフトウェアプロダクトライン開発支援装置は、実行コンポーネントチェック手段と、判断コンポーネントチェック手段とを具備し、
前記実行コンポーネントチェック手段は、前記実行コンポーネントが実行コンポーネント記憶部にあるかチェックし、
前記判断コンポーネントチェック手段は、前記判断コンポーネントが前記判断コンポーネント記憶部にあるかチェックする
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 13 or 14,
The software product line development support device includes execution component check means and determination component check means,
The execution component check means checks whether the execution component is in the execution component storage unit,
The method of software product line development support apparatus, wherein the determination component check means checks whether the determination component is in the determination component storage unit. - 請求の範囲第14項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記ソフトウェアプロダクトライン開発支援装置は、整合性チェック手段を具備し、
前記整合性チェック手段は、前記状態遷移が整合がとれているかチェックする
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 14,
The software product line development support device comprises consistency check means,
The method of the software product line development support apparatus, wherein the consistency check means checks whether the state transition is consistent. - 請求の範囲第13項または第14項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記ソフトウェアプロダクトライン開発支援装置は、ソースコード生成手段を具備し、
前記ソースコード生成手段は、ユーザにより定義された前記フィーチャと前記実行および前記判断コンポーネントとから実行可能なソースコードを生成する
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 13 or 14,
The software product line development support device comprises source code generation means,
The method of the software product line development support device, wherein the source code generation means generates executable source code from the feature defined by a user and the execution and determination components. - 請求の範囲第14項に記載のソフトウェアプロダクトライン開発支援装置の方法において、
前記ソフトウェアプロダクトライン開発支援装置は、ソフトウェア試験手段を具備し、
前記ソフトウェア試験手段は、前記状態間の遷移と前記判断コンポーネントと前記実行コンポーネントとの組み合わせを仮想環境で意図通りに作動するか試験する
ことを特徴としたソフトウェアプロダクトライン開発支援装置の方法。 In the method of the software product line development support apparatus according to claim 14,
The software product line development support device comprises software testing means,
The method of the software product line development support apparatus, wherein the software test means tests whether the transition between the states and the combination of the determination component and the execution component operate as intended in a virtual environment. - 請求の範囲第11項から第14項または第18項または第20項の何れか一項に記載のソフトウェアプロダクトライン開発支援装置の方法を、コンピュータで実行させるためのプログラム。 A program for causing a computer to execute the method of the software product line development support apparatus according to any one of claims 11 to 14, or 18 or 20.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
GB1307123.8A GB2498305A (en) | 2010-10-20 | 2011-10-11 | Software-product-line development assisting device, method thereof, and program thereof |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010-235037 | 2010-10-20 | ||
JP2010235037A JP5319643B2 (en) | 2010-10-20 | 2010-10-20 | Software product line development support apparatus and method |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2012053392A1 true WO2012053392A1 (en) | 2012-04-26 |
Family
ID=45975109
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/JP2011/073318 WO2012053392A1 (en) | 2010-10-20 | 2011-10-11 | Software-product-line development assisting device, method thereof, and program thereof |
Country Status (3)
Country | Link |
---|---|
JP (1) | JP5319643B2 (en) |
GB (1) | GB2498305A (en) |
WO (1) | WO2012053392A1 (en) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5605397B2 (en) | 2012-07-11 | 2014-10-15 | 株式会社デンソー | Method and apparatus for determining necessity of joint inspection |
WO2021256500A1 (en) * | 2020-06-19 | 2021-12-23 | パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカ | Information processing method and information processing device |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0863345A (en) * | 1994-08-22 | 1996-03-08 | Sony Corp | Automatic program generation device |
JPH1031581A (en) * | 1996-07-18 | 1998-02-03 | Hitachi Zosen Corp | Control software generation support device in mechanism system |
JP2001290635A (en) * | 2000-04-07 | 2001-10-19 | Nippon Seigyo Kk | Development system for software |
JP2007133772A (en) * | 2005-11-11 | 2007-05-31 | Canon Inc | Device, method and program for generating object-oriented program |
-
2010
- 2010-10-20 JP JP2010235037A patent/JP5319643B2/en active Active
-
2011
- 2011-10-11 WO PCT/JP2011/073318 patent/WO2012053392A1/en active Application Filing
- 2011-10-11 GB GB1307123.8A patent/GB2498305A/en not_active Withdrawn
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0863345A (en) * | 1994-08-22 | 1996-03-08 | Sony Corp | Automatic program generation device |
JPH1031581A (en) * | 1996-07-18 | 1998-02-03 | Hitachi Zosen Corp | Control software generation support device in mechanism system |
JP2001290635A (en) * | 2000-04-07 | 2001-10-19 | Nippon Seigyo Kk | Development system for software |
JP2007133772A (en) * | 2005-11-11 | 2007-05-31 | Canon Inc | Device, method and program for generating object-oriented program |
Non-Patent Citations (2)
Title |
---|
KEI ITO ET AL.: "A Specification-Level Simulation Environment for Embedded Software Development", IPSJ SIG NOTES, vol. 2002, no. 64, 11 July 2002 (2002-07-11), pages 43 - 50 * |
MINORU YOSHIDA ET AL.: "A Software Product Line of Train Integrated Management Systems", IPSJ SIG NOTES, vol. 2005, no. 29, 18 March 2005 (2005-03-18), pages 113 - 120 * |
Also Published As
Publication number | Publication date |
---|---|
GB2498305A (en) | 2013-07-10 |
GB2498305A8 (en) | 2013-08-28 |
JP5319643B2 (en) | 2013-10-16 |
JP2012088933A (en) | 2012-05-10 |
GB201307123D0 (en) | 2013-05-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9754059B2 (en) | Graphical design verification environment generator | |
KR101153028B1 (en) | System and method for selecting test case execution behaviors for reproducible test automation | |
JP5198132B2 (en) | State transition test support device, state transition test support program, and state transition test support method | |
Campos et al. | A more intelligent test case generation approach through task models manipulation | |
US20170351509A1 (en) | Prototype management system | |
Imran et al. | Software sustainability: a systematic literature review and comprehensive analysis | |
JP2008204333A (en) | Project management system based on traceability of specification and program for specification change management method | |
JP5319643B2 (en) | Software product line development support apparatus and method | |
Muñoz et al. | DevOps: Foundations and its utilization in data center | |
Kreutz et al. | DevOps for Developing Cyber-Physical Systems | |
JP2009245177A (en) | Feature model creation support device and program | |
US20090094583A1 (en) | System and method for testing computer programs | |
JP5321286B2 (en) | Program model checking method, program model checking program | |
Tanir | Simulation-based software engineering | |
WO2016199383A1 (en) | Service design assistance device, method, and program recording medium | |
Velozo et al. | Evaluation of a Mobile Software Development Company | |
JP7328922B2 (en) | Setting device, setting method, and program | |
Lai et al. | Can SysML Be Used for Enterprise Modelling? | |
JP4630640B2 (en) | Design information verification apparatus and design information verification method | |
JP6603637B2 (en) | User interface connection device and program | |
Rother et al. | Testing Best Practices | |
Sabharwal et al. | Factors Leading to Agile Operations | |
Baquirin | Navigating Growth: Experiences of a Junior Software Developer in Web and Mobile Development | |
Olausson et al. | Continuous delivery with visual studio alm 2015 | |
Vithanage | Web Based Recruitment Management System |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 11834232 Country of ref document: EP Kind code of ref document: A1 |
|
ENP | Entry into the national phase |
Ref document number: 1307123 Country of ref document: GB Kind code of ref document: A Free format text: PCT FILING DATE = 20111011 |
|
WWE | Wipo information: entry into national phase |
Ref document number: 1307123.8 Country of ref document: GB |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
122 | Ep: pct application non-entry in european phase |
Ref document number: 11834232 Country of ref document: EP Kind code of ref document: A1 |