WO2021234798A1 - Dispositif de génération, procédé de génération, et programme de génération - Google Patents

Dispositif de génération, procédé de génération, et programme de génération Download PDF

Info

Publication number
WO2021234798A1
WO2021234798A1 PCT/JP2020/019699 JP2020019699W WO2021234798A1 WO 2021234798 A1 WO2021234798 A1 WO 2021234798A1 JP 2020019699 W JP2020019699 W JP 2020019699W WO 2021234798 A1 WO2021234798 A1 WO 2021234798A1
Authority
WO
WIPO (PCT)
Prior art keywords
chapter
character string
test
sentence
generation
Prior art date
Application number
PCT/JP2020/019699
Other languages
English (en)
Japanese (ja)
Inventor
尚宏 寺山
Original Assignee
日本電信電話株式会社
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 日本電信電話株式会社 filed Critical 日本電信電話株式会社
Priority to PCT/JP2020/019699 priority Critical patent/WO2021234798A1/fr
Publication of WO2021234798A1 publication Critical patent/WO2021234798A1/fr

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data

Definitions

  • the present invention relates to a generator, a generator, and a generator.
  • Hirakiba "Prototype of Spec2Test, a tool for automatically creating test cases from specifications using machine learning", [online], [Search on May 7, 2020], Internet ⁇ https://www.slideshare.net/FutaHirakoba / spec2test > Sato et al., "Teacher data creation method for improving machine learning performance in software development efficiency method", IEICE Technical Report, vol. 118, no. 392, NS2018-184, pp. 35-40.
  • test items cannot be easily generated when unsupported words are included in the specifications. That is, in the conventional method, for example, since learning is performed from a huge amount of past specifications, it is not possible to deal with unsupported words such as words unrelated to the test and new words.
  • the applicable range is limited to a specific technology or product, a huge amount of specification learning is required, and it is not known what function the extracted item is related to, so that the test item is simply tested. There was a problem that it could not be generated.
  • the generator of the present invention has an acquisition unit for acquiring specification data and a chapter character string included in the specification data acquired by the acquisition unit. And the character string of the chapter extracted by the extraction unit, and the extraction unit that extracts the character string of the sentence that does not include the preset expression not related to the test from the character strings of the sentences after the relevant chapter. It is characterized by having a generation unit that generates a list of test items based on a character string of a sentence that does not include expressions unrelated to the test.
  • the test item when an unsupported word such as a new word is included in the specification, the test item can be generated accurately and easily.
  • FIG. 1 is a diagram showing an example of the configuration of the generator according to the first embodiment.
  • FIG. 2 is a diagram showing an example of config information.
  • FIG. 3 is a diagram showing an example of extracted information.
  • FIG. 4 is a diagram showing an example of irrelevant expression data.
  • FIG. 5 is a diagram showing an example of specification data.
  • FIG. 6 is a diagram showing an example of a list of test items.
  • FIG. 7 is a diagram illustrating an outline of a test item list generation process.
  • FIG. 8 is a flowchart showing an example of a flow of a test item list generation process in the generator according to the first embodiment.
  • FIG. 9 is a diagram showing a computer that executes a generation program.
  • FIG. 1 is a diagram showing an example of the configuration of the generator according to the first embodiment.
  • the generation device 10 is a device that automatically generates and outputs a list of test items from the required specifications under development in order to improve the efficiency of the development process in system development and the like.
  • the generation device 10 extracts chapters and sentences from a requirement specification document composed of a cover page, a table of contents, a correction history, chapters, sentences, figures, tables, and the like.
  • the generation device 10 refers to the data of the expression unrelated to the test stored in advance, excludes the sentence including the expression unrelated to the test from the extracted sentences, and extracts only the sentence that can be the test item. And automatically generate a list of test items.
  • the generation device 10 includes an input unit 11, an output unit 12, a communication control unit 13, a control unit 14, and a storage unit 15. Each part will be described below.
  • the input unit 11 is realized by using an input device such as a keyboard or a mouse, and inputs various instruction information such as processing start to the control unit 14 in response to an input operation by the operator.
  • the output unit 12 is realized by a display device such as a liquid crystal display, a printing device such as a printer, or the like. For example, a list of test items is output to the output unit 12.
  • the communication control unit 13 is a communication interface for transmitting and receiving various information to and from other devices connected via a network or the like.
  • the communication control unit 13 is realized by a NIC (Network Interface Card) or the like, and communicates between the control unit 14 and another device via a telecommunication line such as a LAN (Local Area Network) or the Internet.
  • NIC Network Interface Card
  • the storage unit 15 is realized by a semiconductor memory element such as a RAM (Random Access Memory) or a flash memory (Flash Memory), or a storage device such as a hard disk or an optical disk, and is a processing program for operating the generation device 10 or a processing program. Data used during execution is stored.
  • the storage unit 15 has a config information storage unit 15a, an extraction information storage unit 15b, and an irrelevant expression data storage unit 15c.
  • the config information storage unit 15a stores information for identifying chapters in the specifications, presence / absence of a table of contents in the specifications, and the name of the starting chapter as config information. As illustrated in FIG. 2, for example, the config information storage unit 15a stores "chapter identifier format", "table of contents presence / absence", and "start chapter name” as config information.
  • FIG. 2 is a diagram showing an example of config information.
  • the config information storage unit 15a stores, for example, "number-number”, “number.number”, “(number)”, etc. as the format of the chapter identifier. Further, the config information storage unit 15a stores "yes” or “no” as the presence or absence of the table of contents. Further, the config information storage unit 15a stores "function 1" in the example of FIG. 2 as the "name of the start chapter". The information stored in the config information storage unit 15a may be manually set or may be automatically set from the data obtained by analyzing the specifications. ..
  • the extraction information storage unit 15b stores the chapters included in the specifications extracted by the extraction unit 14b, which will be described later, in association with sentences that can be test items belonging to the chapters. For example, as illustrated in FIG. 3, the extraction information storage unit 15b stores "2-1 function 1" as a chapter and "requirement condition sentence 1" as a sentence in association with each other.
  • FIG. 3 is a diagram showing an example of extracted information.
  • the irrelevant expression data storage unit 15c stores expressions unrelated to the preset test.
  • the irrelevant expression data storage unit 15c stores expressions such as "is not subject to development", "is no function addition", and "no change" as expressions not related to the test.
  • FIG. 4 is a diagram showing an example of irrelevant expression data.
  • the data of the expression not related to the test stored in the irrelevant expression data storage unit 15c shall be obtained by, for example, machine learning. Any method of machine learning may be used.
  • the generation device 10 may perform machine learning and store it in the irrelevant expression data storage unit 15c, or the expression data obtained by performing machine learning by another device and not related to the test may be stored in the irrelevant expression data storage unit. It may be stored in the part 15c.
  • the control unit 14 has an internal memory for storing a program that defines various processing procedures and required data, and executes various processing by these.
  • the control unit 14 is an electronic circuit such as a CPU (Central Processing Unit) or an MPU (Micro Processing Unit).
  • the control unit 14 has an acquisition unit 14a, an extraction unit 14b, and a generation unit 14c.
  • the acquisition unit 14a acquires the data of the specifications to be developed. For example, as illustrated in FIG. 5, the acquisition unit 14a accepts input of data of a specification sheet composed of a cover page, a correction history, a table of contents, a chapter, a sentence, and the like.
  • the acquisition unit 14a may accept the input of the data of the specification to be developed via the input unit 11, or may input the data of the specification to be developed from another device via the communication control unit 13. It may be accepted, or the data of the specification to be developed may be read from the storage unit 15.
  • the extraction unit 14b extracts the character string of the chapter included in the data of the specification acquired by the acquisition unit 14a, and does not include the character string of the sentence after the chapter, which is not related to the preset test. Extract the sentence string. For example, the extraction unit 14b extracts the character string of the chapter and excludes the character string of the sentence including the expression not related to the test stored in the irrelevant expression data storage unit 15c from the character strings of the sentences after the chapter. Then, extract sentences that do not include expressions that are not related to the test. Then, the extraction unit 14b stores the extracted chapter and sentence character strings in the extraction information storage unit 15b.
  • the extraction unit 14b searches from the first page of the specification to specify the description position of the first chapter (extraction start chapter) of the specification, and has a table of contents in the config information. If it is set, the place that matches the name of the start chapter set in the config information for the second time is specified as the description location of the extraction start chapter, and the character string of the chapter is extracted. Further, when the extraction unit 14b is set without a table of contents in the config information, the extraction unit 14b identifies the place where the name of the start chapter set in the config information first matches as the description location of the extraction start chapter, and sets the chapter. Extract the character string.
  • the extraction unit 14b starts with an identifier whose format matches the "chapter identifier format" of the config information stored in the config information storage unit 15a, for example, and Extract a string without punctuation as a chapter string. Further, for example, the extraction unit 14b searches for the character string of the sentence after the character string of the chapter, is a character string having a punctuation mark at the end, and is not related to the test stored in the irrelevant expression data storage unit 15c. The character string that does not include the expression is extracted as the sentence of the test item.
  • the generation unit 14c generates a list of test items based on the character string of the chapter extracted by the extraction unit 14b and the character string of the sentence that does not include the expression unrelated to the test. For example, as illustrated in FIG. 6, the generation unit 14c generates a combination of the chapter character string extracted by the extraction unit 14b and the sentence character string as a test item list.
  • FIG. 6 is a diagram showing an example of a list of test items.
  • the generation unit 14c may output the generated test item list via the output unit 12, transmit it to an external device via the communication control unit 13, or store it in the storage unit 15. You may.
  • the output mode of the list of test items is not limited, and the generation unit 14c may output in any mode.
  • FIG. 7 is a diagram illustrating an outline of a test item list generation process.
  • the generator 10 reads, for example, the specifications of the electronic file, and extracts the requirement statement and the chapter to which the corresponding statement belongs, which can be the test items after the chapter set in the config information. , Generate a test item list file and write the relevant chapter and requirement statement information.
  • the generator 10 searches from the first page of the specification to specify the description location of the extraction start chapter, and if it is set with a table of contents in the config information, the start chapter set in the config information.
  • the place where the name is matched for the second time is specified as the description place of the extraction start chapter. Further, when the generation device 10 is set without a table of contents in the config information, the place where the name of the start chapter set in the config information first matches is specified as the description location of the extraction start chapter.
  • the name of the extraction start chapter set in the config information is "2-1 Function 1", and it is set with a table of contents. Specify as the description location of the extraction start chapter, and store "2-1 Function 1" in the area that temporarily stores the chapter to which the requirement statement belongs. In this area, the chapter name is updated each time the next chapter is found.
  • the generation device 10 recognizes the chapters after the start chapter as chapters that start in the form of the chapter identifier set in the config information and do not include the punctuation mark ".”.
  • the generation device 10 searches for the character strings after "2-1 function 1" and extracts the sentences belonging to the chapter "2-1 function 1". The generation device 10 determines the sentence identification method based on whether or not there is a punctuation mark at the end of the character string. Further, the generation device 10 verifies whether or not the sentence is a requirement condition sentence by collating whether or not the character string registered in the irrelevant expression data is included in the corresponding sentence, and if it is not included, determines that the sentence is a request condition sentence. do.
  • the generation device 10 extracts, for example, "requirement condition sentence 1 to be developed” as a sentence belonging to the chapter "2-1 function 1".
  • the generation device 10 verifies whether the "requirement condition statement 1 to be developed” contains the character string registered in the irrelevant expression data, and determines that the character string registered in the irrelevant expression data is not included.
  • 2-1 Write "Requirement statement 1 for development target" as a test item in the test item list file in association with "Function 1".
  • the generation device 10 extracts, for example, "a sentence that defines the non-development target" as a sentence that belongs to the chapter "2-1 Function 1".
  • the generator 10 verifies whether or not the character string registered in the irrelevant expression data is included in the "sentence that defines the non-development target.”, And determines that the character string registered in the irrelevant expression data is included. Exclude “sentences that specify non-development targets” as a test item.
  • the generation device 10 repeats the process of extracting the above-mentioned sentences and chapters from the extraction start chapter of "2-1 Function 1" to the end of the specification. Then, when the processing is completed up to the end of the specification, the generation device 10 outputs the combination of the chapter written in the test item list file and the test item list file.
  • the generator 10 has the chapter "2-1 function 1" and the test item (requirement sentence) "requirement condition sentence 1 to be developed", and the chapter "2-1 function 1" and the test.
  • the generation device 10 when the data of the expression unrelated to the test is included in the character string of the sentence of the specification, the generation device 10 does not extract it as a sentence that can be a test item. Further, the generation device 10 combines the function of identifying chapters and the function of identifying sentences with the above functions, so that the test item list is tested by associating a sentence that can be a test item with the name of the chapter to which it belongs. Output as an item list. Therefore, the generation device 10 can generate test items accurately and easily when unsupported words such as new words are included in the specifications.
  • FIG. 8 is a flowchart showing an example of a flow of a test item list generation process in the generator according to the first embodiment.
  • the acquisition unit 14a of the generation device 10 acquires the specification file (step S101).
  • the extraction unit 14b refers to the name of the start chapter of the config information, identifies the extraction start chapter in the specification, and searches for the subsequent character strings (step S102).
  • the extraction unit 14b determines whether or not there is a punctuation mark at the end of the searched character string (step S103). As a result, when the extraction unit 14b determines that there is no punctuation mark at the end of the searched character string (denial in step S103), the extraction unit 14b proceeds to the process of step S107.
  • the extraction unit 14b determines whether the character string includes the character string registered in the irrelevant expression data storage unit 15c. (Step S104). As a result, when the extraction unit 14b determines that the character string registered in the irrelevant expression data storage unit 15c is included (step S104 affirmative), the extraction unit 14b proceeds to the process of step S107.
  • the extraction unit 14b determines that the character string registered in the irrelevant expression data storage unit 15c is included (negation in step S104), the extraction unit 14b updates the sentence setting field of the extraction information storage unit 15b (step S105). ).
  • the extraction unit 14b writes the chapter and sentence information in the extraction information storage unit 15b in the test item list file (step S106). Subsequently, the extraction unit 14b searches for the next character string (step S107) and determines whether or not there is a character string (step S108).
  • the extraction unit 14b determines whether the character string is a chapter (step S109). For example, the extraction unit 14b determines that the character string is a chapter when the character string starts in the form of the chapter identifier set in the config information and does not include the punctuation mark ".”.
  • the extraction unit 14b updates the setting field of the chapter of the extraction information storage unit 15b, searches for the subsequent character strings (step S110), and returns to step S103. Further, in step S108, when the extraction unit 14b determines that there is no character string (denial in step S108), the extraction unit 14b ends the process of this flowchart. After that, the generation unit 14c generates and outputs a list of test items from the chapter and sentence information written in the test item list file at a predetermined timing.
  • the generation device 10 acquires the data of the specification, extracts the character string of the chapter included in the acquired data of the specification, and sets a preset test among the character strings of the sentences after the chapter. Extract the character string of the sentence that does not contain the expression that is not related to. Then, the generation device 10 generates a list of test items based on the character string of the extracted chapter and the character string of the sentence not including the expression not related to the test. As a result, the generation device 10 can generate test items accurately and easily even when unsupported words such as new words are included in the specifications.
  • the generation device 10 since the generation device 10 does not extract expressions unrelated to the test as sentences of test items, it is possible to generate test items even if uncorresponding words such as new words are included. Further, since the generator 10 does not depend on a specific technique, it can be applied to specifications of various products.
  • the generator 10 stores expressions not related to the test obtained by machine learning, extracts the character strings of the chapter, and expresses the character strings of the sentences after the chapter that are not related to the stored test. Exclude the strings of sentences that include, and extract sentences that do not contain expressions that are not related to the test. Therefore, the generation device 10 can generate test items accurately and easily without learning using a huge number of specifications. Further, since the expressions not related to the test do not depend on a specific function, the variations of the expressions unrelated to the test are limited, and it is not necessary to learn a huge amount of specifications as in the prior art. That is, unlike the conventional approach of learning correct answer data (data to be tested), the generation device 10 can easily generate test items by using the incorrect answer data obtained by learning.
  • the generation device 10 starts with an identifier that matches the format of the preset chapter identifier as the character string of the chapter included in the data of the specification, and uses a character string without kuten as the character string of the chapter. Extract. Therefore, the generation device 10 can accurately extract the character string of the chapter and output it together with the test items.
  • the generation device 10 searches for the character string after the character string of the chapter, and extracts the character string having a punctuation mark at the end and not including the expression unrelated to the test as the sentence of the test item. do. Therefore, the generation device 10 can accurately extract the sentences of the test items.
  • the generation device 10 generates a combination of the extracted chapter character string and the sentence character string as a list of test items. Therefore, the generator 10 can output the test item and the chapter name together, and can clarify what function the test item relates to.
  • each component of each of the illustrated devices is a functional concept, and does not necessarily have to be physically configured as shown in the figure. That is, the specific form of distribution / integration of each device is not limited to the one shown in the figure, and all or part of them may be functionally or physically distributed / physically distributed in any unit according to various loads and usage conditions. Can be integrated and configured. Further, each processing function performed by each device may be realized by a CPU and a program analyzed and executed by the CPU, or may be realized as hardware by wired logic.
  • FIG. 9 is a diagram showing a computer that executes a generation program.
  • the computer 1000 has, for example, a memory 1010 and a CPU 1020.
  • the computer 1000 also has a hard disk drive interface 1030, a disk drive interface 1040, a serial port interface 1050, a video adapter 1060, and a network interface 1070. Each of these parts is connected by a bus 1080.
  • the memory 1010 includes a ROM (Read Only Memory) 1011 and a RAM 1012.
  • the ROM 1011 stores, for example, a boot program such as a BIOS (Basic Input Output System).
  • BIOS Basic Input Output System
  • the hard disk drive interface 1030 is connected to the hard disk drive 1090.
  • the disk drive interface 1040 is connected to the disk drive 1100.
  • a removable storage medium such as a magnetic disk or an optical disk is inserted into the disk drive 1100.
  • the serial port interface 1050 is connected to, for example, a mouse 1051 and a keyboard 1052.
  • the video adapter 1060 is connected to, for example, the display 1061.
  • the hard disk drive 1090 stores, for example, the OS 1091, the application program 1092, the program module 1093, and the program data 1094. That is, the program that defines each process of the generation device 10 is implemented as a program module 1093 in which a code that can be executed by a computer is described.
  • the program module 1093 is stored in, for example, the hard disk drive 1090.
  • the program module 1093 for executing the same processing as the functional configuration in the apparatus is stored in the hard disk drive 1090.
  • the hard disk drive 1090 may be replaced by an SSD (Solid State Drive).
  • the data used in the processing of the above-described embodiment is stored as program data 1094 in, for example, a memory 1010 or a hard disk drive 1090. Then, the CPU 1020 reads the program module 1093 and the program data 1094 stored in the memory 1010 and the hard disk drive 1090 into the RAM 1012 and executes them as needed.
  • the program module 1093 and the program data 1094 are not limited to those stored in the hard disk drive 1090, but may be stored in, for example, a removable storage medium and read by the CPU 1020 via the disk drive 1100 or the like. Alternatively, the program module 1093 and the program data 1094 may be stored in another computer connected via a network or WAN. Then, the program module 1093 and the program data 1094 may be read from another computer by the CPU 1020 via the network interface 1070.

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Data Mining & Analysis (AREA)
  • Databases & Information Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

Dispositif de génération (10) obtenant des données d'une feuille de spécifications, qui extrait une chaîne de caractères dans un chapitre contenu dans les données obtenues de la feuille de spécifications, et qui extrait une chaîne de caractères d'une phrase qui ne contient pas d'expressions non liées à un test prédéfini parmi des chaînes de caractères de phrases dudit chapitre et ce qui suit. Le dispositif de génération (10) génère ensuite une liste d'éléments de test sur la base de la chaîne de caractères extraite du chapitre et de la chaîne de caractères de la phrase qui ne contient pas d'expressions non liées au test.
PCT/JP2020/019699 2020-05-18 2020-05-18 Dispositif de génération, procédé de génération, et programme de génération WO2021234798A1 (fr)

Priority Applications (1)

Application Number Priority Date Filing Date Title
PCT/JP2020/019699 WO2021234798A1 (fr) 2020-05-18 2020-05-18 Dispositif de génération, procédé de génération, et programme de génération

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2020/019699 WO2021234798A1 (fr) 2020-05-18 2020-05-18 Dispositif de génération, procédé de génération, et programme de génération

Publications (1)

Publication Number Publication Date
WO2021234798A1 true WO2021234798A1 (fr) 2021-11-25

Family

ID=78708406

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2020/019699 WO2021234798A1 (fr) 2020-05-18 2020-05-18 Dispositif de génération, procédé de génération, et programme de génération

Country Status (1)

Country Link
WO (1) WO2021234798A1 (fr)

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH11259521A (ja) * 1998-03-13 1999-09-24 Fujitsu Ltd 文書理解支援装置、要約文生成方法、並びに文書理解支援プログラムを記録したコンピュータ読み取り可能な記録媒体
JP2001034624A (ja) * 1999-07-19 2001-02-09 Fujitsu Ltd 文書要約装置およびその方法
JP2013020437A (ja) * 2011-07-11 2013-01-31 Fuji Electric Co Ltd 要件管理支援装置
JP2016212633A (ja) * 2015-05-08 2016-12-15 富士電機株式会社 プログラム試験優先順位決定システム

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH11259521A (ja) * 1998-03-13 1999-09-24 Fujitsu Ltd 文書理解支援装置、要約文生成方法、並びに文書理解支援プログラムを記録したコンピュータ読み取り可能な記録媒体
JP2001034624A (ja) * 1999-07-19 2001-02-09 Fujitsu Ltd 文書要約装置およびその方法
JP2013020437A (ja) * 2011-07-11 2013-01-31 Fuji Electric Co Ltd 要件管理支援装置
JP2016212633A (ja) * 2015-05-08 2016-12-15 富士電機株式会社 プログラム試験優先順位決定システム

Similar Documents

Publication Publication Date Title
US10684943B2 (en) Generating executable test automation code automatically according to a test case
US8935148B2 (en) Computer-assisted natural language translation
RU2643467C1 (ru) Сопоставление разметки для похожих документов
JP3897494B2 (ja) 画像管理検索装置、画像管理検索方法及び記憶媒体
WO2021151270A1 (fr) Procédé et appareil d'extraction de données structurées à partir d'une image, et dispositif et support de stockage
US20190325021A1 (en) Method and Device for Creating Hyperlink
TW202016758A (zh) 知識圖譜產生裝置、方法及其電腦程式產品
CN112579466A (zh) 测试用例的生成方法、装置及计算机可读存储介质
US8595559B2 (en) Method and apparatus for model-based testing of a graphical user interface
CN109614325B (zh) 一种确定控件属性的方法及装置、电子设备和存储介质
CN114003725A (zh) 信息标注模型的构建方法以及信息标注的生成方法
US11853196B1 (en) Artificial intelligence driven testing
WO2021234798A1 (fr) Dispositif de génération, procédé de génération, et programme de génération
CN117312148A (zh) 一种接口自动化测试方法、装置、计算机设备及存储介质
CN116383234A (zh) 一种搜索语句生成方法、装置、计算机设备及存储介质
CN116360763A (zh) 一种快速生成rpa应用的方法及装置
CN110633258A (zh) 日志插入方法、装置、计算机装置及存储介质
JP6900724B2 (ja) 学習プログラム、学習方法および学習装置
TWI756867B (zh) 在作業系統標記物件標籤及產生安全政策的方法及系統
WO2020059506A1 (fr) Dispositif d'apprentissage, dispositif d'extraction et procédé d'apprentissage
JP6437936B2 (ja) 提示装置、提示方法、および提示プログラム
Filipovikj et al. Specifying industrial system requirements using specification patterns: A case study of evaluation with practitioners
CN108052654A (zh) 数据提取方法、装置、设备及存储介质
Filipovikj Automated approaches for formal verification of embedded systems artifacts
WO2020059469A1 (fr) Dispositif d'apprentissage, dispositif d'extraction et procédé d'apprentissage

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: 20936146

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 20936146

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: JP