CN101915894B - 测试数字逻辑器件中实时有限状态机的方法 - Google Patents
测试数字逻辑器件中实时有限状态机的方法 Download PDFInfo
- Publication number
- CN101915894B CN101915894B CN2010102353813A CN201010235381A CN101915894B CN 101915894 B CN101915894 B CN 101915894B CN 2010102353813 A CN2010102353813 A CN 2010102353813A CN 201010235381 A CN201010235381 A CN 201010235381A CN 101915894 B CN101915894 B CN 101915894B
- Authority
- CN
- China
- Prior art keywords
- test
- value
- real
- time
- interval
- 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
Links
Images
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
Claims (5)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2010102353813A CN101915894B (zh) | 2010-07-22 | 2010-07-22 | 测试数字逻辑器件中实时有限状态机的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2010102353813A CN101915894B (zh) | 2010-07-22 | 2010-07-22 | 测试数字逻辑器件中实时有限状态机的方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101915894A CN101915894A (zh) | 2010-12-15 |
CN101915894B true CN101915894B (zh) | 2012-05-30 |
Family
ID=43323455
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2010102353813A Active CN101915894B (zh) | 2010-07-22 | 2010-07-22 | 测试数字逻辑器件中实时有限状态机的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101915894B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
TWI578004B (zh) * | 2015-03-25 | 2017-04-11 | 致茂電子股份有限公司 | 自動測試設備及方法 |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106970796A (zh) * | 2017-03-29 | 2017-07-21 | 四川长虹电器股份有限公司 | 基于状态机的冰箱主控软件设计方法 |
CN111143141B (zh) * | 2019-12-24 | 2023-07-25 | 广东嘉泰智能技术有限公司 | 一种状态机设置方法及系统 |
CN112363869B (zh) * | 2020-11-19 | 2022-03-01 | 中国核动力研究设计院 | 基于三状态变量有限状态机的核dcs回溯方法及系统 |
CN113608092A (zh) * | 2021-06-28 | 2021-11-05 | 臻驱科技(上海)有限公司 | 一种双脉冲测试系统 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0817048A1 (en) * | 1996-07-01 | 1998-01-07 | Sun Microsystems, Inc. | Method and system for testing software using a finite state machine |
EP1351147A2 (en) * | 2002-04-04 | 2003-10-08 | Broadcom Corporation | Method of generating a test suite |
CN1564489A (zh) * | 2004-04-19 | 2005-01-12 | 中兴通讯股份有限公司 | 一种通信系统有限状态机的测试方法 |
US7024589B2 (en) * | 2002-06-14 | 2006-04-04 | International Business Machines Corporation | Reducing the complexity of finite state machine test generation using combinatorial designs |
CN101266571A (zh) * | 2008-04-22 | 2008-09-17 | 中国科学院软件研究所 | 一种可信密码模块的测试用例生成方法及其测试系统 |
JP2008310663A (ja) * | 2007-06-15 | 2008-12-25 | Fujitsu Ltd | 仕様検証プログラム、該プログラムを記録したコンピュータに読み取り可能な記録媒体、仕様検証装置、および仕様検証方法 |
-
2010
- 2010-07-22 CN CN2010102353813A patent/CN101915894B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0817048A1 (en) * | 1996-07-01 | 1998-01-07 | Sun Microsystems, Inc. | Method and system for testing software using a finite state machine |
EP1351147A2 (en) * | 2002-04-04 | 2003-10-08 | Broadcom Corporation | Method of generating a test suite |
US7024589B2 (en) * | 2002-06-14 | 2006-04-04 | International Business Machines Corporation | Reducing the complexity of finite state machine test generation using combinatorial designs |
CN1564489A (zh) * | 2004-04-19 | 2005-01-12 | 中兴通讯股份有限公司 | 一种通信系统有限状态机的测试方法 |
JP2008310663A (ja) * | 2007-06-15 | 2008-12-25 | Fujitsu Ltd | 仕様検証プログラム、該プログラムを記録したコンピュータに読み取り可能な記録媒体、仕様検証装置、および仕様検証方法 |
CN101266571A (zh) * | 2008-04-22 | 2008-09-17 | 中国科学院软件研究所 | 一种可信密码模块的测试用例生成方法及其测试系统 |
Non-Patent Citations (3)
Title |
---|
刘波等.嵌入式实时操作系统选用的初步分析.《北方交通大学学报》.2000,第24卷(第5期),第105-108页. * |
李华伟等.有限状态机的行为阶段聚类及其对测试的应用.《中国科学(E辑)》.2002,第32卷(第6期),第846-860页. * |
袁军.一种基于状态机的数字逻辑系统的功能验证方法.《中国优秀硕士学位论文全文数据库》.2010,(第3期),第20-29页. * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
TWI578004B (zh) * | 2015-03-25 | 2017-04-11 | 致茂電子股份有限公司 | 自動測試設備及方法 |
Also Published As
Publication number | Publication date |
---|---|
CN101915894A (zh) | 2010-12-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101915894B (zh) | 测试数字逻辑器件中实时有限状态机的方法 | |
CN101458652B (zh) | 微控制器嵌入式在线仿真调试系统 | |
Hermanns et al. | The how and why of interactive Markov chains | |
CN103646104A (zh) | 一种强实时故障诊断方法及系统 | |
CN103744009A (zh) | 一种串行传输芯片测试方法、系统及集成芯片 | |
CN101788945A (zh) | 一种多电路板或多模块电子系统的诊断测试系统及方法 | |
CN109558649B (zh) | 一种面向宇航芯片的寄存器单粒子效应模拟仿真方法 | |
CN103376400A (zh) | 芯片测试方法及芯片 | |
EP2689335A1 (en) | System and method for verification and validation of redundancy software in plc systems | |
CN102541725B (zh) | 一种数控系统功能模块的仿真测试方法 | |
CN101206614B (zh) | 仿真特殊功能寄存器的仿真器 | |
CN110597745A (zh) | 一种交换机系统多主多从i2c通信实现方法和装置 | |
CN103631719A (zh) | 一种Web自动化测试方法和装置 | |
CN103376340A (zh) | 一种转接板、多平台串行测试系统及方法 | |
CN108959058B (zh) | 一种虚拟控制器的组态调试器实现方法 | |
US20090006068A1 (en) | Software executing device and co-operation method | |
CN105487971A (zh) | 一种软件测试中操作步骤记录和复现的方法及系统 | |
CN104298827A (zh) | 一种基于Petri网的异步电路建模和VHDL实现方法 | |
CN103890713A (zh) | 用于管理处理系统内的寄存器信息的装置及方法 | |
CN102183952B (zh) | 一种在plc中嵌入非致命故障诊断的方法 | |
Huang et al. | Modeling discrete event systems with faults using a rules-based modeling formalism | |
CN104615510B (zh) | 基于可编程器件的双模冗余容错方法 | |
CN100449498C (zh) | 数据储存装置 | |
CN116090380A (zh) | 数字集成电路验证的自动化方法及装置、存储介质和终端 | |
CN101980179B (zh) | 一种用于片上系统在线串行数据读写的方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
ASS | Succession or assignment of patent right |
Owner name: BEIJING JIAOTONG UNIVERSITY ASSET MANAGEMENT CO., Free format text: FORMER OWNER: BEIJING COMMUNICATION UNIV. Effective date: 20110808 |
|
C41 | Transfer of patent application or patent right or utility model | ||
TA01 | Transfer of patent application right |
Effective date of registration: 20110808 Address after: 100044 Beijing city Haidian District sorghum Bridge Street No. 44 Building Room 806 Applicant after: Beijing Jiaotong University Address before: 100044 Beijing city Haidian District Shangyuan Village No. 3 Applicant before: Beijing Jiaotong University |
|
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
ASS | Succession or assignment of patent right |
Owner name: BEIJING TRAFFIC CONTROL TECHNOLOGY CO., LTD. Free format text: FORMER OWNER: BEIJING JIAOTONG UNIVERSITY ASSET MANAGEMENT CO., LTD. Effective date: 20120810 |
|
C41 | Transfer of patent application or patent right or utility model | ||
COR | Change of bibliographic data |
Free format text: CORRECT: ADDRESS; FROM: 100044 HAIDIAN, BEIJING TO: 100070 FENGTAI, BEIJING |
|
TR01 | Transfer of patent right |
Effective date of registration: 20120810 Address after: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Patentee after: Beijing Traffic Control Technology Co., Ltd. Address before: 100044, room 44, science building, 806 Jiao Feng street, Haidian District, Beijing Patentee before: Beijing Jiaotong University |
|
C56 | Change in the name or address of the patentee | ||
CP01 | Change in the name or title of a patent holder |
Address after: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Patentee after: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. Address before: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Patentee before: Beijing Traffic Control Technology Co., Ltd. |
|
CP03 | Change of name, title or address |
Address after: 100070 Beijing science and Technology Park of Fengtai District Seahawks Hospital No. 6 2, No. 3 (Park) Patentee after: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. Address before: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Patentee before: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. |
|
CP03 | Change of name, title or address |