JPH0137771B2 - - Google Patents

Info

Publication number
JPH0137771B2
JPH0137771B2 JP59193001A JP19300184A JPH0137771B2 JP H0137771 B2 JPH0137771 B2 JP H0137771B2 JP 59193001 A JP59193001 A JP 59193001A JP 19300184 A JP19300184 A JP 19300184A JP H0137771 B2 JPH0137771 B2 JP H0137771B2
Authority
JP
Japan
Prior art keywords
test
language
svp
ras
program
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.)
Expired
Application number
JP59193001A
Other languages
English (en)
Japanese (ja)
Other versions
JPS6170641A (ja
Inventor
Shuko Asada
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.)
Fujitsu Ltd
Original Assignee
Fujitsu 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 Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP59193001A priority Critical patent/JPS6170641A/ja
Publication of JPS6170641A publication Critical patent/JPS6170641A/ja
Publication of JPH0137771B2 publication Critical patent/JPH0137771B2/ja
Granted legal-status Critical Current

Links

Landscapes

  • Debugging And Monitoring (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
JP59193001A 1984-09-14 1984-09-14 テストプログラム自動生成方法 Granted JPS6170641A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP59193001A JPS6170641A (ja) 1984-09-14 1984-09-14 テストプログラム自動生成方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP59193001A JPS6170641A (ja) 1984-09-14 1984-09-14 テストプログラム自動生成方法

Publications (2)

Publication Number Publication Date
JPS6170641A JPS6170641A (ja) 1986-04-11
JPH0137771B2 true JPH0137771B2 (enrdf_load_stackoverflow) 1989-08-09

Family

ID=16300558

Family Applications (1)

Application Number Title Priority Date Filing Date
JP59193001A Granted JPS6170641A (ja) 1984-09-14 1984-09-14 テストプログラム自動生成方法

Country Status (1)

Country Link
JP (1) JPS6170641A (enrdf_load_stackoverflow)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS63198133A (ja) * 1987-02-13 1988-08-16 Fujitsu Ltd 故障診断方式
JP2527354B2 (ja) * 1988-03-07 1996-08-21 富士通株式会社 テストプログラム自動生成方法

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS5985543A (ja) * 1982-11-08 1984-05-17 Fujitsu Ltd プログラム制御構造図の自動生成方式

Also Published As

Publication number Publication date
JPS6170641A (ja) 1986-04-11

Similar Documents

Publication Publication Date Title
CA1336206C (en) Diagnostic expert system
US6173440B1 (en) Method and apparatus for debugging, verifying and validating computer software
JPS5851292B2 (ja) 診断／デバツク計算システム
JP3825572B2 (ja) 半導体集積回路の設計検証装置、方法及び記憶媒体
US4108360A (en) Method of error analysis and diagnosis in electronic data processing systems
US6611924B1 (en) Reducing code size of debug output statements
KR100329253B1 (ko) 스캔테스트장치
JPH0137771B2 (enrdf_load_stackoverflow)
Schöpp et al. Requirements-based code model checking
Ousterhout Tcl/Tk Engineering Manual
EP1122660A2 (en) CPU core development support system, method for development support and recording medium storing a development support program thereof
JP2003058392A (ja) ソフトウェア開発環境プログラム、その記録媒体、プログラムデバッグ装置及びプログラムデバッグ方法
Chisolm et al. The use of computer language compilers in legacy code migration
KR100299623B1 (ko) 클라이언트 프로그램과 서버 프로그램의 통합 디버깅 방법
Taouil-Traverson et al. Preliminary analysis cycle for B-method software development
JPS62145174A (ja) デジタルパタ−ン発生装置
Almy et al. Using error latch trace to obtain diagnostic information
JP2001084162A (ja) プログラム試験方法及び記憶媒体
JPH04162149A (ja) 電子計算機
JPH05100857A (ja) 情報処理装置障害解析システム
JPH05197539A (ja) プログラムソースコードの整合方式
JPH0444292B2 (enrdf_load_stackoverflow)
JPH0357032A (ja) 計算機調整支援論理シミュレーション方法
JPH10283388A (ja) 論理検証装置
O'Connell Software for automatic testing using minicomputers