論理の設計とテストを考える
HAYST法によるテスト設計の考え方
... テスト設計時に考慮する範囲を限定（定義）できる 仕様書が常に最新情報に更新されていて信用できる 現行の仕様について、その是非（要求を果たすこと）を説明できる 3 ユニットテスト • プログラマがプログラミング中にテストを行う（一番大切で数も多い） 4 運用と保守 • ...
35
論理回路設計
... （全員の記述内容が同じ） を設計する。 ③ moji_deco_top.vhd トップ回路をVHDLで設計する ④ テストベンチでシミュレーションを実行し、機能確認する ［QuartusⅡ］ （ﾃｷｽﾄ： 131 ～ 137頁） ...
76
JAIST Reposi Title RTL とゲートレベルを混在させた最適な論理回路設計に 関する研究 Author(s) 張, 之飛 Citation Issue Date Type Thesis or Dissertation Text ver
... HDL 設計が主流に なっている。この流れは、更に C 言語などのより高位に位置する言語を使用する設計へと 移行する傾向がある。ハードウェア記述言語による設計は、設計者にとって、かつての煩 雑な作業フローを大幅に改善でき、回路の細かい部分を考慮せずに動作のみを記述すれば ...
96
テスト設計コンテスト フロア展示資料
... ・「要求仕様書におけるテストエンジニアの視点を活かした欠陥検出方法の提案」 http://www.juse.or.jp/software/83/attachs/ippan_3-2.pdf 重要度の分類は以下の通り（上記参考・引用文献より） ランク 内容 ...
8
アイウェーブの FPGA VHDL/Verilog/SystemC 数百万ゲートゲートの複雑複雑な論理設計 CPU コアを内蔵内蔵したしたシステムシステム設計 古い部品部品の互換設計 高速アプリケーション モデリング & シミュレーション 検証 & テストベクトル パートナー ザイリンクスアルテラ
... プロセッサは異なったデータのパターンを生成し、FPGA DDR コントローラ経由でDDRにストア。 FPGA DDR コントローラはデータをDDR から読み出し、 ASIC に送り出す。 ASICから受け取られたデータはFPGA DDRを用いてDDR内にストアされ、次の処理のために プロセッサに送り出される。 ...
22
テスト設計コンテスト掲示資料_あまがさきてすとくらぶ
... JaSST’11 東海への出場も含めた今までのチームで勉強した 歩みを以下にまとめておきます。 今回行うようなテストプロセスを業務では完全には適用出来て いないですが、今回得られた知見をもとに課題や利点などを 明確に把握することで、実際の業務への適用を出来るように ...
8
ソフトウェアテスト技術（関西テスト設計コンテスト予選基調講演）
... テストアーキテクチャ設計は構想の工程 • テストアーキテクチャ設計は、論理立てや現実化、実証が 容易になるように分割・整理するなど全体像を構想する工程 – VSTePでは、テストコンテナという考え方で分割・整理して構想していく – 俯瞰性やバランス、凝集度、結合度、保守性などが特に重要になる ...
29
テスト分析・テスト設計入門
... 34 従来のテスト方法と比較 © 2013 Fuji Xerox Co., Ltd. All rights reserved. スライド17で、最初にテストケースを考えました。その時に書いたテ ストケースと、テスト要求分析・テストアーキテクチャ設計を行った ...
37
テスト設計チュートリアル U-30版 資料 2019
... • テストコンテナをまとめている段階で、 コンテナごとのテストの厚みやコンテナ間のバランスを考える必要がある • どんな責務のテストコンテナをどんな順序で並べるかによってテスト設計の良し悪しが変わるので、 ...
88
はじめに 電子機器のシステム全体の構想設計において 軽量化 高性能化と 低コスト化などを両立させることは重要である 旧モデルや過去の設計資産を プリント基板や筐体外観を参照しながら 論理面 / 物理面から検討し 設計仕様を創っていく流れを紹介する またその結果の設計仕様を詳細の物理設計 ( 熱や E
... はじめに 電子機器のシステム全体の構想設計において、軽量化・高性能化と、低コスト化 などを両立させることは重要である。 旧モデルや過去の設計資産を、プリント基板や筐体外観を参照しながら、論理面/ ...
25
テスト設計コンテスト フロア展示資料
... 記述の冗長性 冗長的な記述を回避し網羅性を高めるためには、テ スト観点のカテゴリ化を行う。また、テスト観点からテ ストケースを導出するためのヒントワードを追加し、観 点からぶれないように工夫した。 ...
8
論理設計の基礎
... PLD の特徴 PLD は，その名のとおり「ユーザ自身が設計したロジック回路を実チップとして動作させることが可能となる プログラマブル・デバイス」であり，現在のディジタル回路設計の世界では，PLD を抜きに語れない時代になっ ている．比較的最近までは，ASIC ...
12
Copyright (C) 2012 WACATE All rights reserved 実践! 組合せテスト設計 ~組合せテストで学ぶソフトウェアテストの設計プロセス ~ WACATE2012 夏 2012 年年 6 月 30 日 井芹洋輝 (WACATE 実 行行委員会 )
... 仕様の分析/整理理（3⾊色ボールペン法） • 3⾊色ボールペン法 – ドキュメントの読解⽅方法 • テストの⼊入出⼒力力や因⼦子・⽔水準をピックアップします • 単純ですが汎⽤用的に使えるテクニックです ...
66
2016 AUTUMN Vol. 14 多摩美術大学フィールドワーク設計ゼミ NAVIGATION 特集 童画 The Power of Colors 展 宇宙と芸術展 発行 洋服と和服の境界線を考える 死体解剖医ヤーノシュ DVD
... この展覧会では、菊池寛実記念 智美術館の創立者である菊池智さん が 1900 年代の後半期に集めたコレ クションから、陶磁器の色彩の魅力 に着目して選んだ 55 点の作品を展 示している。展示空間は 3 つの展示 室に分かれており、それぞれ異なる テーマが与えられている。 徳田の作品の右手に開いている通 ...
20
『社会存在の論理』と『偶然性の問題』 利用統計を見る 福岡大学機関リポジトリ L4904 0929
... として理解するもの」（TZ3/176）であると田辺は言う。彼の考えでは、偶然 を個別として理解する際に、目的論的必然の働きが重要である。たとえば、 「永 禄三年五月十六日桶狭間に雨が降った」ということが、単に「雨が降る」とい うすぐに忘れられる交換可能な事柄ではなく、偶然として意味をもち、個別と ...
25
目次 サーバーでのデフラグのテストテスト環境テストファイルコピードキュメントを開くバックアップアンチウィルススキャン VHD 起動 VHD 保存サーバーアプリケーションのテスト Exchange テスト 1 Exchange テスト 2 SQL サーバーのバルク挿入テーブルキーの作成 SQL クエリ
... 17% の起動時間の改 善が見られ、 VHD における断片化の影響が実証されました。 また、このような断片化は、 VM そのもののパフォーマンスにも 影響を及ぼします。その理由は、断片化が非常に進行した VHD から必要な I/O をすべて読み込むことが、仮想コン ピューティング環境のパフォーマンスを低下させるからです。 ...
8
ソフトウェアテスト自動化を改善する為のテスト手法
... また、近年、ソフトウェアの開発現場では、顧客から 大規模かつ複雑な機能を要求されることが多い。さらに、 短期間での開発を迫られることも少なくない。こうした 現状において、ウォーターフォール型に分類される開発 手法を用いている開発現場では、要求定義や設計、実装 の段階にコストがかかり、ソフトウェアテストに割くコ ...
2
アニメ作品とツーリズムの接点を地域から考える
... リズムを二つの軸で捉える必要があると考えています。一つ目は時間軸、つまり「世代間 の交流」です。文化の継承と創造、生と死、教育というテーマと深く関連します。二つ目 は空間軸、 すなわち 「地域間の交流」 です。 寛容性と相互理解をどう生むのか。 文化外交、 ...
2
アジェンダ はじめに これまでの振り返り (Part1~Part4) 本日の範囲とゴール 設計と各種最適化の関係 設計の定義とフォーカスする範囲 設計 実装レベルのチューニング データ主観の設計 - 正規化と統合化 - 業務を最適化する設計 性能を最適化する設計 データベースの機能を使用した対処案
... • ルールを活用するにはポイントがある • 開発者にも直観的にわかりやすいものにする • ルールが必要となる理由を明確にし、指針、注意点、例なども加える • プログラムレビューと同様にSQLコーディングもレビュー（チェックシートでチェック） SQLパフォーマンス問題解決へのアプローチ ...
63
直観主義線型論理の圏論的意味論について 福田陽介 2018 年 12 月 11 日 1 はじめに 本文書は直観主義線型論理に対する圏論的意味論を概説することを目的とした記事です * 1 線型論理 (Linear Logic) は論理学者 Girard により考案さ
... 圏が、ある随伴の関係を基礎とした LNL モデルと呼ばれる圏から記述できることを見ます。 ■おことわり 前提知識として数理論理学の証明論と圏論の基本的な知識を仮定します。証明論については直 ...
14