JPWO2024189749A1 - - Google Patents

Info

Publication number: JPWO2024189749A1
Authority: JP; Japan
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.): Granted

Application number

JP2023560969A

Other languages

Japanese (ja)

Other versions

JPWO2024189749A5 (en

JP7433553B1 (en

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.)

2023-03-13

Filing date

2023-03-13

Publication date

2024-09-19

2023-03-13 Application filed filed Critical

2024-02-19 Application granted granted Critical

2024-02-19 Publication of JP7433553B1 publication Critical patent/JP7433553B1/en

2024-09-19 Publication of JPWO2024189749A1 publication Critical patent/JPWO2024189749A1/ja

2025-02-19 Publication of JPWO2024189749A5 publication Critical patent/JPWO2024189749A5/ja

Status Active legal-status Critical Current

2043-03-13 Anticipated expiration legal-status Critical

Classifications

- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software

Landscapes

Engineering & Computer Science (AREA)
Physics & Mathematics (AREA)
General Physics & Mathematics (AREA)
Theoretical Computer Science (AREA)
Automation & Control Theory (AREA)
Computer Hardware Design (AREA)
Quality & Reliability (AREA)
General Engineering & Computer Science (AREA)
Programmable Controllers (AREA)

JP2023560969A 2023-03-13 2023-03-13 Verification program, verification device, verification system, and verification method Active JP7433553B1 (en)

Applications Claiming Priority (1)

Application Number	Priority Date	Filing Date	Title
PCT/JP2023/009701 WO2024189749A1 (en)	2023-03-13	2023-03-13	Verification program, verification device, verification system, and verification method

Publications (3)

Publication Number	Publication Date
JP7433553B1 JP7433553B1 (en)	2024-02-19
JPWO2024189749A1 true JPWO2024189749A1 (en)	2024-09-19
JPWO2024189749A5 JPWO2024189749A5 (en)	2025-02-19

Family

ID=89904343

Family Applications (1)

Application Number	Title	Priority Date	Filing Date
JP2023560969A Active JP7433553B1 (en)	2023-03-13	2023-03-13	Verification program, verification device, verification system, and verification method

Country Status (2)

Country	Link
JP (1)	JP7433553B1 (en)
WO (1)	WO2024189749A1 (en)

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number	Priority date	Publication date	Assignee	Title
JP3158395B2 (en) *	1995-08-22	2001-04-23	横河電機株式会社	Test execution flow creation device
US6681351B1 (en)	1999-10-12	2004-01-20	Teradyne, Inc.	Easy to program automatic test equipment
JP2011123780A (en)	2009-12-14	2011-06-23	Mitsubishi Electric Corp	Test management device
JP2013113663A (en)	2011-11-28	2013-06-10	Advantest Corp	Test module generation device, test procedure generation device, generation method, program, and test device

2023
- 2023-03-13 WO PCT/JP2023/009701 patent/WO2024189749A1/en unknown
- 2023-03-13 JP JP2023560969A patent/JP7433553B1/en active Active

Also Published As

Publication number	Publication date
WO2024189749A1 (en)	2024-09-19
JP7433553B1 (en)	2024-02-19

Publication	Publication Date	Title
BR102023007252A2 (en)	2023-06-06
BR102023005164A2 (en)	2023-05-23
BR202022005961U2 (en)	2022-05-31
BR202022000931U2 (en)	2023-07-04
BY13152U (en)	2023-04-30
BY13150U (en)	2023-04-30
CN307051291S (en)	2022-01-04
CN307051214S (en)	2022-01-04
CN307050063S (en)	2022-01-04
CN307049339S (en)	2022-01-04
CN307048089S (en)	2022-01-04
CN307046009S (en)	2022-01-04
CN307045946S (en)	2022-01-04
CN307045458S (en)	2022-01-04
CN307044359S (en)	2022-01-04
CN307044349S (en)	2022-01-04
CN307044254S (en)	2022-01-04
CN307044206S (en)	2022-01-04
BY24006C1 (en)	2023-04-30
BY13170U (en)	2023-04-30
BY13169U (en)	2023-04-30
BY13168U (en)	2023-04-30
BY13167U (en)	2023-04-30
BY13166U (en)	2023-04-30
BY13165U (en)	2023-04-30

Legal Events

Date	Code	Title	Description
2023-10-03	A521	Request for written amendment filed	Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20231003
2023-10-03	A621	Written request for application examination	Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20231003
2023-10-03	A871	Explanation of circumstances concerning accelerated examination	Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20231003
2023-12-27	TRDD	Decision of grant or rejection written
2024-01-09	A01	Written decision to grant a patent or to grant a registration (utility model)	Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20240109
2024-02-08	A61	First payment of annual fees (during grant procedure)	Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20240206
2024-02-08	R150	Certificate of patent or registration of utility model	Ref document number: 7433553 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150