JP7163879B2 - Dataflow generator, its method, and its program - Google Patents

Dataflow generator, its method, and its program Download PDF

Info

Publication number
JP7163879B2
JP7163879B2 JP2019132166A JP2019132166A JP7163879B2 JP 7163879 B2 JP7163879 B2 JP 7163879B2 JP 2019132166 A JP2019132166 A JP 2019132166A JP 2019132166 A JP2019132166 A JP 2019132166A JP 7163879 B2 JP7163879 B2 JP 7163879B2
Authority
JP
Japan
Prior art keywords
data flow
conversion formula
flow diagram
control value
unit
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2019132166A
Other languages
Japanese (ja)
Other versions
JP2021018487A (en
Inventor
輝幸 安島
隆 長井
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Denso Corp
Original Assignee
Denso Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Denso Corp filed Critical Denso Corp
Priority to JP2019132166A priority Critical patent/JP7163879B2/en
Publication of JP2021018487A publication Critical patent/JP2021018487A/en
Application granted granted Critical
Publication of JP7163879B2 publication Critical patent/JP7163879B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Stored Programmes (AREA)

Description

本発明は、ソフトウェア用の仕様書に基づくデータフロー図を生成して可視化するデータフロー生成装置、その方法、およびそのプログラムに関するものである。 The present invention relates to a data flow generation device, method, and program for generating and visualizing a data flow diagram based on software specifications.

従来、例えば、特許文献1には、制御ソフトウェアの設計支援装置が記載されている。特許文献1の設計支援装置では、複数のブロック要素と、複数のブロック要素間の接続関係により、制御対象機器を制御するための処理手順を記述したブロック図に基づいて、ソースコードを自動生成する装置となっている。また、複数のブロック要素の接続関係を、ノードとリンクを用いて表す第1のデータフローと、ソースコード中の変数または関数間の依存関係をノードとリンクを用いて表す第2のデータフローとを作成する。そして、第1のデータフローと、第2のデータフローとの一致性を求め、出力するようになっている。 Conventionally, for example, Patent Literature 1 describes a design support device for control software. In the design support device of Patent Document 1, source code is automatically generated based on a block diagram describing a processing procedure for controlling a device to be controlled using a plurality of block elements and connection relationships between the plurality of block elements. It is a device. Also, a first data flow that expresses the connection relationships of a plurality of block elements using nodes and links, and a second data flow that expresses dependencies between variables or functions in the source code using nodes and links. to create Then, matching between the first data flow and the second data flow is obtained and output.

国際公開第2013/190644号WO2013/190644

しかしながら、特許文献1では、処理手順を示すブロック図と、ソースコードとの整合性を確認するものであって、ソースコードの基となるソフトウェア用の仕様書の扱いについては何ら記載されていない。 However, Patent Literature 1 confirms consistency between the block diagram showing the processing procedure and the source code, and does not describe how to handle the specifications for the software on which the source code is based.

ソフトウェア用の仕様書は、通常、曖昧さを伴う自然言語で記載されており、取り扱う使用者(技術者)の解釈には、ある程度のバラツキが発生し得る。 Software specifications are usually written in natural language with ambiguity, and interpretation by users (engineers) may vary to some extent.

また、近年では、制御内容の複雑化に伴い、仕様書は肥大化しており、使用者が仕様書を読み解くための負荷が増大している。 In addition, in recent years, as control contents have become more complicated, specifications have become bloated, increasing the burden on users to read and understand the specifications.

また、仕様書が、新設、変更、あるいは削除等されたとき、どの部位がどうなって、他の部位にどのように影響するのか確認する(読み解く)のに、大きな手間がかかる。 In addition, when the specification is newly established, changed, or deleted, it takes a lot of time and effort to confirm (read and understand) what has happened to which part and how it affects other parts.

また、近年、世界標準規格(ISO26262等)では、例えば、車両の機能安全として、車両の安全性向上を目的に、仕様書とソフトウェアとの整合性を保証すること(トレーサビリティ)が要求されつつある。 In recent years, global standards (ISO26262, etc.), for example, are required to guarantee consistency between specifications and software (traceability) for the purpose of improving vehicle safety as functional safety of vehicles. .

このような点から、仕様書の読み解きの容易さ、仕様書とソフトウェアとの整合性確認の容易さ等が望まれる。 From this point of view, it is desired that the specifications be easy to read and understand, and that the compatibility between the specifications and the software can be checked easily.

本発明の目的は、上記問題に鑑み、ソフトウェア用の仕様書を分かりやすくて見やすい形(データフロー図)にして可視化するデータフロー生成装置、その方法、およびそのプログラムを提供することにある。 SUMMARY OF THE INVENTION It is an object of the present invention to provide a data flow generator, method, and program for visualizing software specifications in an easy-to-understand and easy-to-read form (data flow diagram).

本発明は上記目的を達成するために、以下の技術的手段を採用する。 The present invention adopts the following technical means in order to achieve the above objects.

第1の発明では、データフロー生成装置において、
自然言語で記載されたソフトウェア用の仕様書(10)における制御値(S1~S3)、および制御値を変換するための変換式(F1)を読取る読取り部(111)と、
制御値、および変換式のそれぞれに識別用のIDを割り振ったリストを作成するリスト生成部(112)と、
変換式に対する入力および出力を決定し、制御値と変換式とを、識別用のIDを用いて紐付けする紐付け部(113)と、
紐付けされた制御値と変換式とを、紐付け情報として記憶する記憶部(114)と、
紐付け情報を基に、制御値と変換式との関係をデータフロー図(115a)として生成するデータフロー図生成部(115)と、
データフロー図を表示する表示部(120)と、を備えることを特徴としている。
In the first invention, in the data flow generation device,
a reader (111) that reads the control values (S1 to S3) in the software specifications (10) written in natural language and the conversion formula (F1) for converting the control values;
a list generation unit (112) that creates a list in which identification IDs are assigned to control values and conversion formulas;
a linking unit (113) that determines the input and output for the conversion formula and links the control value and the conversion formula using an ID for identification;
a storage unit (114) that stores the linked control value and conversion formula as linking information;
a data flow diagram generation unit (115) that generates a data flow diagram (115a) representing the relationship between the control value and the conversion formula based on the linking information;
and a display unit (120) for displaying a data flow diagram.

第1の発明によれば、自然言語で記載された仕様書(10)を基に、制御値と変換式とが関係付けされたデータフロー図(115a)が生成され、表示部(120)に表示されるので、使用者は、曖昧さを残すことなく、容易且つ明確に仕様書(10)の内容を把握することが可能となる。 According to the first invention, a data flow diagram (115a) in which control values and conversion formulas are associated is generated based on a specification (10) written in a natural language, and displayed on a display unit (120) Since it is displayed, the user can easily and clearly grasp the contents of the specification (10) without leaving ambiguity.

また、仕様書(10)が、新設、変更、あるいは削除等されたときであっても、読み解きの手間を低減して、影響部位等の確認を容易に行うことができる。 In addition, even when the specification (10) is newly established, changed, or deleted, it is possible to reduce the trouble of reading and understanding, and to easily confirm the affected parts and the like.

また、仕様書(10)がデータフロー図(115a)として可視化されることで、関連するソフトウェアとの整合性の確認が容易となり、例えば車両に用いられるものであれば、車両の機能安全に対して確実な保証対応が可能となる(トレーサビリティ性の向上)。 In addition, by visualizing the specification (10) as a data flow diagram (115a), it becomes easy to check the compatibility with related software. It is possible to provide reliable guarantees (improvement of traceability).

第2の発明では、データフロー生成方法において、
自然言語で記載されたソフトウェア用の仕様書(10)における制御値(S1~S3)、および制御値を変換するための変換式(F1)を読取る読取りステップと、
制御値、および変換式のそれぞれに識別用のIDを割り振ったリストを作成するリスト生成ステップと、
変換式に対する入力および出力を決定し、制御値と変換式とを、識別用のIDを用いて紐付けする紐付けステップと、
紐付けされた制御値と変換式とを、紐付け情報として記憶する記憶ステップと、
紐付け情報を基に、制御値と変換式との関係をデータフロー図(115a)として生成するデータフロー図生成ステップと、
データフロー図を表示する表示ステップと、を備えることを特徴としている。
In the second invention, in the data flow generation method,
a reading step of reading the control values (S1 to S3) and the conversion formula (F1) for converting the control values in the software specifications (10) written in natural language;
a list generation step of creating a list in which an identification ID is assigned to each of the control value and the conversion formula;
a linking step of determining the input and output for the conversion formula and linking the control value and the conversion formula using an ID for identification;
a storage step of storing the linked control value and conversion formula as linking information;
a data flow diagram generation step of generating a data flow diagram (115a) representing the relationship between the control value and the conversion formula based on the linking information;
and a display step of displaying the data flow diagram.

この発明によれば、第1の発明と同様の効果を奏することができる。 According to this invention, the same effects as those of the first invention can be obtained.

第3の発明では、制御用のコンピュータに実行させるためのデータフロー生成プログラムにおいて、
自然言語で記載されたソフトウェア用の仕様書(10)における制御値(S1~S3)、および制御値を変換するための変換式(F1)を読取る第1ステップと、
制御値、および変換式のそれぞれに識別用のIDを割り振ったリストを作成する第2ステップと、
変換式に対する入力および出力を決定し、制御値と変換式とを、識別用のIDを用いて紐付けする第3ステップと、
紐付けされた制御値と変換式とを、紐付け情報として記憶する第4ステップと、
紐付け情報を基に、制御値と変換式との関係をデータフロー図(115a)として生成する第5ステップと、
データフロー図を表示する第6ステップと、を含む処理をコンピュータに実行させることを特徴としている。
In a third invention, in a data flow generation program for execution by a control computer,
A first step of reading the control values (S1 to S3) in the software specifications (10) written in natural language and the conversion formula (F1) for converting the control values;
a second step of creating a list in which an identification ID is assigned to each of the control value and the conversion formula;
a third step of determining the input and output for the conversion formula and linking the control value and the conversion formula using an ID for identification;
a fourth step of storing the linked control value and conversion formula as linking information;
a fifth step of generating a data flow diagram (115a) representing the relationship between the control value and the conversion formula based on the linking information;
and a sixth step of displaying the data flow diagram.

この発明によれば、第1の発明と同様の効果を奏することができる。 According to this invention, the same effects as those of the first invention can be obtained.

尚、上記各手段の括弧内の符号は、後述する実施形態記載の具体的手段との対応関係を示すものである。 It should be noted that the reference numerals in parentheses of the above means indicate the corresponding relationship with specific means described in the embodiments to be described later.

第1実施形態におけるデータフロー生成装置の全体構成を示す説明図である。It is an explanatory view showing the whole data flow generation device composition in a 1st embodiment. 識別用のIDが割り振りされた制御値を示すリストである。It is a list showing control values to which IDs for identification are assigned. 識別用のIDが割り振りされた変換式を示すリストである。It is a list showing conversion formulas to which IDs for identification are assigned. データフロー図の例を示す説明図である。FIG. 4 is an explanatory diagram showing an example of a data flow diagram; 第2実施形態におけるデータフロー生成装置の全体構成を示す説明図である。It is an explanatory view showing the whole data flow generation device composition in a 2nd embodiment.

以下に、図面を参照しながら本発明を実施するための複数の形態を説明する。各形態において先行する形態で説明した事項に対応する部分には同一の参照符号を付して重複する説明を省略する場合がある。各形態において構成の一部のみを説明している場合は、構成の他の部分については先行して説明した他の形態を適用することができる。各実施形態で具体的に組み合わせが可能であることを明示している部分同士の組み合わせばかりではなく、特に組み合わせに支障が生じなければ、明示していなくても実施形態同士を部分的に組み合せることも可能である。 A plurality of modes for carrying out the present invention will be described below with reference to the drawings. In each form, the same reference numerals may be given to the parts corresponding to the matters described in the preceding form, and overlapping explanations may be omitted. When only a part of the configuration is described in each form, the previously described other forms can be applied to other parts of the configuration. Not only combinations of parts that are explicitly stated that combinations are possible in each embodiment, but also partial combinations of embodiments even if they are not explicitly stated unless there is a particular problem with the combination. is also possible.

(第1実施形態)
第1実施形態のデータフロー生成装置100を図1~図4に示す。データフロー生成装置100は、ソフトウェア用の仕様書10を基にして、制御部110によって、仕様書10における内容(各種制御値と各種変換式との関連)をデータフロー図115aの形に生成して、例えば、表示部120に表示するものとなっている。
(First embodiment)
A data flow generation device 100 of the first embodiment is shown in FIGS. 1 to 4. FIG. Based on the software specifications 10, the data flow generation device 100 uses the control unit 110 to generate the contents of the specifications 10 (relationships between various control values and various conversion formulas) in the form of a data flow diagram 115a. are displayed on the display unit 120, for example.

仕様書10は、制御対象となる機器に対する制御用のソフトウェア(制御プログラム)を作成する際に、ソフトウェアとして備えるべき機能、性能、特性、および満たすべき要件等が自然言語によって記載された文章である。仕様書10は、ソフトウェア作成の基となる文章であり、複数(多数)の仕様書10a、10b、10c・・・から成る場合がある。 The specification 10 is a document describing in natural language the functions, performance, characteristics, requirements to be satisfied, etc. that the software should have when creating control software (control program) for the device to be controlled. . The specification 10 is a document that forms the basis of software creation, and may consist of a plurality of (many) specifications 10a, 10b, 10c, . . .

仕様書10には、ソフトウェアの機能として、例えば、「スタータ信号S1、S2、S3が入力されたら、作動状態を判定して、結果を出力する」、あるいは、「入力値から出力値を算出して、出力する」等の内容が、言葉で、多岐にわたり記載されている。上記のスタータ信号S1~S3、および結果等は、制御における入力値および出力値となる値であり、本発明の制御値に対応する。また、上記の作動状態を判定するための手段や、出力値を算出するための手段としては、判定式や関数式等があり、本発明の変換式に対応する。 The specification 10 describes software functions such as "when the starter signals S1, S2, and S3 are input, determine the operating state and output the result" or "calculate the output value from the input value." , and output”, etc., are described in a wide variety of words. The above starter signals S1 to S3, results, etc. are values that become input values and output values in control, and correspond to control values of the present invention. Further, the means for determining the operating state and the means for calculating the output value include determination formulas, function formulas, and the like, which correspond to the conversion formulas of the present invention.

データフロー生成装置100は、図1に示すように、制御部110、および表示部120等を備えている。 The data flow generation device 100 includes a control unit 110, a display unit 120, and the like, as shown in FIG.

制御部110の一例は、少なくともプログラムを格納したメモリと、このプログラムを実行する少なくともひとつのプロセッサとを備えるコンピュータである。この場合、コンピュータは、CPU:Central Processing Unit、またはGPU:Graphics Processing Unit等と呼ばれる少なくともひとつのプロセッサコアを備える。メモリは、記憶媒体とも呼ばれる。メモリは、プロセッサによって読み取り可能な「プログラムおよび/またはデータ」を非一時的に格納する非遷移的かつ実体的な記憶媒体である。記憶媒体は、半導体メモリ、磁気ディスク、または光学ディスクなどによって提供される。プログラムは、それ単体で、またはプログラムが格納された記憶媒体として流通する場合がある。 An example of the control unit 110 is a computer that includes a memory that stores at least a program and at least one processor that executes this program. In this case, the computer includes at least one processor core called CPU: Central Processing Unit or GPU: Graphics Processing Unit. Memory is also called a storage medium. A memory is a non-transitory and tangible storage medium that non-temporarily stores "programs and/or data" readable by a processor. A storage medium is provided by a semiconductor memory, a magnetic disk, an optical disk, or the like. The program may be distributed alone or as a storage medium storing the program.

制御部110は、読取り部111、リスト生成部112、紐付け部113、記憶部114、およびデータフロー図生成部115等を有している。 The control unit 110 has a reading unit 111, a list generation unit 112, a linking unit 113, a storage unit 114, a data flow diagram generation unit 115, and the like.

読取り部111は、自然言語で記載されたソフトウェア用の仕様書10における各種制御値、および各種制御値を変換するための変換式を読取る部位となっている。読取りにあたっては、読取り部111は、例えば、仕様書内におけるシンボルやマーク(「 」、‘ ’等)で囲まれた部位を制御値、あるいは変換式として読込む。あるいは、読取りにあたっては、読取り部111は、構文解析、字句解析等を用いた機械的な手法を用いてもよい。 The reading unit 111 is a part that reads various control values and conversion formulas for converting various control values in the software specifications 10 written in natural language. In reading, the reading unit 111 reads, for example, the parts surrounded by symbols or marks (“ ”, “ ”, etc.) in the specifications as control values or conversion formulas. Alternatively, when reading, the reading unit 111 may use a mechanical method using syntax analysis, lexical analysis, or the like.

以下、各種制御値としては、例えば、車両用のスタータにおける各種スタータ信号S1~S3を例にして示している。また、変換式としては、各種スタータ信号S1~S3に対して、スタータの作動状態を判定するための変換式F1(判定式)を例にして示している。尚、仕様書10には、各種スタータ信号S1~S3、および変換式F1の他にも多数の制御値、変換式等が記載されている。 Various starter signals S1 to S3 in a vehicle starter, for example, are shown below as examples of various control values. As a conversion formula, a conversion formula F1 (determination formula) for determining the operating state of the starter for various starter signals S1 to S3 is shown as an example. In addition to the various starter signals S1 to S3 and the conversion formula F1, the specification 10 describes many control values, conversion formulas, and the like.

リスト生成部112は、読取り部111で読取りされた各種制御値、および変換式のそれぞれに識別用のIDを割り振ったリストを作成する部位となっている。図2、図3に示すように、各種制御値用のIDは、例えば、IDD1、IDD2、IDD3・・・となっており、また、変換式用のIDは、IDF1、IDF2、IDF3・・・となっている。図2では、各種スタータ信号S1~S3にIDD1~IDD3が割り振りされたリストを示している。また、図3では、変換式F1にIDF1が割り振りされたリストを示している。 The list generation unit 112 is a part that creates a list in which identification IDs are assigned to the various control values and conversion formulas read by the reading unit 111 . As shown in FIGS. 2 and 3, IDs for various control values are, for example, IDD1, IDD2, IDD3, . It has become. FIG. 2 shows a list in which IDD1 to IDD3 are assigned to various starter signals S1 to S3. FIG. 3 also shows a list in which IDF1 is assigned to conversion formula F1.

紐付け部113は、リスト生成部112で作成されたリストにおいて、変換式に対する入力および出力を決定し、各種制御値と変換式とを、識別用のID(IDD、IDF)を用いて紐付けする(関連付けする)部位となっている。 The linking unit 113 determines the input and output for the conversion formula in the list created by the list generation unit 112, and links various control values and the conversion formula using identification IDs (IDD, IDF). It is a part that does (associates).

記憶部114は、各種制御値と変換式とにおいて、紐付け部113で紐付けされた紐付け情報を、リレーショナルデータとして記憶する部位となっている。紐付け情報は、例えば、「IDD1(スタータ信号S1)は、IDF1(変換式F1)に入力されるデータである」、「IDD2(スタータ信号S2)は、IDF1(変換式F1)に入力されるデータである」、「IDD3(スタータ信号S3)は、IDF1(変換式F1)に入力されるデータである」、となっている。 The storage unit 114 is a part that stores the linking information linked by the linking unit 113 in various control values and conversion formulas as relational data. The linking information is, for example, "IDD1 (starter signal S1) is data input to IDF1 (conversion formula F1)", "IDD2 (starter signal S2) is input to IDF1 (conversion formula F1) data" and "IDD3 (starter signal S3) is data input to IDF1 (conversion formula F1)".

データフロー図生成部115は、記憶部114に記憶された紐付け情報を基に、各種制御値と変換式との関係を、図4に示すようなデータフロー図115aとして自動的に生成する部位となっている。データフロー図115aは、データの流れ(フロー)をグラフィカルに表現した図である。 The data flow diagram generation unit 115 automatically generates a data flow diagram 115a as shown in FIG. It has become. The data flow diagram 115a is a diagram graphically representing the flow of data.

表示部120は、データフロー図生成部115で生成されたデータフロー図115aを使用者に対して表示する(可視化する)部位となっている。表示部120としては、例えば、液晶ディスプレイや有機ELディスプレイ等の表示装置が使用される。尚、表示部120としては、ディスプレイ等の表示装置に代えて、データフロー図115aを例えば、紙に印刷して出力する印刷装置としてもよい。 The display unit 120 is a part that displays (visualizes) the data flow diagram 115a generated by the data flow diagram generation unit 115 to the user. As the display unit 120, for example, a display device such as a liquid crystal display or an organic EL display is used. As the display unit 120, instead of a display device such as a display, for example, a printing device that prints the data flow diagram 115a on paper and outputs it may be used.

本実施形態のデータフロー生成装置100の構成は、以上となっており、以下、作動および作用効果について説明する。 The configuration of the data flow generation device 100 of the present embodiment is as described above, and the operation and effects will be described below.

制御部110において、まず、読取り部111は、仕様書10における各種制御値、および各種制御値を変換するための変換式を、仕様書10内のシンボルやマークを基に、あるいは、構文解析、字句解析等によって、読取る。例えば、読取り部111は、各種スタータ信号S1~S3、および変換式F1を読込む。読取り部111における処理は、本発明のデータフロー生成方法における読取りステップに対応し、また、本発明のデータフロー生成プログラムの第1ステップに対応する。 In the control unit 110, first, the reading unit 111 reads various control values in the specification 10 and conversion formulas for converting the various control values based on the symbols and marks in the specification 10, or parses the syntax, Read, such as by lexical analysis. For example, the reading unit 111 reads various starter signals S1 to S3 and conversion formula F1. The processing in the reading unit 111 corresponds to the reading step in the data flow generation method of the invention, and also corresponds to the first step of the data flow generation program of the invention.

次に、リスト生成部112は、図2、図3に示すように、読取り部111で読取りされた各種制御値、および変換式のそれぞれに識別用のIDを割り振ったリストを作成する。リスト生成部112における処理は、本発明のデータフロー生成方法におけるリスト生成ステップに対応し、また、本発明のデータフロー生成プログラムの第2ステップに対応する。 Next, the list generating unit 112 creates a list in which identification IDs are assigned to the various control values and conversion formulas read by the reading unit 111, as shown in FIGS. The processing in the list generation unit 112 corresponds to the list generation step in the data flow generation method of the invention, and also corresponds to the second step of the data flow generation program of the invention.

次に、紐付け部113は、リスト生成部112で作成されたリストにおいて、変換式に対する入力および出力を決定し、各種制御値と変換式とを、識別用のID(IDD、IDF)を用いて紐付けする。紐付け部113における処理は、本発明のデータフロー生成方法における紐付けステップに対応し、また、本発明のデータフロー生成プログラムの第3ステップに対応する。 Next, the linking unit 113 determines the input and output for the conversion formula in the list created by the list generation unit 112, and uses identification IDs (IDD, IDF) to identify various control values and conversion formulas. string. The processing in the linking unit 113 corresponds to the linking step in the data flow generation method of the present invention, and also corresponds to the third step of the data flow generation program of the present invention.

次に、記憶部114は、各種制御値と変換式とにおいて、紐付け部113で紐付けされた紐付け情報を、リレーショナルデータとして記憶する。記憶部114における処理は、本発明のデータフロー生成方法における記憶ステップに対応し、また、本発明のデータフロー生成プログラムの第4ステップに対応する。 Next, the storage unit 114 stores the linking information linked by the linking unit 113 in the various control values and conversion formulas as relational data. The processing in the storage unit 114 corresponds to the storage step in the data flow generation method of the invention, and also corresponds to the fourth step of the data flow generation program of the invention.

次に、データフロー図生成部115は、記憶部114に記憶された紐付け情報を基に、各種制御値と変換式との関係を、図4に示すようなデータフロー図115aとして自動的に生成する。データフロー図生成部115における処理は、本発明のデータフロー生成方法におけるデータフロー生成ステップに対応し、また、本発明のデータフロー生成プログラムの第5ステップに対応する。 Next, based on the linking information stored in the storage unit 114, the data flow diagram generation unit 115 automatically creates a data flow diagram 115a as shown in FIG. Generate. The processing in the data flow diagram generation unit 115 corresponds to the data flow generation step in the data flow generation method of the present invention, and also corresponds to the fifth step of the data flow generation program of the present invention.

次に、表示部120は、データフロー図生成部115で生成されたデータフロー図115aを使用者に対して表示する(可視化する)。表示部120における処理は、本発明のデータフロー生成方法における表示ステップに対応し、また、本発明のデータフロー生成プログラムの第6ステップに対応する。 Next, the display unit 120 displays (visualizes) the data flow diagram 115a generated by the data flow diagram generation unit 115 to the user. The processing in the display unit 120 corresponds to the display step in the data flow generation method of the invention, and also corresponds to the sixth step of the data flow generation program of the invention.

以上のように、本実施形態によれば、自然言語で記載された仕様書10を基に、制御値と変換式とが関係付けされたデータフロー図115aが生成され、表示部120に表示されるので、使用者は、曖昧さを残すことなく、容易且つ明確に仕様書10の内容を把握することが可能となる。 As described above, according to the present embodiment, the data flow diagram 115a in which the control values and the conversion formulas are associated is generated based on the specification 10 written in natural language, and displayed on the display unit 120. Therefore, the user can easily and clearly grasp the contents of the specification 10 without leaving ambiguity.

また、仕様書10が、新設、変更、あるいは削除等されたときであっても、使用者による読み解き(内容確認)の手間を低減して、影響部位等の確認を容易に行うことができる。 Moreover, even when the specification 10 is newly established, changed, or deleted, the user's labor for reading (confirming the contents) can be reduced, and the affected parts and the like can be easily confirmed.

また、仕様書10がデータフロー図115aとして可視化されることで、関連するソフトウェアとの整合性の確認が容易となり、例えば車両に用いられるものであれば、車両の機能安全に対して確実な保証対応が可能となる(トレーサビリティ性の向上)。 In addition, by visualizing the specification 10 as a data flow diagram 115a, it becomes easy to confirm compatibility with related software. It becomes possible to respond (improved traceability).

(第2実施形態)
第2実施形態のデータフロー生成装置100Aを図5に示す。第2実施形態のデータフロー生成装置100Aは、上記第1実施形態のデータフロー生成装置100に対して、入力部130を追加して、使用者の使い勝手(データフロー図115a、仕様書10の見やすさ)を向上させるようにしたものである。
(Second embodiment)
FIG. 5 shows a data flow generation device 100A of the second embodiment. The data flow generation device 100A of the second embodiment adds an input unit 130 to the data flow generation device 100 of the first embodiment to improve usability for the user (data flow diagram 115a, visibility of the specification 10). It is designed to improve the

入力部130は、データフロー図生成部115に対して、使用者が指定する指定内容を入力可能とする部位となっている。使用者が指定する指定内容は、例えば、使用者の希望する制御値(希望制御値)および/あるいは変換式(希望変換式)である。あるいは、使用者が指定する指定内容は、使用者の希望する変換式(希望変換式)である。 The input unit 130 is a part that allows the user to input designation contents designated by the user to the data flow diagram generation unit 115 . The specified contents specified by the user are, for example, a control value desired by the user (desired control value) and/or a conversion formula (desired conversion formula). Alternatively, the specification specified by the user is a conversion formula desired by the user (desired conversion formula).

使用者は、希望制御値および/あるいは希望変換式を入力部130から入力すると、データフロー図生成部115は、希望制御値および/あるいは希望変換式を強調表示してデータフロー図115aを生成する。強調表示は、例えば、文字の色、フォント等の変更により実施される。このデータフロー図生成部115による強調表示の処理は、本発明のデータフロー生成方法、および本発明のデータフロー生成プログラムの処理に含まれる。 When the user inputs desired control values and/or desired conversion formulas from the input unit 130, the data flow diagram generation unit 115 highlights the desired control values and/or desired conversion formulas to generate the data flow diagram 115a. . The highlighting is performed by, for example, changing the character color, font, and the like. The processing of highlighting by the data flow diagram generation unit 115 is included in the data flow generation method of the present invention and the processing of the data flow generation program of the present invention.

これにより、強調表示される希望制御値および/あるいは希望変換式に絞って、データフロー図115aを確認することができるので、使用者の確認の手間を低減することができる。 As a result, the data flow diagram 115a can be confirmed by focusing on the desired control values and/or the desired conversion formulas that are highlighted, so that the user's labor for confirmation can be reduced.

また、上記のように使用者が、希望制御値および/あるいは希望変換式を入力部130から入力したときの処理として、以下のように希望仕様書を表示させることも可能である。即ち、使用者は、希望制御値および/あるいは希望変換式を入力部130から入力すると、データフロー図生成部115は、希望制御値および/あるいは希望変換式が記載された希望仕様書を表示部120に表示させる(希望仕様書が開かれる)。このデータフロー図生成部115による希望仕様書表示の処理は、本発明のデータフロー生成方法、および本発明のデータフロー生成プログラムの処理に含まれる。 Further, as processing when the user inputs the desired control value and/or the desired conversion formula from the input unit 130 as described above, it is possible to display the desired specifications as follows. That is, when the user inputs desired control values and/or desired conversion formulas from the input unit 130, the data flow diagram generation unit 115 displays desired specifications describing desired control values and/or desired conversion formulas on the display unit. 120 (the desired specification is opened). The desired specification display processing by the data flow diagram generation unit 115 is included in the data flow generation method of the present invention and the processing of the data flow generation program of the present invention.

これにより、使用者の希望制御値および/あるいは希望変換式が記載された希望仕様書が表示部120に表示されるので、使用者は希望仕様書が、多数の仕様書10a、10b、10c・・・のうち、どれに対応するかが分かり、希望仕様書に立ち返って容易に内容を確認することができる。 As a result, the desired specifications describing the user's desired control values and/or desired conversion formulas are displayed on the display unit 120, so that the user can read the desired specifications from a large number of specifications 10a, 10b, 10c, and 10c. It is possible to know which one of .

また、使用者は、希望変換式を入力部130から入力すると、データフロー図生成部115は、希望変換式に対する入出力数を表示部120に表示させる。このデータフロー図生成部115による入出力数提示の処理は、本発明のデータフロー生成方法、および本発明のデータフロー生成プログラムの処理に含まれる。 When the user inputs a desired conversion formula from the input unit 130, the data flow diagram generation unit 115 causes the display unit 120 to display the number of inputs and outputs for the desired conversion formula. The process of presenting the number of inputs and outputs by the data flow diagram generation unit 115 is included in the data flow generation method of the present invention and the data flow generation program of the present invention.

変換式に対する入出力数の多いものは、通常、重要度の高いものと見ることができる。よって、入出力数に応じて、重要度の高いものついての制御値および/あるいは変換式の確認が可能となる。 A conversion formula with a large number of inputs and outputs can usually be regarded as having a high degree of importance. Therefore, it is possible to check the control values and/or the conversion formulas for those with high importance according to the number of inputs and outputs.

(その他の実施形態)
この明細書および図面等における開示は、例示された実施形態に制限されない。開示は、例示された実施形態と、それらに基づく当業者による変形態様を包含する。例えば、開示は、実施形態において示された部品および/または要素の組み合わせに限定されない。開示は、多様な組み合わせによって実施可能である。開示は、実施形態に追加可能な追加的な部分をもつことができる。開示は、実施形態の部品および/または要素が省略されたものを包含する。開示は、ひとつの実施形態と他の実施形態との間における部品および/または要素の置き換え、または組み合わせを包含する。開示される技術的範囲は、実施形態の記載に限定されない。開示されるいくつかの技術的範囲は、請求の範囲の記載によって示され、更に請求の範囲の記載と均等の意味および範囲内での全ての変更を含むものと解されるべきである。
(Other embodiments)
The disclosure in this specification, drawings, etc. is not limited to the illustrated embodiments. The disclosure encompasses the illustrated embodiments and variations thereon by those skilled in the art. For example, the disclosure is not limited to the combinations of parts and/or elements shown in the embodiments. The disclosure can be implemented in various combinations. The disclosure can have additional parts that can be added to the embodiments. The disclosure encompasses omitting parts and/or elements of the embodiments. The disclosure encompasses permutations or combinations of parts and/or elements between one embodiment and another. The disclosed technical scope is not limited to the description of the embodiments. The disclosed technical scope is indicated by the description of the claims, and should be understood to include all changes within the meaning and range of equivalents to the description of the claims.

10 仕様書
100、100A データフロー生成装置
110 制御部
111 読取り部
112 リスト生成部
113 紐付け部
114 記憶部
115 データフロー図生成部
115a データフロー図
120 表示部
130 入力部
S1、S2、S3 スタータ信号(制御値)
F1 変換式
10 Specifications 100, 100A Data flow generation device 110 Control unit 111 Reading unit 112 List generation unit 113 Linking unit 114 Storage unit 115 Data flow diagram generation unit 115a Data flow diagram 120 Display unit 130 Input units S1, S2, S3 Starter signal (control value)
F1 conversion formula

Claims (12)

自然言語で記載されたソフトウェア用の仕様書(10)における制御値(S1~S3)、および前記制御値を変換するための変換式(F1)を読取る読取り部(111)と、
前記制御値、および前記変換式のそれぞれに識別用のIDを割り振ったリストを作成するリスト生成部(112)と、
前記変換式に対する入力および出力を決定し、前記制御値と前記変換式とを、前記識別用のIDを用いて紐付けする紐付け部(113)と、
前記紐付けされた前記制御値と前記変換式とを、紐付け情報として記憶する記憶部(114)と、
前記紐付け情報を基に、前記制御値と前記変換式との関係をデータフロー図(115a)として生成するデータフロー図生成部(115)と、
前記データフロー図を表示する表示部(120)と、を備えるデータフロー生成装置。
a reading unit (111) for reading control values (S1 to S3) in a software specification (10) written in a natural language and a conversion formula (F1) for converting the control values;
a list generation unit (112) that creates a list in which an identification ID is assigned to each of the control value and the conversion formula;
a linking unit (113) that determines inputs and outputs for the conversion formula and links the control value and the conversion formula using the ID for identification;
a storage unit (114) that stores the linked control value and conversion formula as linking information;
a data flow diagram generation unit (115) that generates a data flow diagram (115a) representing the relationship between the control value and the conversion formula based on the linking information;
and a display unit (120) for displaying the data flow diagram.
前記データフロー図生成部に対して、使用者が指定する指定内容を入力可能とする入力部(130)を備え、
前記指定内容は、前記使用者が希望する希望制御値および/あるいは希望変換式であり、
前記データフロー図生成部は、前記希望制御値および/あるいは前記希望変換式を強調表示して前記データフロー図を生成する請求項1に記載のデータフロー生成装置。
An input unit (130) that allows a user to input specified content to the data flow diagram generation unit,
The specified content is a desired control value and/or a desired conversion formula desired by the user,
2. The data flow generation device according to claim 1, wherein said data flow diagram generation unit highlights said desired control value and/or said desired conversion formula to generate said data flow diagram.
前記データフロー図生成部に対して、使用者が指定する指定内容を入力可能とする入力部(130)を備え、
前記指定内容は、前記使用者が希望する希望制御値および/あるいは希望変換式であり、
前記データフロー図生成部は、前記希望制御値および/あるいは前記希望変換式が記載された前記仕様書を前記表示部に表示させる請求項1に記載のデータフロー生成装置。
An input unit (130) that allows a user to input specified content to the data flow diagram generation unit,
The specified content is a desired control value and/or a desired conversion formula desired by the user,
2. The data flow generation device according to claim 1, wherein said data flow diagram generation unit causes said display unit to display said specification containing said desired control value and/or said desired conversion formula.
前記データフロー図生成部に対して、使用者が指定する指定内容を入力可能とする入力部(130)を備え、
前記指定内容は、前記使用者が希望する希望変換式であり、
前記データフロー図生成部は、前記希望変換式に対する入出力数を前記表示部に表示させる請求項1に記載のデータフロー生成装置。
An input unit (130) that allows a user to input specified content to the data flow diagram generation unit,
The specified content is a desired conversion formula desired by the user,
2. The data flow generation device according to claim 1, wherein said data flow diagram generation section causes said display section to display the number of inputs and outputs for said desired conversion formula.
自然言語で記載されたソフトウェア用の仕様書(10)における制御値(S1~S3)、および前記制御値を変換するための変換式(F1)を読取る読取りステップと、
前記制御値、および前記変換式のそれぞれに識別用のIDを割り振ったリストを作成するリスト生成ステップと、
前記変換式に対する入力および出力を決定し、前記制御値と前記変換式とを、前記識別用のIDを用いて紐付けする紐付けステップと、
前記紐付けされた前記制御値と前記変換式とを、紐付け情報として記憶する記憶ステップと、
前記紐付け情報を基に、前記制御値と前記変換式との関係をデータフロー図(115a)として生成するデータフロー図生成ステップと、
前記データフロー図を表示する表示ステップと、を備えるデータフロー生成方法。
a reading step of reading control values (S1 to S3) in a software specification (10) written in a natural language and a conversion formula (F1) for converting the control values;
a list generation step of generating a list in which an identification ID is assigned to each of the control value and the conversion formula;
a linking step of determining the input and output for the conversion formula and linking the control value and the conversion formula using the ID for identification;
a storage step of storing the linked control value and conversion formula as linking information;
a data flow diagram generation step of generating a data flow diagram (115a) representing the relationship between the control value and the conversion formula based on the linking information;
and a display step of displaying the data flow diagram.
前記データフロー図生成ステップにおいて、使用者が希望する希望制御値および/あるいは希望変換式を強調表示して、前記データフロー図を生成する請求項5に記載のデータフロー生成方法。 6. The data flow generation method according to claim 5, wherein in said data flow diagram generation step, a desired control value and/or desired conversion formula desired by a user are highlighted to generate said data flow diagram. 前記表示ステップにおいて、使用者が希望する希望制御値および/あるいは希望変換式が記載された前記仕様書を表示する請求項5に記載のデータフロー生成方法。 6. The data flow generation method according to claim 5, wherein in said display step, said specifications describing desired control values and/or desired conversion formulas desired by a user are displayed. 前記表示ステップにおいて、使用者が希望する希望変換式に対する入出力数を表示する請求項5に記載のデータフロー生成方法。 6. The data flow generation method according to claim 5, wherein in said display step, the number of inputs and outputs for a conversion formula desired by a user is displayed. 制御用のコンピュータを実行させるためのデータフロー生成プログラムにおいて、
自然言語で記載されたソフトウェア用の仕様書(10)における制御値(S1~S3)、および前記制御値を変換するための変換式(F1)を読取る第1ステップと、
前記制御値、および前記変換式のそれぞれに識別用のIDを割り振ったリストを作成する第2ステップと、
前記変換式に対する入力および出力を決定し、前記制御値と前記変換式とを、前記識別用のIDを用いて紐付けする第3ステップと、
前記紐付けされた前記制御値と前記変換式とを、紐付け情報として記憶する第4ステップと、
前記紐付け情報を基に、前記制御値と前記変換式との関係をデータフロー図(115a)として生成する第5ステップと、
前記データフロー図を表示する第6ステップと、を含む処理を前記コンピュータに実行させるデータフロー生成プログラム。
In a data flow generation program for executing a control computer,
A first step of reading control values (S1 to S3) in a software specification (10) written in a natural language and a conversion formula (F1) for converting the control values;
a second step of creating a list in which an identification ID is assigned to each of the control value and the conversion formula;
a third step of determining the input and output for the conversion formula and linking the control value and the conversion formula using the ID for identification;
a fourth step of storing the linked control value and conversion formula as linking information;
a fifth step of generating a relationship between the control value and the conversion formula as a data flow diagram (115a) based on the linking information;
a sixth step of displaying the data flow diagram; and a data flow generation program for causing the computer to execute a process.
前記第5ステップにおいて、使用者が希望する希望制御値および/あるいは希望変換式を強調表示して、前記データフロー図を生成する処理を前記コンピュータに実行させる請求項9に記載のデータフロー生成プログラム。 10. The data flow generation program according to claim 9, wherein, in said fifth step, a desired control value and/or a desired conversion formula desired by a user are highlighted to cause said computer to execute processing for generating said data flow diagram. . 前記第6ステップにおいて、使用者が希望する希望変換式および/あるいは前記希望変換式が記載された前記仕様書を表示する処理を前記コンピュータに実行させる請求項9に記載のデータフロー生成プログラム。 10. The data flow generation program according to claim 9, wherein in said sixth step, said computer executes a process of displaying a desired conversion formula desired by a user and/or said specifications describing said desired conversion formula. 前記第6ステップにおいて、使用者が希望する希望変換式に対する入出力数を表示する処理を前記コンピュータに実行させる請求項9に記載のデータフロー生成プログラム。 10. The data flow generation program according to claim 9, wherein in said sixth step, said computer executes a process of displaying the number of inputs and outputs for a conversion formula desired by a user.
JP2019132166A 2019-07-17 2019-07-17 Dataflow generator, its method, and its program Active JP7163879B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2019132166A JP7163879B2 (en) 2019-07-17 2019-07-17 Dataflow generator, its method, and its program

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2019132166A JP7163879B2 (en) 2019-07-17 2019-07-17 Dataflow generator, its method, and its program

Publications (2)

Publication Number Publication Date
JP2021018487A JP2021018487A (en) 2021-02-15
JP7163879B2 true JP7163879B2 (en) 2022-11-01

Family

ID=74565949

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2019132166A Active JP7163879B2 (en) 2019-07-17 2019-07-17 Dataflow generator, its method, and its program

Country Status (1)

Country Link
JP (1) JP7163879B2 (en)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2009134342A (en) 2007-11-28 2009-06-18 Mitsubishi Electric Corp Function specification automatic generation device
JP2009181550A (en) 2008-02-01 2009-08-13 Panasonic Corp Method for comprising software request specifications automatic generation tool
JP2014106719A (en) 2012-11-27 2014-06-09 Toshiba Corp Influence relation analyzer

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2009134342A (en) 2007-11-28 2009-06-18 Mitsubishi Electric Corp Function specification automatic generation device
JP2009181550A (en) 2008-02-01 2009-08-13 Panasonic Corp Method for comprising software request specifications automatic generation tool
JP2014106719A (en) 2012-11-27 2014-06-09 Toshiba Corp Influence relation analyzer

Also Published As

Publication number Publication date
JP2021018487A (en) 2021-02-15

Similar Documents

Publication Publication Date Title
JP4148527B2 (en) Functional test script generator
JP3579823B2 (en) How to display a character string
JP4909877B2 (en) Debugging apparatus and debugging method
US20090070747A1 (en) System for Adding Code Commentary to Source Code During Software Debugging
JPH0844547A (en) Visualization of object-oriented software
JP2010097426A (en) Computer program, and device and method for receiving input of source program
Zakas Maintainable JavaScript: Writing Readable Code
US8225286B2 (en) Debugging interpreted input
US8327332B2 (en) Seamless debugging among different application views
JP2016224579A (en) Information processor and information processing method
JP7163879B2 (en) Dataflow generator, its method, and its program
Křikava et al. SIGMA: Scala internal domain-specific languages for model manipulations
JP4735854B2 (en) PLC program development support device
JP2007183897A (en) Method for automatically converting high-level programming language into ead
JP5758311B2 (en) Test code generation device, test code generation method, test code generation program
JP2016126700A (en) Program verification device, program verification method, and program verification program
JP2015138356A (en) Software structure visualization device
JP2009104336A (en) Software deliverable management system and its method and program
JP2008002825A (en) Test data editing device
JP6062735B2 (en) Software development support device, software development support method, software development support program
JP4988367B2 (en) Business system development method related to the agreement
JP2007219893A (en) Firmware evaluation system and firmware evaluation method
JP5190899B2 (en) Information processing apparatus, setting file generation method, and setting file generation program
JP4590907B2 (en) Software development support device and software development support program
JP4854058B2 (en) General-purpose input data inspection device and program

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20210929

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20220826

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20220920

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20221003

R151 Written notification of patent or utility model registration

Ref document number: 7163879

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R151