CN101533367A - 分析程序错误的方法及其判读数据的制作方法 - Google Patents
分析程序错误的方法及其判读数据的制作方法 Download PDFInfo
- Publication number
- CN101533367A CN101533367A CN200810085426A CN200810085426A CN101533367A CN 101533367 A CN101533367 A CN 101533367A CN 200810085426 A CN200810085426 A CN 200810085426A CN 200810085426 A CN200810085426 A CN 200810085426A CN 101533367 A CN101533367 A CN 101533367A
- Authority
- CN
- China
- Prior art keywords
- identifier
- handling procedure
- usb
- symbol
- subroutine
- 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
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (10)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2008100854266A CN101533367B (zh) | 2008-03-14 | 2008-03-14 | 分析程序错误的方法及其判读数据的制作方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2008100854266A CN101533367B (zh) | 2008-03-14 | 2008-03-14 | 分析程序错误的方法及其判读数据的制作方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101533367A true CN101533367A (zh) | 2009-09-16 |
CN101533367B CN101533367B (zh) | 2011-08-24 |
Family
ID=41103984
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2008100854266A Expired - Fee Related CN101533367B (zh) | 2008-03-14 | 2008-03-14 | 分析程序错误的方法及其判读数据的制作方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101533367B (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103383566A (zh) * | 2013-06-24 | 2013-11-06 | 奇瑞汽车股份有限公司 | 一种程序流监控方法 |
CN111045874A (zh) * | 2019-10-31 | 2020-04-21 | 北京航天自动控制研究所 | 一种测发控软件模型化解决流程步数据判读的通用方法 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
TW468104B (en) * | 1999-11-24 | 2001-12-11 | Inventec Corp | Method and device for displaying BIOS debug code |
KR100574662B1 (ko) * | 2004-09-23 | 2006-04-28 | 엘지전자 주식회사 | 소오스프로그램 추적기능이 구비된 이동통신단말기 및 그제어방법 |
-
2008
- 2008-03-14 CN CN2008100854266A patent/CN101533367B/zh not_active Expired - Fee Related
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103383566A (zh) * | 2013-06-24 | 2013-11-06 | 奇瑞汽车股份有限公司 | 一种程序流监控方法 |
CN103383566B (zh) * | 2013-06-24 | 2015-10-28 | 奇瑞汽车股份有限公司 | 一种程序流监控方法 |
CN111045874A (zh) * | 2019-10-31 | 2020-04-21 | 北京航天自动控制研究所 | 一种测发控软件模型化解决流程步数据判读的通用方法 |
CN111045874B (zh) * | 2019-10-31 | 2023-05-12 | 北京航天自动控制研究所 | 一种测发控软件模型化解决流程步数据判读的通用方法 |
Also Published As
Publication number | Publication date |
---|---|
CN101533367B (zh) | 2011-08-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20180357146A1 (en) | Completing functional testing | |
Park et al. | BLoG: Post-silicon bug localization in processors using bug localization graphs | |
CN102054100B (zh) | 一种基于静态分析的rtl设计错误检测方法和系统 | |
CN102053906A (zh) | 用于收集程序运行时信息的系统和方法 | |
US20050028146A1 (en) | Systems and methods for software and firmware testing using checkpoint signatures | |
US7373550B2 (en) | Generation of a computer program to test for correct operation of a data processing apparatus | |
US8065565B2 (en) | Statistical debugging using paths and adaptive profiling | |
CN114238980B (zh) | 一种工控设备漏洞挖掘方法、系统、设备及存储介质 | |
Jee et al. | FBDVerifier: Interactive and visual analysis of counter-example in formal verification of function block diagram | |
Bogdanov et al. | Testing methods for X-machines: a review | |
CN101533367B (zh) | 分析程序错误的方法及其判读数据的制作方法 | |
Heitmeyer | Applying practical formal methods to the specification and analysis of security properties | |
US10546080B1 (en) | Method and system for identifying potential causes of failure in simulation runs using machine learning | |
Munson et al. | Software faults: A quantifiable definition | |
JP4477054B2 (ja) | 反例解析支援装置 | |
Pintard et al. | From safety analyses to experimental validation of automotive embedded systems | |
CN109857583B (zh) | 一种处理方法及装置 | |
TW200415461A (en) | Program debugging method | |
Li et al. | Board-level Functional Test Selection Based on Fault Tree Analysis | |
Khoroshilov et al. | Verification of Operating System Components | |
von Bochmann et al. | Testing k-safe petri nets | |
JP4253056B2 (ja) | テスト装置、テストケース評価装置、およびテスト結果解析装置 | |
Cai | Coverage-based testing strategies and reliability modeling for fault-tolerant software systems | |
CN113268431B (zh) | 一种rpa机器人软件的学习方法 | |
Solt et al. | RemembERR: Leveraging Microprocessor Errata for Design Testing and Validation |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right |
Effective date of registration: 20170811 Address after: Floor 8, sunshine times, Fenghuang Avenue, Shangrao County, Jiangxi, Shangrao province 805 Co-patentee after: Zhang Kaijun Patentee after: Jiangxi union Speed Technology Co.,Ltd. Address before: Qingnian Road Taiwan Wanhua District of Taipei city China No. 184 3 2 floor Patentee before: Fucheng International Machinery Co.,Ltd. Effective date of registration: 20170811 Address after: Qingnian Road Taiwan Wanhua District of Taipei city China No. 184 3 2 floor Patentee after: Fucheng International Machinery Co.,Ltd. Address before: China Shilin District after the Hong Kong Taiwan North Street No. sixty-six Patentee before: Yingda Co.,Ltd. |
|
TR01 | Transfer of patent right | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20110824 Termination date: 20180314 |
|
CF01 | Termination of patent right due to non-payment of annual fee |