JP5979250B2 - 排他制御検査装置、排他制御検査方法、排他制御検査プログラム - Google Patents

排他制御検査装置、排他制御検査方法、排他制御検査プログラム Download PDF

Info

Publication number
JP5979250B2
JP5979250B2 JP2014557377A JP2014557377A JP5979250B2 JP 5979250 B2 JP5979250 B2 JP 5979250B2 JP 2014557377 A JP2014557377 A JP 2014557377A JP 2014557377 A JP2014557377 A JP 2014557377A JP 5979250 B2 JP5979250 B2 JP 5979250B2
Authority
JP
Japan
Prior art keywords
lock
lock section
execution
exclusive control
section
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
JP2014557377A
Other languages
English (en)
Japanese (ja)
Other versions
JPWO2014112304A1 (ja
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.)
Nissan Motor Co Ltd
Original Assignee
Nissan Motor Co Ltd
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 Nissan Motor Co Ltd filed Critical Nissan Motor Co Ltd
Application granted granted Critical
Publication of JP5979250B2 publication Critical patent/JP5979250B2/ja
Publication of JPWO2014112304A1 publication Critical patent/JPWO2014112304A1/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
JP2014557377A 2013-01-21 2013-12-25 排他制御検査装置、排他制御検査方法、排他制御検査プログラム Active JP5979250B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
JP2013008356 2013-01-21
JP2013008356 2013-01-21
PCT/JP2013/084616 WO2014112304A1 (fr) 2013-01-21 2013-12-25 Dispositif d'examen de commande exclusive, procédé d'examen de commande exclusive et programme d'examen de commande exclusive

Publications (2)

Publication Number Publication Date
JP5979250B2 true JP5979250B2 (ja) 2016-08-24
JPWO2014112304A1 JPWO2014112304A1 (ja) 2017-01-19

Family

ID=51209406

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2014557377A Active JP5979250B2 (ja) 2013-01-21 2013-12-25 排他制御検査装置、排他制御検査方法、排他制御検査プログラム

Country Status (3)

Country Link
JP (1) JP5979250B2 (fr)
CN (1) CN104885061B (fr)
WO (1) WO2014112304A1 (fr)

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003316615A (ja) * 2002-04-26 2003-11-07 Nissan Motor Co Ltd 演算順序チェック装置およびその方法
JP2006331027A (ja) * 2005-05-25 2006-12-07 Nissan Motor Co Ltd 検査装置、検査方法、及び検査プログラム
JP2008090696A (ja) * 2006-10-04 2008-04-17 Nissan Motor Co Ltd プログラム解析装置及びプログラム解析方法

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CA2073516A1 (fr) * 1991-11-27 1993-05-28 Peter Michael Kogge Ordinateur a reseau de processeurs paralleles multimode dynamiques
US5729676A (en) * 1993-12-10 1998-03-17 Nec Corporation Method of generating data for evaluating programs
JPH07219819A (ja) * 1993-12-10 1995-08-18 Nec Corp プログラム評価データ作成方法
US7401334B2 (en) * 2002-12-20 2008-07-15 International Business Machines Corporation Method, apparatus and computer program product for managing message flow in a multithreaded, message flow environment

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003316615A (ja) * 2002-04-26 2003-11-07 Nissan Motor Co Ltd 演算順序チェック装置およびその方法
JP2006331027A (ja) * 2005-05-25 2006-12-07 Nissan Motor Co Ltd 検査装置、検査方法、及び検査プログラム
JP2008090696A (ja) * 2006-10-04 2008-04-17 Nissan Motor Co Ltd プログラム解析装置及びプログラム解析方法

Also Published As

Publication number Publication date
WO2014112304A1 (fr) 2014-07-24
CN104885061A (zh) 2015-09-02
JPWO2014112304A1 (ja) 2017-01-19
CN104885061B (zh) 2016-11-09

Similar Documents

Publication Publication Date Title
JP6607565B2 (ja) セーフティクリティカルソフトウェアのための統合された自動テストケース生成
US8234631B2 (en) Method and system for tracing individual transactions at the granularity level of method calls throughout distributed heterogeneous applications without source code modifications
US8997057B1 (en) Using trace matching to identify and analyze application traces
JP5139486B2 (ja) トレース生成装置、システム、およびそのプログラム
US20100180255A1 (en) Programmable framework for automatic tuning of software applications
KR101106595B1 (ko) 소프트웨어 테스트의 자동화 장치 및 그 방법
US20140279835A1 (en) Self-analyzing data processing job to determine data quality issues
JP2008140162A (ja) デバッグ情報収集方法
KR101519450B1 (ko) 멀티스레드 프로그램에 대한 테스트 커버리지 정보를 이용한 자동 테스트 생성 장치, 방법 및 기록매체
US7752399B2 (en) Exclusion control method and information processing apparatus
CN113568604B (zh) 风控策略的更新方法、装置及计算机可读存储介质
JP5979250B2 (ja) 排他制御検査装置、排他制御検査方法、排他制御検査プログラム
WO2014112303A1 (fr) Dispositif d'examen de mise à jour de données ratée, procédé d'examen de mise à jour de données ratée et programme d'examen de mise à jour de données ratée
JP5240220B2 (ja) ソフトウェア実効性能評価システム、ソフトウェア実効性能評価方法、及びプログラム
JP6176380B2 (ja) 情報処理装置、方法、及びプログラム
JP6048500B2 (ja) 情報処理装置、情報処理方法、情報処理プログラム、及び記録媒体
JP6666216B2 (ja) 電子制御装置、解析システム
CN113360362B (zh) 一种动态sql效率检查方法及插件
Vögler et al. Non-intrusive monitoring of stream processing applications
CN110569155A (zh) 数据处理方法及其系统、电子设备和介质
JP2010211574A (ja) 情報処理システム、監視方法及び監視プログラム
JP2018151803A (ja) コンピュータプログラムの検査装置および車両制御用コンピュータプログラムの検査を行う車載装置
CN115658551B (zh) 代码测试方法、存储介质、电子设备和装置
JP2010262491A (ja) ログ集約装置
JP2000099367A (ja) ソフトウエアの評価装置

Legal Events

Date Code Title Description
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: 20160628

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20160711

R151 Written notification of patent or utility model registration

Ref document number: 5979250

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R151