23/04/21 1

skill-net （ MILESTONE CAI ，笈川他， 1982) ［ Fortran の課題選択など］

23/04/21 2

23/04/21 3

PROUST（ Johnson, W.L. & Soloway, E. ,1987)

• 初級 が書いたﾌﾟﾛｸﾞﾗﾏ Pascal を，ﾌﾟﾛｸﾞﾗﾑ

　課題記述 や 知識を用ﾗｲﾌﾞﾗﾘ ﾌﾟﾛｸﾞﾗﾐﾝｸﾞいて理解し，

バグ（誤り）があればバグ知識を用いてバグの発生箇所やバグの説明を行う

23/04/21 4

課題の例

• 正の実数値を入力し，入力した値の平均値を計算する Pascal プログラムを作成しなさい。

　　　但し，データの入力は「 99999 」が入力されたら終了すること。また，この「 99999 」は平均値の計算には含めないこと。

23/04/21 5

平均値を求めるプログラムの goal の例

• 値を入力する，但し，終了値 99999 が入力されたら終了する。

• 入力値が０以下ならば，再入力

• 平均値を計算

• 計算した平均値を出力

23/04/21 6

5 –5 99999 が入力されると，終了値である99999 がデータとして計算されてしまうプログ

ラム

23/04/21 7

平均値を求めるプログラムのゴールを用いた表現

23/04/21 8

goal ：値を入力する，但し，終了値 99999 が入力されたら終了する。

23/04/21 9

plan ：値を入力する，但し，終了値 99999 が入力されたら終

了する　 plan の一例

23/04/21 10

システム側の plan と一致するかを検査し，一致すればその plan が使用されたと判断する。

（使用された plan とその構成が作成者の考え）

23/04/21 11

Bug ルールの例

(Defile WHILE-for-IF

Statement-Type IF

Error-Pattern (IF WHILE) ←IF を WHILE で置き換えるとPlan が正しく動作する

Bug (WHILE-for-IF-Confusion (FoundStmt, *MRet*)

(Histlnst, *HistoryNode*)))

←　 HistoryNode ：どういう状態で発生したか

23/04/21 12

学習者作成のプログラムを理解するために

(a) 　プログラミング言語の文法（構文）

(b) 技能：　　　　プログラムの概念と文との関係（構造）

［構成要素，従属，困難さ・複雑さ（複合度））

(c) プログラムの構成や誤り　　　求めるプログラムを構成するサブ・ゴールとそ

の実現方法，誤りのルール　　　実現方法は，例えば， 「終了値制御の入力」の

方法（手続きのパターンと考えると良いかも）(d) 　 ???

23/04/21 13

次のプログラムはどの様な知識が使われているか

考えて下さい。

#include <stdio.h>

Void main(){

int a,b;

scanf(“%d”, &a);

b=a+2;

printf(“b=%d\n”, b);

}

23/04/21 14

文字式での誤り原因系の階層構造