JP2006268232A - 駅務機器の処理ロジック検証装置 - Google Patents
駅務機器の処理ロジック検証装置 Download PDFInfo
- Publication number
- JP2006268232A JP2006268232A JP2005083260A JP2005083260A JP2006268232A JP 2006268232 A JP2006268232 A JP 2006268232A JP 2005083260 A JP2005083260 A JP 2005083260A JP 2005083260 A JP2005083260 A JP 2005083260A JP 2006268232 A JP2006268232 A JP 2006268232A
- Authority
- JP
- Japan
- Prior art keywords
- station
- test ticket
- processing logic
- processing
- block
- 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.)
- Granted
Links
- 238000012545 processing Methods 0.000 title claims abstract description 30
- 238000012795 verification Methods 0.000 title claims abstract description 13
- 238000012360 testing method Methods 0.000 claims abstract description 28
- 238000012546 transfer Methods 0.000 claims abstract description 9
- 238000004088 simulation Methods 0.000 abstract description 2
- 238000000034 method Methods 0.000 description 6
- 238000010586 diagram Methods 0.000 description 5
- 238000004364 calculation method Methods 0.000 description 4
- 241000282412 Homo Species 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 241000282414 Homo sapiens Species 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000000737 periodic effect Effects 0.000 description 1
Images
Landscapes
- Devices For Checking Fares Or Tickets At Control Points (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
【解決手段】 異なる路線が接続する交叉駅、及び乗り換え用/連絡用ラッチをノードとして定義したノードデータ(31)、同一線区上のノード間をブロックと定義したブロックデータ(32)を格納した記憶手段(3)と、前記記憶手段からノードデータ、ブロックデータを読み出して経路パターンを生成し、テスト券を生成するテスト券生成手段(1)と、駅務機器の処理モジュールを組み込んだ複数のシミュレータ(2−1〜2−n)とを備え、前記テスト券を各シミュレータに読み込ませて駅務機器の処理を実行させ、各シミュレータでの処理結果を比較するようにしたものである。
【選択図】 図1
Description
また、シミュレータにより判定を行うためにはシミュレータにかけるテスト券を作成する必要がある。例えば、出場判定検証を行う場合には、テスト券に入場駅を設定し、シミュレータ側には任意の出場駅設定が必要となる。したがって、各券種に対する入場駅−経由駅−出場駅の経路パターンを作ってもテスト券用の入場駅−経由駅とシミュレータ用の出場駅に分ける必要があり、分けた後の双方のリンクの取り方が課題となる。
また、シミュレートを実施するためにはいろいろな経路パターンを作成する必要があるが、膨大な数のパターンを人手で作成するのは困難である。
そのために請求項1の発明は、異なる路線が接続する交叉駅、及び乗り換え用/連絡用ラッチをノードとして定義したノードデータ、同一線区上のノード間をブロックと定義したブロックデータを格納した記憶手段と、
前記記憶手段からノードデータ、ブロックデータを読み出して経路パターンを生成し、テスト券を生成するテスト券生成手段と、
駅務機器の処理モジュールを組み込んだ複数のシミュレータと、
を備え、前記テスト券を各シミュレータに読み込ませて駅務機器の処理を実行させ、各シミュレータでの処理結果を比較するようにしたことを特徴とする。
請求項2の発明は、前記テスト券生成手段が、ブロック内は1つの駅と見做して入場駅、出場駅を設定し、隣接するブロックをつなぎ合わせて定期用経路パターンを生成することを特徴とする。
請求項3の発明は、前記テスト券生成手段が、ブロック内は1つの駅と見做して入場駅、出場駅を設定し、乗り換え用/連絡用ラッチを含むSF用経路パターンを生成することを特徴とする。
請求項4の発明は、前記テスト券生成手段が、ブロック内は1つの駅と見做して入場駅、出場駅を設定し、隣接するブロックをつなぎ合わせるとともに、乗り換え用/連絡用ラッチデータを加えて定期・SF併用経路パターンを生成することを特徴とする。
図1は本発明の処理ロジック検証装置を説明するブロック図、図2は2駅間運賃を説明するための図、図3は処理ロジックを説明する路線図である。
図1に示すように、処理ロジック検証装置は、コンピュータ内に組み込まれたプログラムで構成されるテスト券生成手段1で生成したテスト券を各シミュレータ2−1〜2−nに読み込ませて所定の処理を実行させ、それぞれの処理結果を突き合わせて検討するというものである。テスト券生成手段1は、後述するように、メモリ3に格納されているノードデータ31、ブロックデータ32を読みだして定期用テスト券、SF用テスト券、定期・SF兼用テスト券を生成する。なお、各シミュレータは駅務機器に搭載された処理モジュールと同じモジュールをコンピュータに組み込んだものであり、テスト券生成手段1とシミュレータ2−1〜2−nとは同じコンピュータ内に搭載したものであってもよい。
Claims (4)
- 異なる路線が接続する交叉駅、及び乗り換え用/連絡用ラッチをノードとして定義したノードデータ、同一線区上のノード間をブロックと定義したブロックデータを格納した記憶手段と、
前記記憶手段からノードデータ、ブロックデータを読み出して経路パターンを生成し、テスト券を生成するテスト券生成手段と、
駅務機器の処理モジュールを組み込んだ複数のシミュレータと、
を備え、前記テスト券を各シミュレータに読み込ませて駅務機器の処理を実行させ、各シミュレータでの処理結果を比較するようにしたことを特徴とする駅務機器の処理ロジック検証装置。 - 前記テスト券生成手段は、ブロック内は1つの駅と見做して入場駅、出場駅を設定し、隣接するブロックをつなぎ合わせて定期用経路パターンを生成することを特徴とする請求項1記載の駅務機器の処理ロジック検証装置。
- 前記テスト券生成手段は、ブロック内は1つの駅と見做して入場駅、出場駅を設定し、乗り換え用/連絡用ラッチを含むSF用経路パターンを生成することを特徴とする請求項1記載の駅務機器の処理ロジック検証装置。
- 前記テスト券生成手段は、ブロック内は1つの駅と見做して入場駅、出場駅を設定し、隣接するブロックをつなぎ合わせるとともに、乗り換え用/連絡用ラッチデータを加えて定期・SF併用経路パターンを生成することを特徴とする請求項1記載の駅務機器の処理ロジック検証装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005083260A JP4614335B2 (ja) | 2005-03-23 | 2005-03-23 | 駅務機器の処理ロジック検証装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2005083260A JP4614335B2 (ja) | 2005-03-23 | 2005-03-23 | 駅務機器の処理ロジック検証装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006268232A true JP2006268232A (ja) | 2006-10-05 |
JP4614335B2 JP4614335B2 (ja) | 2011-01-19 |
Family
ID=37204171
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2005083260A Active JP4614335B2 (ja) | 2005-03-23 | 2005-03-23 | 駅務機器の処理ロジック検証装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4614335B2 (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008097429A (ja) * | 2006-10-13 | 2008-04-24 | Jr East Mechatronics Co Ltd | 併用判定モジュール検証方法 |
JP2009026257A (ja) * | 2007-07-24 | 2009-02-05 | Omron Corp | 運賃計算検証用テストパターン生成装置 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0875491A (ja) * | 1994-09-08 | 1996-03-22 | Matsushita Electric Ind Co Ltd | 経路選出方法およびシステム |
-
2005
- 2005-03-23 JP JP2005083260A patent/JP4614335B2/ja active Active
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0875491A (ja) * | 1994-09-08 | 1996-03-22 | Matsushita Electric Ind Co Ltd | 経路選出方法およびシステム |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008097429A (ja) * | 2006-10-13 | 2008-04-24 | Jr East Mechatronics Co Ltd | 併用判定モジュール検証方法 |
JP2009026257A (ja) * | 2007-07-24 | 2009-02-05 | Omron Corp | 運賃計算検証用テストパターン生成装置 |
Also Published As
Publication number | Publication date |
---|---|
JP4614335B2 (ja) | 2011-01-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101930668B (zh) | 车牌识别的道路交通od信息采集系统的处理方法 | |
CN106672022B (zh) | 一种轨道交通联锁表生成方法及系统 | |
CN109760720B (zh) | 基于信号平面布置图自动生成接口码位表的方法及装置 | |
CN109598599A (zh) | 一种基于区块链的退税处理方法、装置及设备 | |
CN108012234A (zh) | 一种交通出行支付方法、系统、服务器及存储介质 | |
CN114005135A (zh) | 建设项目图纸智能审核方法、系统、设备及可读存储介质 | |
Liu et al. | On‐the‐fly and incremental technique for fault diagnosis of discrete event systems modeled by labeled petri nets | |
CN109657763A (zh) | 一种电子车票及电子车票的使用方法 | |
JP4614335B2 (ja) | 駅務機器の処理ロジック検証装置 | |
CN105678022B (zh) | 面向方面的联锁系统安全需求形式化建模及验证方法 | |
CN109740598A (zh) | 结构化场景下的目标定位方法及装置 | |
CN107451342A (zh) | 一种轨道交通信号系统基础数据的规则验证方法及装置 | |
CN114435433B (zh) | 一种验证自动触发进路冲突的方法及装置 | |
Maheshwary et al. | A methodology for calibration of vehicle class-wise driving behavior in heterogeneous traffic environment | |
Lorion et al. | Redesign of curricula in transit systems planning to meet data-driven challenges | |
Zhu et al. | Data fusion approach for evaluating route choice models in large-scale complex urban rail transit networks | |
CN106934864A (zh) | 铁路闸机 | |
JP2013193539A (ja) | 列車運行管理システムの試験パターン作成方法及び装置 | |
CN105260979A (zh) | 彩票序号生成方法 | |
CN110362981A (zh) | 基于可信设备指纹判断异常行为的方法及系统 | |
CN109783597A (zh) | 确定司机固定位置的方法、装置、电子设备、存储介质 | |
Börger et al. | Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings | |
CN109272085A (zh) | 基于云端数据的rfid智能工具管理系统 | |
Yu et al. | Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing | |
CN111949008B (zh) | 区域控制器的测试方法、装置、电子设备及存储介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20070327 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20091009 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20091202 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20100528 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100827 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20100903 |
|
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: 20101015 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20101015 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4614335 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131029 Year of fee payment: 3 |
|
S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131029 Year of fee payment: 3 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |