あるキーシーケンス駆動型ソフトウェアに対するテストキーシーケンスの自動生成
スポンサーリンク
概要
- 論文の詳細を見る
あるキーシーケンス駆動型の組み込みソフトウェアのテスト自動化を目指して、テスト用キーシーケンスを、代数記述された仕様から自動生成するプログラムを作成した。このプログラムは、テスト対象ソフトウェアに対して、機能別テストのためのテストキーシーケンスを生成することが出来る。
- 一般社団法人情報処理学会の論文
- 1996-03-06
著者
-
大西 荘一
岡山理科大学HORB研究会
-
吉田 勝彦
システムセンター・ナノ
-
大西 荘一
岡山理科大学総合情報学部情報科学科
-
呉 旻炳
同志社大学工学部
-
原田 等
同志社大学工学部知識工学科
-
冨岡 学
同志社大学工学部知識工学科
-
丹 茂
日本理工情報専門学校
-
大西 荘一
岡山理科大学
関連論文
- iHORBによる携帯電話-PC-赤外線搭載自販機間接続基盤の開発(モバイルサービス,サービス品質,一般)
- 2K5 LMS「MOMOTARO」に対するリバースエンジニアリング(学習支援環境(e-learning、blended学習),21世紀の教育改革の行方を探る)
- LMS「MOMOTARO」の移植性向上のための考慮 (ICTを活用した教育支援環境)
- D-15-44 2.4GHz帯無線LAN利用の遠隔教育
- 計算機科学実験による少人数情報教育
- 1D5 LMS 「MOMOTARO」における受講者の受講状況の把握と学習促進機能 : e-learningにおける教育の質保障のために(eラーニング,日本教育情報学会第23回年会)
- 1D4 LMS 「MOMOTARO」における管理の効率化(eラーニング,日本教育情報学会第23回年会)
- 2C1 加計グループのe-learningへの取り組み(e-Learning,日本教育情報学会第22回年会)
- 4C1 広域連携授業に対応したLMS「MOMOTARO V4」の開発(情報社会における教育の方法と評価(2),日本教育情報学会第22回年会)
- サイバーキャンパスにおける学習履歴データ活用のためのビューア「KIBIDANGO」の開発
- 2B5 対面講義とe-learningとを併用した講義での学生動向(教育効果の測定と評価(1),日本教育情報学会第23回年会)
- 対面講義とe-learning(LMS+VOD)とを併用した講義形式の実践と分析
- LMS「MOMOTARO」における教育の質保証
- 4D5 リメディアル教育におけるIT活用の試行事例 : 入門数学における授業支援システムの構築(大学教育(2),日本教育情報学会第22回年会)
- 3C6 対面講義とe-learningとを併用した講義形式の実践報告(情報社会における教育の方法と評価(1),日本教育情報学会第22回年会)
- 4A5 e-Learningコンテンツ作成を支援するオーサリングツール「Mamakari Tools」の開発について(教育システム(2),日本教育情報学会第22回年会)
- 3A4 iHORB+P2Pミドルウェアを用いた教育情報システムの提案(教育システム(1),日本教育情報学会第22回年会)
- 日本教育情報学会第22回年会の開催にあたって
- 加計グループ・サイバーキャンバスを支えるLMS「MOMOTARO」
- Web科学教材作成ツール--Mamakari
- インターネット遠隔授業による高大連携の広域化--岡山理科大学のe-Learningによる高大連携の取組 (特集・高大連携)
- 2D3 広域遠隔授業における Web システムの開発(教育データベース, 日本教育情報学会第21回年会)
- 2C2 HORB利用による手話学習支援システム「マスコットドリル」の開発(教育支援テクノロジー, 日本教育情報学会第21回年会)
- 1C3 インターネット利用による高大連携の仕組みと評価(e-learning, 日本教育情報学会第21回年会)
- 1A2 ユニバーサルデザインに対応したVOD教材の提案(教育情報の内容, 日本教育情報学会第21回年会)
- 2K6 サイバーキャンパスにおける学習履歴データの分析(学習支援環境(e-learning、blended学習),21世紀の教育改革の行方を探る)
- 学習履歴データの分析によるLMS「MOMOTARO」の機能改善とモバイル対応
- 3A5 サイバーキャンパスにおける学習履歴データの保存と活用(e-ラーニング,新しい教育の波)
- L_024 iHORB+P2Pミドルウェアを用いた災害情報システムの開発(L分野:ネットワークコンピューティング)
- 2K3 LMS「MOMOTARO」の移植性向上のための考慮((課題研究2)ICTを活用した教育支援環境,教育の原点に光を当てる〜乱流の中の本流を見出す〜)
- 2K4 大学研究室におけるプログラム共同開発の効果的な管理((課題研究2)ICTを活用した教育支援環境,教育の原点に光を当てる〜乱流の中の本流を見出す〜)
- iHORBによる携帯電話-PC-赤外線搭載自販機間接続基盤の開発(モバイルサービス,サービス品質,一般)
- インマルサット衛星通信を使用したネパール国への小児外科支援を目的とした遠隔医療実験とその実用化への課題について
- あるキーシーケンス駆動型ソフトウェアの自動生成について
- 組み込み型ソフトウェア用の印字フォーマットジェネレータの構成
- ある組み込み型ソフトウェアのテスト自動化のためのシミュレータの構成
- あるキーシーケンス駆動型ソフトウェアに対するテストキーシーケンスの自動生成
- キーシーケンス処理プログラムの自動生成
- 分散している学習コンテンツの管理モデルと大学教育への応用
- インターネットを利用した広域高大連携教育
- HTMLとJavaScriptによる指文字学習システムの開発
- インターネット利用遠隔教育による高大連携教育
- メトリクスによる組み込み型ソフトウエア開発の評価
- 変更容量を考慮した工数推定モデルII
- LMS「MOMOTARO」の移植性向上のための考慮
- インターネット利用遠隔授業による高大連携教育
- 国際環境専門家の育成における情報教育(日本教育情報学会第22回年会シンポジウム)
- 平成15年度TAOプロジェクト成果報告 インターネット利用遠隔授業による7高校との高大連携教育
- 平成13年度TAOプロジェクト成果報告 インターネット利用遠隔講義による高大連携教育
- ホームページ作成教育支援システム「極め」
- 産学共同による産業フィールド知識を活かした情報セキュリティ教育の実証と提言
- 平成12年度 岡山理科大TAOプロジェクト成果報告(一部) 2.4GHz帯無線LANによるキャンパス内「どこでも学習」基盤の構築
- ボランティア活動による実践的インターネット教育
- 3D6 LMS「MOMOTARO」ver9の仕様(一般研究 システム開発,教育情報のイノベーション〜デジタル世代をどう導くか〜)
- 3D1 LMS「MOMOTARO」のモバイル対応(一般研究 システム開発,教育情報のイノベーション〜デジタル世代をどう導くか〜)
- 1C6 情報セキュリティ教育実証を通じての産学連携による新たな試みと提言(課題研究 高等教育の改革と実践及び評価1,教育情報のイノベーション〜デジタル世代をどう導くか〜)
- MOMOTAROにおけるID認証の一元化 (日本教育情報学会第28回年会)
- 10B6 次世代における仮想化教室教育実現に向けたSNS有効利用の実証と方向性について(課題研究 教育システム開発とe-ラーニング)
- 10B3 MOMOTAROにおけるID認証の一元化(課題研究 教育システム開発とe-ラーニング)
- 9F03 WEBアプリケーションにおけるセキュリティ診断の検討(e-Learning,一般研究)
- 9F02 LMS「MOMOTARO」のリバースエンジニアリング(e-Learning,一般研究)
- 9F01 LMS「MOMOTARO」のモバイルe-Learning機能(e-Learning,一般研究)