(Microsoft PowerPoint - JaSST 10 LT\(\203e\203X\203g\201E\203q\203X\203g\203\212\201[\) ppt)
|
|
|
- ともひろ ちゃわんや
- 5 years ago
- Views:
Transcription
1 JaSST 10 Tokyo ライトニングトークス カバーフローで見る 5 分間ソフトウェアソフトウェアテスト ヒストリー 辰巳敬三 2010 年 1 月 28 日 1
2 ソフトウェアテスト ヒストリー ソフトウェア テスト PRESS 2
3 ソフトウェアテスト ヒストリー コラム番外編 : テスト書籍カバ書籍カバーギャラリー 洋書のアートワークが COOL! 音楽雑誌のようにしたい! 残念ながらモノクロ orz 3
4 でリベンジリベンジリベンジリベンジリベンジリベンジリベンジリベンジ! というわけでカバーフロー カバーフローです (^^;) ちゃってカバーフローです でも なんちゃって 4
5 コンピュータの原型 始める前に : 前史 Charles Babbage( 英国 ) の 解析機関 1837 年に設計を開始 ( 完成には至らず ) 最初のプログラマー Ada Byron, Lady Lovelace 解析機関のプログラムを作成 (1843 年 ) 最初のテスターは? テストやデバッグの最初の議論は Ada のメモに遡る (Boris Beizer) 5
6 始める前に : 最初の電子計算機 最初の電子計算機 ABC (Atanasoff-Berry Computer), 1939 年 米国アイオワ州立大学の Atanasoff と Berry が開発 ENIAC (Electronic Numerical Integrator and Computer), 1946 年 米国ペンシルバニア大学の Eckert と Mauchly が開発 最初のプログラム内蔵型プログラム内蔵型コンピュータ EDSAC (Electronic Delay Storage Automatic Calculator), 1949 年 英国ケンブリッジ大学の Wilkes らが開発 6
7 始める前に : テストの考え方の変遷 論証指向 1. の時代 ( 1956 年 ) 2. 論証指向の時代 (1957 年 1978 年 ) 3. の時代 (1979 年 1982 年 ) 4. の時代 (1983 年 1987 年 ) 5. の時代 (1988 年 ) [ 出典 ] D. Gelperin and W. Hetzel, "The Growth of Software Testing," 1988 それでは カバーフローのはじまり 7
8 1. の時代 ( 年 ) EDSAC 論証指向 デバッグとテストの区別がなかった時代 McCracken, "Digital Computer Programming," 1957 ( 最も初期のプログラミング教科書 ) Program Checkout の章でデバッグやテストを説明
9 2. 論証指向の時代 ( (1957 年 1978 年 ) 1957 論証指向論証指向 デバッグとテストを区別すべき Baker, "Digital Computer Programming" の書評, 1957 テストはプログラムが仕様を満足していることを提示するためのもの
10 2. 論証指向の時代 ( (1957 年 1978 年 ) 1970 論証指向論証指向 テスト技術 テストプロセスの萌芽 IBM 社の Elmendorf のテスト制御プロセス (IBM OS/360) "Controlling the functional testing of an operating system," 1969 Debugging Techniques in Large Systems Sympo., 1970
11 2. 論証指向の時代 ( (1957 年 1978 年 ) 1973 論証指向論証指向 テストに関する最初の書籍 Hetzel(Ed.), "Program Test Methods," 1973 最初のテストのシンポジウム (1972 年 6 月 ) の論文集 The Computer Program Test Methods Symposium
12 2. 論証指向の時代 ( (1957 年 1978 年 ) 1975 論証指向論証指向 ソフトウェアエンジニアリング国際会議の開始 International Conference on Reliable Software, 1975 National Conference on Software Engineering, 1975 International Conference on Software Engineering, 1976
13 2. 論証指向の時代 ( (1957 年 1978 年 ) 1977 論証指向論証指向 テスト技術の研究の拡大 Miller, "Tutorial: Program Testing Techniques," 1977 テストに関する参考文献数は 400 件以上 Miller は 1975 年ころに C0,C1,C2, カバレッジを提案
14 3. の時代 ( (1979 年 1982 年 ) 1979 論証指向 破壊指向 テストの成功とはエラーを見つけること Myers, "The Art of Software Testing," 1979 テストとは エラーをみつけるつもりでプログラムを実行する過程
15 4. の時代 ( (1983 年 1987 年 ) 1983 論証指向 評価指向 ライフサイクルを通じた評価活動の中にテストが位置付けられた FIPS 101 ( 米国標準局 (NBS) 規格 ), 1983 "Guideline for Lifecycle Validation, Verification, and Testing of Computer Software"
16 4. の時代 ( (1983 年 1987 年 ) 1983 論証指向 評価指向 テストの文書に関する最初の規格 IEEE Std Software Test Documentation
17 4. の時代 ( (1983 年 1987 年 ) 1983 論証指向 評価指向 Beizer のソフトウェアテスト技法の第一版 Software Testing Techniques, 1983 Software System Testing and Quality Assurance, 1984
18 5. の時代 ( (1988 年 ) 1988 論証指向 ソフトウェアライフサイクルと並行して進められる予防の指向のテストテストプロセス Hetzel, "The Complete Guide to Software Testing," 1988 テスト方法論 STEP, W モデル につながる考え方
19 5. の時代 ( (1988 年 ) 1990 論証指向 Beizer のテスト 道 のテスト 道 ( 電通大 西先生の命名 ) Beizer, "Software Testing Techniques 2nd Ed.," 1990 フェーズ 4 : テストは行動ではない テストをしないで品質の高いソフトウェアを作るための精神的な訓練である
20 5. の時代 ( (1988 年 ) 1999 論証指向 Kaner, et.al, "Testing Computer Software 2nd Ed." テスト技術者交流会 ( 訳 ) 基本から学ぶソフトウェアテスト 2001 TEF 有志が最初に翻訳したテスト書籍
21 この先は? 論証指向 みなさんがつくっていく時代 歴史を学び 歴史に学び 歴史をつくっていきましょう ご静聴ありがとうございました 21
2016 10 31 1. 1.1 20 1 1993 20 2 2 1 industrial society 2 2 169 2014 3 1.2 4 5 6 3 1.3 4 5 1973 6 170 7 8 9 7 ISO/IEC 9126 11 8 1 9 ABS ABS ABS ABS 171 2. 2.1 1960 10 11 12 13 10 1964 IBM S/360 11 16 FORTRAN
ICST 2017の歩き方
Ques ~ 冬の増刊号 ~ ICST 2017 の歩き方 ~ 歴史 開催概要 聴きどころ Who's Who ~ 辰巳敬三 2017 年 1 月 20 日 ICST 2017 Social Networking Chair 1 自己紹介 経歴 1976 年富士通入社 ソフトウェア事業部検査部 ~1990 年メインフレーム OS の製品検査 品質保証 ~1999 年 UNIX/PC のソフトウェア製品の検査
<4D F736F F F696E74202D208D E9197BF2D8FBC94F6924A2E B8CDD8AB B83685D>
JaSST 09 九州 09.11.12 テスト デバッグのトレンド : 過去 40 年から近未来へ ~ テストへの期待と変化 ~ DebugEng デバッグ工学研究所 http://www.debugeng.com/ 松尾谷徹博士 法政大講師 目次 1. デバッグの始まり 2. 私のデバッグ遍歴 3. テストのトレンドと課題 4. 近未来に向けてその 1 5. 近未来に向けてその2 2 テスト デバッグのトレンド
再利用アセスメント 計画 実行及び制御 レビュー及び評価ソフトウェアの再利用を行う組織では 再利用施策管理者 という人が位置づけされることになっており このプロセスはその人が組織の中で再利用を実施するために行うべき作業を定義したものである 再利用資産管理プロセス の目的は 構想から廃止までの再利用資
第 35 章ソフトウェアの再利用 ソフトウェアの再利用 の定義 ISO と IEC それに IEEE が共同で作成した 用語集 (Vocabulary) についての規格 1(ISO /IEC/IEEE 24765:2010) では 再利用 (Reuse) は次のように定義されている [ISO10a] ( 翻訳は筆者 ) 1. 別の問題の解決の中でのある資産の使用 (IEEE Std 1517-1999
Microsoft PowerPoint - DO-178C満たすべきObjectivesとツール資格A.pptx
RTCA/DO-178C の詳細 ~ 満たすべき Objectives とツール資格について ~ 平成 5 年 1 月 6 日 MHIエアロスペースシステムズ株式会社 -1- 1.1 概要 DO-178C とは そのタイトルが Software Considerations in Airborne Systems and Equipment Certification であり RTCA( 航空無線技術委員会
アセンブラ入門（CASL II） 第３版
CASLDV i COMET II COMET II CASL II COMET II 1 1 44 (1969 ) COMETCASL 6 (1994 ) COMETCASL 13 (2001 ) COMETCASL COMET IICASL II COMET IICASL II CASL II 2001 1 3 3 L A TEX 2 CASL II COMET II 6 6 7 Windows(Windows
日立評論2007年3月号 : ソフトウェア開発への
Vol.89 No.3 298-299 Application of Statistical Process Control to Software Development Mutsumi Komuro 1 23 1985 ACM IEEE 1 195QC Quality Control 1 2 CMM Capability Maturity Model CMMI Capability Maturity
過去問セミナーTM
ALTM 過去問題解説 May 22, 2017 JSTQB Technical Committee 委員長谷川聡 Agenda 試験問題の出題について K2 TM-4.4.1 欠陥マネジメント K3 TM-2.7.2 テストマネジメント K4 TM-2.3.3 テストマネジメント 勉強を進めていくにあたって 2 試験問題の出題について 学習の目的 (L.O) に従ってシラバスのそれぞれの課題を試験する
日経ビジネス Center 2
Software Engineering Center Information-technology Promotion Agency, Japan ソフトウェアの品質向上のために 仕様を厳密に 独立行政法人情報処理推進機構 ソフトウェア エンジニアリング センター 調査役新谷勝利 Center 1 日経ビジネス 2012.4.16 Center 2 SW 開発ライフサイクルの調査統計データ ソフトウェア産業の実態把握に関する調査
Microsoft PowerPoint - Wmodel( ) - 配布用.pptx
SEA SPIN Meeting May 2012 配布用 W モデル 2012/06/08 1 2 はじめに 3 目次 4 メモ 5 W モデルって 何ですか? 6 現在の状況 7 現在の状況 8 現在の状況 9 W モデルの定義 10 Andreas Spillner の W モデル Requirements Executing Accept. Tests Specification Executing
untitled
42 Program of the 42 nd Aircraft Symposium 16 10 6 8 3 JR 12 5,000 2,000 8,000 4,000 CD-ROM 3,000 (1) (2) (3) JJ ) (4) 10 69 59 16 10 7 17:2019:20 5,000 http://jsass.or.jp/uacftcom/aircraft/ International
2
Copyright 2008 Nara Institute of Science and Technology / Osaka University 2 Copyright 2008 Nara Institute of Science and Technology / Osaka University CHAOS Report in US 1994 http://www.standishgroup.com/sample_research/
1 1 CodeDrummer CodeMusician CodeDrummer Fig. 1 Overview of proposal system c
CodeDrummer: 1 2 3 1 CodeDrummer: Sonification Methods of Function Calls in Program Execution Kazuya Sato, 1 Shigeyuki Hirai, 2 Kazutaka Maruyama 3 and Minoru Terada 1 We propose a program sonification
1 2 3 4 5 1 1 136 2 137 2 1 1 138 2 1 2 139 140 141 142 3 143 3 144 145 4 1 2 146 3 4 147 5 1 2 3 148 1 2 149 3 5 1 2 150 3 151 1 152 2 153 6 1 2 154 3 155 4 1 156 2 3 4 5 157 7 1 2 3 4 158 5 159 6 8 1
1 1 2 2 2.1 4 2.2 4 2.3 5 3 MFP 3.1 MFP 7 3.2 MFP 9 3.3 MFP 10 3.4 11 3.5 13 4 4.1 16 4.2 17 5 5.1 20 5.2 20 5.3 22 6 6.1 35 6.2 35 6.3 35
1 1 2 2 2.1 4 2.2 4 2.3 5 3 MFP 3.1 MFP 7 3.2 MFP 9 3.3 MFP 10 3.4 11 3.5 13 4 4.1 16 4.2 17 5 5.1 20 5.2 20 5.3 22 6 6.1 35 6.2 35 6.3 35 () () () () () () () () () () () () () () () () () () () () ()
Copyright Compita Japan ISO33k シリーズとは? これまで使用されてきたプロセスアセスメント標準 (ISO/IEC 本稿では以降 ISO15504 と略称する ) は 2006 年に基本セットが完成し 既に 8 年以上が経過しています ISO
新アセスメント規格 ISO 33K シリーズの概要 2015 年 4 月 9 日 コンピータジャパン Copyright Compita Japan 2015 2 ISO33k シリーズとは? これまで使用されてきたプロセスアセスメント標準 (ISO/IEC 15504 - 本稿では以降 ISO15504 と略称する ) は 2006 年に基本セットが完成し 既に 8 年以上が経過しています ISO15504
取扱説明書
ED-601 ED-501 ED-401 2 3 4 23 14 5 6 18 10 7 1 2 6 3 4 8 9 16 16 16 12 1 2 18 10 2 1 5 12 11 1 2 1 2 12 1 2 13 16 14 3 2 4 1 1 2 16 3 4 18 15 1 2 16 2 3 1 1 2 3 18 17 18 22 19 D A C 20 A B 22 B C D 22
![.V...z.\](/thumbs/40/20575037.jpg ".V...z.\")
一般電気工学第二
1 電子情報工学基礎 第 1 回 コンピュータの歴史と アーキテクチャの基礎 2 コンピュータとは Compute: 計算する Computer: 電子計算機 ( 元々は計算をする人を指す ) 紀元前 3000 年頃古代バビロニアで数字が誕生, 十進法が定められる. 3 計算する機械 算盤,Abacus 1617 年にネピアによる対数の理論, 計算尺の原型の発明 歯車式のパスカリーヌ計算機 ライプニッツの横型ドラム方式の回転計算機
情報分野のアクセシビリティ標準について
情報分野のアクセシビリティ標準について 経済産業省国際電気標準課 小出啓介 Agenda 1. 障害者白書 2. JTC 1/SC 35 で開発しているアクセシビリティ関連規格の紹介 3. 映像字幕事業 (ISO/IEC 20071-23) の取り組みの紹介 4. JIS X 8341-3 の改正について 5. Web Accessibility, BSI Code of Practice 規格の開発と国内対応について
ソフトウェアテストプロセスに関する一考察 － Ｖ ⇒ Ｗ ⇒ Ｖ３ －
ソフトウェアテストプロセスに関する一考察ー V W V3 W ー 小川秀人 ( 株式会社日立製作所 ) ソフトウェアテストシンポジウム 2007 東京 2007 年 1 月 30 日 モチベーション 自己紹介 ( 主に ) 大規模組込みソフトウェアを対象とした開発技術の研究 開発プロセス, アーキテクチャ, コーディング, テスト 種々の製品やプロジェクトに対して技術開発 導入 問題意識 違う組織に行くと,
26 2 3 4 5 8 9 6 7 2 3 4 5 2 6 7 3 8 9 3 0 4 2 4 3 4 4 5 6 5 7 6 2 2 A B C ABC 8 9 6 3 3 4 4 20 2 6 2 2 3 3 4 4 5 5 22 6 6 7 7 23 6 2 2 3 3 4 4 24 2 2 3 3 4 4 25 6 2 2 3 3 4 4 26 2 2 3 3 27 6 4 4 5 5
mogiJugyo_slide_full.dvi
a 2 + b 2 = c 2 (a, b, c) a 2 a 2 = a a a 1/ 78 2/ 78 3/ 78 4/ 78 180 5/ 78 http://www.kaijo.ed.jp/ 6/ 78 a, b, c ABC C a b B c A C 90 a 2 + b 2 = c 2 7/ 78 C a b a 2 +b 2 = c 2 B c A a 2 a a 2 = a a 8/
1 2 3 4 5 6 X Y ABC A ABC B 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 13 18 30 P331 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 ( ) 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
P072-076.indd
3 STEP0 STEP1 STEP2 STEP3 STEP4 072 3STEP4 STEP3 STEP2 STEP1 STEP0 073 3 STEP0 STEP1 STEP2 STEP3 STEP4 074 3STEP4 STEP3 STEP2 STEP1 STEP0 075 3 STEP0 STEP1 STEP2 STEP3 STEP4 076 3STEP4 STEP3 STEP2 STEP1
1
1 2 3 4 5 6 7 8 9 0 1 2 6 3 1 2 3 4 5 6 7 8 9 0 5 4 STEP 02 STEP 01 STEP 03 STEP 04 1F 1F 2F 2F 2F 1F 1 2 3 4 5 http://smarthouse-center.org/sdk/ http://smarthouse-center.org/inquiries/ http://sh-center.org/
STEP1 STEP3 STEP2 STEP4 STEP6 STEP5 STEP7 10,000,000 2,060 38 0 0 0 1978 4 1 2015 9 30 15,000,000 2,060 38 0 0 0 197941 2016930 10,000,000 2,060 38 0 0 0 197941 2016930 3 000 000 0 0 0 600 15
SEJulyMs更新V7
1 2 ( ) Quantitative Characteristics of Software Process (Is There any Myth, Mystery or Anomaly? No Silver Bullet?) Zenya Koono and Hui Chen A process creates a product. This paper reviews various samples
Microsoft PowerPoint - A3② JaSST_MISRA2004ソースコード品質診断.ppt
ISO/IEC9126 & MISRA-C:2004 ベースソースコード品質診断 ~ MISRA-C:2004 ベース品質診断のご紹介 ~ 株式会社東陽テクニカソフトウェア ソリューション MISRA とは Motor Industry Software Reliability Association の略 ヨーロッパ自動車技術会 (MIRA) の下部組織 MIRA: Motor Industry
PARTⅢ 検証事例 2. トレーサビリティ管理の自動化に踏み切った理由や経緯 (1) 国際スタンダード認証に関する課題 ISO DO-178B/C IEC などの国際スタンダードでは 開発工程全般にわたって要件が満たされていること ( システムの正しい要件が 正しい方法で
先進的な設計 検証技術の適用事例報告書 2015 年度版 PARTⅢ 検証事例 SEC-2015-B-3-01 15-B-3 国際スタンダード認証に求められる 要件から検証結果までのトレーサビリティ管理 の効率化の取組み 1 1. 概要 安全性が求められるシステムのソフトウェアに対する規格である ISO 26262( 自動車安全規格 ) DO-178B/C( 航空システムや装置の安全規格 ) IEC
スライド 1
ライフサイクルプロセスに関する国際標準とソフトウェアファクトリ ISO/IEC 15288, ISO/IEC 12207, INCOSE Handbook and IEEE Std 1517 松本吉弘 工学博士 ; IEEE Life Fellow 京都高度技術研究所 All Rights Reserved Yoshihiro Matsumoto; 2007 1 対象とした国際標準 IEEE Std
はじめに ： ご提案のポイント
4. 組織へのフォーマルメソッドの導入方法 本章では フォーマルメソッドを組織に導入する際の障害を解決するための手順やポイントを 示す 本章の概要は以下の通りである 対象読者目的想定知識得られる知見等 (1) ベンダー上級管理者 (2) 開発プロジェクト管理者 (3) 開発技術者 等フォーマルメソッドを組織に導入する際の作業プロセス ( 導入プロセス ) と導入のポイントについて整理する さらに導入検討の際に有用と思われる情報源
スライド 1
計算機構成論 II 第 1 回 ( 全 15 回 ) 2017 年 10 月 5 日 ( 木 ) 知能情報工学科 横田孝義 1 授業計画 10/6 10/12 10/19 10/28 11/2 11/9 11/16 11/21 12/7 12/14 12/21 1/11 1/18 1/25 2/1 2/8 定期テスト 2 テキスト 朝倉書院尾内理紀夫著 ISBN978-4-254-12701-0 C3341
IPSJ SIG Technical Report Vol.2018-SE-200 No /12/ Proposal of test description support environment for request acquisition in web appli
1 1 1 2 Proposal of test description support environment for request acquisition in web application development Nakaji Yoshitake 1 Choi Eunjong 1 Iida Hajimu 1 Yoshida Norihiro 2 1. 1 ( ) 1 Nara Institute
sg_lenovo_sw.xlsx
Lenovo ソフトウェア 製 品 & IBM OEM ソフトウェア 製 品 ガイド System Guide (PAE) Lenovo Enterprise Solustions Software 1/17 Lenovo Enterprise Solustions Software 2/17 Lenovo XClarity Administrator/XClarity Pro 3/17 4/17
毎日の勉学に励んでください カリキュラムの特徴 私たちの情報工学科の英語名は Department of Computer Science and Systems Engineering です この英語名からわかるように 私たちの情報工学科では コンピュータ自体だけを学ぶのでは なく コンピュータを核にした情報システムについても学びます したがって コンピュータのハー ドウエアとソフトウェアに関する理論と技術の他に
PowerPoint プレゼンテーション
MATLAB 2008 5 22 Quick history - Cleve Moler s original MATLAB program Quick history The MathWorks in 1984 Cleve Moler Jack Little MATLAB/Simulink MATLAB 80 / MATLAB Toolbox 100 Simulink Blockset Stateflow
スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構
スキル領域と (8) ソフトウェアデベロップメント スキル領域と SWD-1 2012 経済産業省, 独立行政法人情報処理推進機構 スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD-2 2012 経済産業省, 独立行政法人情報処理推進機構 専門分野 ソフトウェアデベロップメントのスキル領域 スキル項目 職種共通スキル 項目 全専門分野 ソフトウェアエンジニアリング Web アプリケーション技術
JaSST'17 Tohoku_基調講演
テストの極みを目指して ~ さあ 理想に近づくための一歩を踏み出そう!~ JaSST'17 Tohoku 2017 年 05 月 26 日 YAMASAKI Takashi 山﨑崇 @yamasaki696 株式会社ベリサーブ http://jp.freeimages.com/photo/soccer-2-1430279 改めてソフトウェアテストについて考えて見よう https://www.pakutaso.com/2015104928945srtfghd.html
PowerPoint
2011 12 6PTC Live TechForum TOKYO manji@rd.denso.co.jp 1/ 52 1949 12 16 1,874 ( ) 1 9,457 3 1,315 ( ) 38,318 123,165 ( ) 2011 3 31 Gr. Gr. Gr. Gr. Gr. PF 2/ 52 1 2 3 4PMT 5 Integrity 6 7 8 1/2 3/ 52 OEM
EURAMET EURAMET/cg-15/v.01 "Guidelines on the Calibration of Digital Multimeters" EURAMET e.v. "General Conditions for the translation of EURAMET publ
JAB RL508-2010 20100405 2010-04-05-1/22-0 2010-04-05 EURAMET EURAMET/cg-15/v.01 "Guidelines on the Calibration of Digital Multimeters" EURAMET e.v. "General Conditions for the translation of EURAMET publications"
Microsoft PowerPoint - 11Web.pptx
計算機システムの基礎 ( 第 10 回配布 ) 第 7 章 2 節コンピュータの性能の推移 (1) コンピュータの歴史 (2) コンピュータの性能 (3) 集積回路の進歩 (4) アーキテクチャ 第 4 章プロセッサ (1) プロセッサの基本機能 (2) プロセッサの構成回路 (3) コンピュータアーキテクチャ 第 5 章メモリアーキテクチャ 1. コンピュータの世代 計算する機械 解析機関 by
13金子敬一.indd
1 1 Journal of Multimedia Aided Education Research, 2004, No. 1, 115122 ED21 1 2 2 WWW 158 34 Decker 3 ED21 ED21 1 ED21 1 CS 1 2 ED213 4 5 ED21 ED21 ED21 ED9900 9 EL21 EE21 EC21 ED9900 JavaApplet JavaApplet
テスト設計スキル評価方法の提案と実践事例
ソフトウェアテストシンポジウム 2014 東京 テスト設計スキル評価方法の提案と実践事例 2014 年 3 月 7 日株式会社 NTT データ技術開発本部プロアクティブ テスティング COE 町田欣史 Copyright 2014 NTT DATA Corporation 自己紹介 町田欣史 ( まちだよしのぶ ) 所属株式会社 NTTデータ技術開発本部プロアクティブ テスティングCOE - テストプロセス
プログラミング基礎
C プログラミング Ⅰ 授業ガイダンス C 言語の概要プログラム作成 実行方法 授業内容について 授業目的 C 言語によるプログラミングの基礎を学ぶこと 学習内容 C 言語の基礎的な文法 入出力, 変数, 演算, 条件分岐, 繰り返し, 配列,( 関数 ) C 言語による簡単な計算処理プログラムの開発 到達目標 C 言語の基礎的な文法を理解する 簡単な計算処理プログラムを作成できるようにする 授業ガイダンス
平成26年度 学生要覧
Department of Mechanical Engineering Department of Electrical and Electronic Systems Department of System Information Engineering Department of Biotechnology and Environmental Engineering Department of
1,.,. 1,,. Wikipedia,..,.,.
1,.,. 1,,. Wikipedia,..,.,. 2 1 6 1.1........................................... 6 1.2.......................................... 6 1.3........................................... 6 1.4.........................................
Microsoft Word SHARE-ws-v10.docx
関係者各位 2017 年 3 月吉日 2017 SHARE ワークショップ のご案内 ( 第一報 ) Japan CDISC Coordinating Committee 拝啓時下ますますご清栄のこととお喜び申し上げます 今般 2017 CDISC Japan Interchange Conference に先立ち SHARE(Shared Health And Research Electronic
Using VectorCAST/C++ with Test Driven Development
ホワイトペーパー V2.0 2018-01 目次 1 はじめに...3 2 従来型のソフトウェア開発...3 3 テスト主導型開発...4 4...5 5 TDD を可能にするテストオートメーションツールの主要機能...5 5.1 テストケースとソースコード間のトレーサビリティー...5 5.2 テストケースと要件間のトレーサビリティー...6 6 テスト主導型開発の例...7 2 1 はじめに 本書では
IFAC International Auditing Practice Committee Issued by the International Federation of Accountants
IFAC International Auditing Practice Committee Issued by the International Federation of Accountants Accounting estimate Accounting system Adverse opinion Agreed-upon procedures engagement Analytical
sg_hs23_7875.xlsx
IBM BladeCenter HS23 (7875) http://www.ibm.com/systems/jp/x/guide_errata.shtml System Guide IBM BladeCenter HS23 (7875) IBM BladeCenter HS23 Express Spec System Guide 1/23 IBM BladeCenter HS23 (7875) IBM
智美塾 ゆもつよメソッドのアーキテクチャ
ゆもつよメソッドのテスト要求分析とテストアーキテクチャ設計 JaSST13 東京智美塾 2013 年 1 月 30 日 湯本剛 ( 日本 HP) tsuyoshi.yumoto@hp.com ゆもつよ風テスト開発プロセス テスト計画 実現したい品質の具体的把握 テスト箇所の選択 テストの目的設定 テスト対象アイテム特定 テスト分析 テストタイプ特定 機能の整理 & 再分類 テスト条件となる仕様項目特定
untitled
29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 09 08 07 06 05 04 03 02 01 contents TOMAKOMAI National College of Technology GUIDE BOOK 2007 01 TOMAKOMAI National College of Technology 02 03
GUI(Graphical User Interface) GUI CLI(Command Line Interface) GUI
24 GUI(Graphical User Interface) GUI CLI(Command Line Interface) GUI 1 1 1.1 GUI................................... 1 1.2 GUI.................... 1 1.2.1.......................... 1 1.2.2...........................
2015_GUIDE_H1
-Endless Possibilities- http://www.interop.jp/ Contents 02 03 04 05 06 15 WC WC 03 CONFERENCE SCHEDULE 6 8 9 45 C1-1 C4-1 C2-1 C3-1 10:15 11:45 C1-2 C4-2 C2-2 C3-2 12:50 14:20 C1-3 C3-3 C2-3 C4-3 14:40
IV&V a) Quantitatively Characterizing Software IV&V Activities Based on Defect History Shinsuke MATSUMOTO a), Hidetake UWANO, Akito MONDEN, Ken-ichi M
IV&V a) Quantitatively Characterizing Software IV&V Activities Based on Defect History Shinsuke MATSUMOTO a), Hidetake UWANO, Akito MONDEN, Ken-ichi MATSUMOTO, Masafumi KATAHIRA, Naohiko KOHTAKE, Yuko
guideline_1_0.dvi
Version 1.0 ( 22 5 ) cflkanta Matsuura Laboratory 2010, all rights reserved. I 3 1 3 2 3 3 4 II 8 4 8 5 9 5.1......................... 9 5.2......................... 10 5.3......................... 10
IBM Rational Software Delivery Platform v7.0 What's
IBM Rational Software Delivery Platform V7.0 デスクトップ製品 V7.0 リリースの全体像および製品共通の新機能 2006 年 12 月 15 日 当資料は 2006/12/15 時点の情報に基づいて作成されていますが 事前の予告なく変更される場合があります IBM Tivoli WebSphere ClearCase ClearQuest Rational
PowerPoint プレゼンテーション
ソフトウェア品質シンポジウム 15 継続的システムテストについての 理解を深めるための 開発とバグのメトリクスの分析 15/9/18 荻野恒太郎 kotaro.ogino@mail.rakuten.com Test Engineering Team Service Support Section Group Core Service Department http://www.rakuten.co.jp/
PowerPoint プレゼンテーション
IEC 62853 Open systems dependability 要点と今後の展開 2018-06-05 ディペンダビリティ技術推進協会 神奈川大学理学部情報科学科 オープンシンポジウム IEC TC 56 Dependability WG 4 Information systems Convenor ディペンダビリティ技術推進協会 標準化部会 主査 木下佳樹 IEC 62853 Open
背景 1 / Reprinted with permission from paper c 2013 SAE International.
車載グラフィックメータ開発プロセス革新への挑戦 ~ REMO ZIPC による 3D HMI 開発事例 ~ 西川良一株式会社デンソー情報通信システム開発部 背景 1 / 17 2008 2009 2010 2011 2012 2013 Reprinted with permission from paper 2013-01 01-04250425 c 2013 SAE International.
13 ソフトウェア工学 Software Engineering ソフトウェアプロセス SOFTWARE PROCESS ソフトウェアプロセスとは ソフトウェアプロセス : ソフトウェアプロダクト ( 製品 ) を作り出すための, 互いに関連する活動 (activity) の集合 ソフトウェアプロセ
13 ソフトウェア工学 Software Engineering ソフトウェアプロセス SOFTWARE PROCESS ソフトウェアプロセスとは ソフトウェアプロセス : ソフトウェアプロダクト ( 製品 ) を作り出すための, 互いに関連する活動 (activity) の集合 ソフトウェアプロセス 最終プロダクト 活動 1 中間プロダクト 1 中間プロダクト 2 活動 2 活動 3 1 ソフトウェアプロセスの設計と記述
PowerPoint プレゼンテーション
SPI Japan 2012 車載ソフトウェア搭載製品の 機能安全監査と審査 2012 年 10 月 11 日 パナソニック株式会社デバイス社 菅沼由美子 パナソニックのデバイス製品 SPI Japan 2012 2 パナソニック デバイス社のソフト搭載製品 車載スピーカーアクティブ消音アクティブ創音歩行者用警告音 スマートエントリー グローバルに顧客対応 ソフトウェア搭載製品 車載 複合スイッチパネル
5005-toku3.indd
3 1 CMMICMM Capability Maturity Model ISO : International Organization for Standardization IEC : International Electrotechnical CommissionJTC1 : Joint Technical Committee 1SC7 : Sub Committee 7 SC7 WG
24 LED A visual programming environment for art work using a LED matrix
24 LED A visual programming environment for art work using a LED matrix 1130302 2013 3 1 LED,,,.,. Arduino. Arduino,,,., Arduino,.,, LED,., Arduino, LED, i Abstract A visual programming environment for
9.プレゼン資料（小泉）R1
1 Me-DigIT 2 TRO, TMECH Interesting Readings IJMRCAS, TUFFC The Most 3., etc.. etc.. etc. 4 TRO09 5 J TRO09 The Most Interesting Readings J http://www.learner.org/interactives/renaissance/printing.html
SPCシンポジウム(研究論文･経験論文･事例発表)（タイトル）
Statement Deletion Operator を用いたミューテーション解析ツールの作 成と実用のための考察 Creating a mutation testing tool with Statement Deletion Operator and consideration about mutation testing テクマトリックス株式会社 TechMatrix Corporation
ACR-C 保証継続報告書 独立行政法人情報処理推進機構原紙理事長藤江一正押印済変更 TOE 申請受付日 ( 受付番号 ) 平成 24 年 1 月 12 日 (IT 継続 2077) 認証番号 C0312 申請者コニカミノルタビジネステクノロジーズ株式会社 TOEの名称日本語名 :bi
保証継続報告書 独立行政法人情報処理推進機構原紙理事長藤江一正押印済変更 TOE 申請受付日 ( 受付番号 ) 平成 24 年 1 月 12 日 (IT 継続 2077) 認証番号 C0312 申請者コニカミノルタビジネステクノロジーズ株式会社 TOEの名称日本語名 :bizhub C652 / bizhub C652DS / bizhub C552 / bizhub C552DS / bizhub
2) TA Hercules CAA 5 [6], [7] CAA BOSS [8] 2. C II C. ( 1 ) C. ( 2 ). ( 3 ) 100. ( 4 ) () HTML NFS Hercules ( )
![2) TA Hercules CAA 5 [6], [7] CAA BOSS [8] 2. C II C. ( 1 ) C. ( 2 ). ( 3 ) 100. ( 4 ) () HTML NFS Hercules ( )](/thumbs/78/78162263.jpg "2) TA Hercules CAA 5 [6], [7] CAA BOSS [8] 2. C II C. ( 1 ) C. ( 2 ). ( 3 ) 100. ( 4 ) () HTML NFS Hercules ( )")
1,a) 2 4 WC C WC C Grading Student programs for visualizing progress in classroom Naito Hiroshi 1,a) Saito Takashi 2 Abstract: To grade student programs in Computer-Aided Assessment system, we propose
核融合…予稿集
9:30 9:45 9:45 10:00 10:05 10:10 10:10 10:40 2 3 10:40 11:10 11:10 11:40 11:40 12:00 6 7 8 9 10 11 13:10 13:20 13:20 14:00 14:00 14:20 14:20 14:40 14:50 15:20 15:20 15:50 15:50 15:55 14 15 16 17 18 19
Microsoft PowerPoint - 2011-C1.pptx
東 北 大 学 全 学 教 育 科 目 情 報 基 礎 A Linux の 利 用 C 言 語 によるプログラミングその1 担 当 : 大 学 院 情 報 科 学 研 究 科 塩 浦 昭 義 ファイル 名 と 拡 張 子 ファイル 名 の 多 くは 拡 張 子 をもつ 拡 張 子 はファイルの 種 類 を 表 す 拡 張 子 がついていると,ファイルをクリックしただけで 適 切 なソフトウェアを 起
F Tel(03) Fax(03) s
3 108-0023 3-16-20 7F Tel(03)5484-3535 Fax(03)5484-3534 http://www.ipsj.or.jp/ E-mail somu@ipsj.or.jp mem@ipsj.or.jp keiri@ipsj.or.jp sys@ipsj.or.jp sig@ipsj.or.jp jigyo@ipsj.or.jp intl@ipsj.or.jp IFIP
ソフト品質2017_H1-4.pdf
品質経営の推進 普及に向け 日科技連では様々な事業を展開しています 企業 組織の要である人 人材の育成は企業 組織の活力の源です 今日 科学 技術は大きく進展しましたが 同時 に社会や産業界には新たな問題 課題が生まれています 経営 経済の環境変化が目まぐるしいグローバル化した高度技 術社会においては 経営や製品 サービス 人材などあらゆるものの品質にプライオリティをおいた価値観がますます重 要となります
Microsoft PowerPoint - 1st
コンピュータ概論第 1 回 授業導入 授業導入 コンピュータとは? Computer = 計算機 compute: 動詞 計算する computer: 計算するモノ 算盤 ( そろばん ) 計算尺 電卓 コンピュータ コンピュータ 単なる計算の道具ではない 計算を行う 算盤, 計算尺, 電卓, コンピュータ 計算を高速に行う 電卓, コンピュータ 大量のデータを記憶, 処理する コンピュータ さまざまなデータを処理する
10 2
10 2 11 12 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 16 16 19 17 17 20 21 2 22 18 18 23 24 19 19 25 26 3 OS LAN OS 27 28 PDAPersonal Digital Assistant 29 30 3 31 20 20 32 33 21 21 34 22 22 35 23 23 36 21
新製品開発プロジェクトの評価手法
CIRJE-J-60 2001 8 A note on new product project selection model: Empirical analysis in chemical industry Kenichi KuwashimaUniversity of Tokyo Junichi TomitaUniversity of Tokyo August, 2001 Abstract By