JPS6170641A - テストプログラム自動生成方法 - Google Patents

テストプログラム自動生成方法

Info

Publication number
JPS6170641A
JPS6170641A JP59193001A JP19300184A JPS6170641A JP S6170641 A JPS6170641 A JP S6170641A JP 59193001 A JP59193001 A JP 59193001A JP 19300184 A JP19300184 A JP 19300184A JP S6170641 A JPS6170641 A JP S6170641A
Authority
JP
Japan
Prior art keywords
language
ras
test
svp
test 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.)
Granted
Application number
JP59193001A
Other languages
English (en)
Japanese (ja)
Other versions
JPH0137771B2 (enExample
Inventor
Chikako 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 true JPS6170641A (ja) 1986-04-11
JPH0137771B2 JPH0137771B2 (enExample) 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 (enExample)

Cited By (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 故障診断方式
JPH01226038A (ja) * 1988-03-07 1989-09-08 Fujitsu Ltd テストプログラム自動生成方法

Citations (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 プログラム制御構造図の自動生成方式

Patent Citations (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 プログラム制御構造図の自動生成方式

Cited By (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 故障診断方式
JPH01226038A (ja) * 1988-03-07 1989-09-08 Fujitsu Ltd テストプログラム自動生成方法

Also Published As

Publication number Publication date
JPH0137771B2 (enExample) 1989-08-09

Similar Documents

Publication Publication Date Title
Waters The programmer's apprentice: A session with KBEmacs
Orenes-Vera et al. Using llms to facilitate formal verification of rtl
O’Neill et al. The formal verification of safety-critical assembly code
JPS6170641A (ja) テストプログラム自動生成方法
Schöpp et al. Requirements-based code model checking
Ousterhout Tcl/Tk Engineering Manual
Engle et al. Software Maintenance Exercises for a Software Engineering Project Course
MacLennan The Synmac syntax macroprocessor: Introduction and manual, version 5
Hanes Logic design verification using static analysis
JP2004086545A (ja) データ項目の状態を管理することでプログラムを自動生成するプログラム開発支援システム
CN117555626B (zh) 基于Jenkins的硬件测试方法、电子设备和介质
JPH11154093A (ja) プログラムコンパイラ及びコンパイラ用プログラムを記録した記録媒体
JPH10312313A (ja) Ｃ言語の計算機プログラム検査処理方法およびプログラム記憶媒体
JPH05134854A (ja) ソフトウエア開発支援装置
Chisolm et al. The use of computer language compilers in legacy code migration
JP2728504B2 (ja) 入力命令文検査装置
Taouil-Traverson et al. Preliminary analysis cycle for B-method software development
JP2003058392A (ja) ソフトウェア開発環境プログラム、その記録媒体、プログラムデバッグ装置及びプログラムデバッグ方法
JPS62138932A (ja) コンパイラ処理方式
JPH04181326A (ja) ソースプログラムのコンパイル方法
JPH05197539A (ja) プログラムソースコードの整合方式
JPS62205435A (ja) ソ−スプログラムの翻訳、連係編集装置
JP2001154878A (ja) デバッグ用プログラム生成方法及び生成・実行方法
JP2001084162A (ja) プログラム試験方法及び記憶媒体
JPS58169637A (ja) コンパイル処理方式