検索結果 92 件

松田 雄河, 山手 響介, 近藤 将成, 柏 祐太郎, 亀井 靖高, 鵜林 尚靖 コンピュータ ソフトウェア 40 (1), 1_45-1_56, 2023-01-25

<p>テストスイートベースの自動プログラム修正に，自動テストケース生成によって生成されたテストスイートが有用であれば，パッチ生成のコスト削減につながる．自動テストケース生成には，入力として与えられたクラスに対するテストスイートを生成する手法がある．本研究の目的は，自動プログラム修正に自動テストケース生成を利用する際に，入力としてどのクラスを与えるべきかを明らかにすることである．そのため，本研究で…

DOI

澤田 侑希, 梅田 祐一郎, 蜂巣 吉成, 吉田 敦, 桑原 寛明 ソフトウェア工学の基礎ワークショップ論文集 29 (0), 55-60, 2022-11-10

...comparing a learner’s programs and model answers using program segments, which are sequences of statements with no branches, and replacing a learner’s segments with model answers’ seg- ments until pass testcases...

DOI

森 明 保険学雑誌 2022 (658), 658_69-658_92, 2022-09-30

...本件は主として中小企業の保険契約者を代表して英国金融行為規制機構（Financial ConductAuthority：FCA）が主な保険者8社を相手に起こした「試験訴訟」（testcase）である。そしてこれは本件の担当判事らが関与した自らの先例（審理日数3週間の仲裁と高等法院商事法廷）を否認した極めて珍しい事案である。...

DOI Web Site

Takashi Goda, Yuki Yamada Scientific Reports 11 (1), 2021-10-04

...Numerical experiments for both a simple synthetic testcase and a chemotherapy Markov model illustrate the effectiveness of our proposed algorithm, without any need for accurate estimation or approximation...

DOI PDF Web Site 参考文献36件

Jaclyn Jensen, Guillaume Thomas, Alan W McConnachie, Else Starkenburg, Khyati Malhan, Julio Navarro, Nicolas Martin, Benoit Famaey, Rodrigo Ibata, Scott Chapman, Jean-Charles Cuillandre, Stephen Gwyn Monthly Notices of the Royal Astronomical Society 507 (2), 1923-1936, 2021-08-12

...The fact that NGC 5466 is so distant, traces a wide range of Galactic distances, has an identified progenitor, and appears to have recently had an interaction with the Galaxy’s disc makes it a unique test-case...

DOI PDF PDF 被引用文献1件

Evelyn Friesenbichler, Michael Hautmann, Hugo Bucher PeerJ 9 e11654-, 2021-07-20

...<jats:p>The recovery of marine life from the end-Permian mass extinction event provides a test-case for biodiversification models in general, but few studies have addressed this episode in its full length...

DOI PDF Web Site ほか1件 被引用文献1件

Satoshi Masuda, Tohru Matsuodani, Kazuhiko Tsuda 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2021-04

DOI PDF 参考文献45件

前山,総一郎 都市経営 : 福山市立大学都市経営学部紀要 = Urban Management : Bulletin of the Faculty of Urban Management, Fukuyama City University 13 79-93, 2021-02-26

application/pdf

DOI 機関リポジトリ

Yi Zhang, Jian Li, Rucong Yu, Zhuang Liu, Yihui Zhou, Xiaohan Li, Xiaomeng Huang Monthly Weather Review 148 (7), 2671-2699, 2020-06-15

...are used to facilitate the investigation of the model behaviors in idealized moist-physics configurations, including cloud-scale modeling, weather forecasting, and climate modeling, and in a real-world test-case...

DOI PDF 被引用文献1件

P. Marchand, K. Tomida, B. Commerçon, G. Chabrier Astronomy & Astrophysics 631 A66-, 2019-10-22

...By removing the whistler waves speed from the characteristic speeds of non-magnetic variables in the 1D Riemann solver, we were able to improve the angular momentum conservation in our test-case by one...

DOI Web Site 被引用文献2件 参考文献17件

Michael D. Brown Applied Physics Letters 115 (5), 053701-, 2019-07-29

...An experimental test-case, designed to generate the letters “UCL” with the uniform amplitude and phase, is prepared to demonstrate the feasibility of this technique....

DOI PDF 被引用文献1件

Antoine Marchal, Marc-Antoine Miville-Deschênes, François Orieux, Nicolas Gac, Charles Soussen, Marie-Jeanne Lesot, Adrien Revault d’Allonnes, Quentin Salomé Astronomy & Astrophysics 626 A101-, 2019-06

...The test-case field used here contains significant intermediate-velocity clouds that were well mapped out by the algorithm....

DOI Web Site 被引用文献2件

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) 2019-05

DOI PDF 被引用文献2件

Lorna J. Ayton, Paruchuri Chaitanya Journal of Fluid Mechanics 865 137-168, 2019-02-18

...The far-sound pressure level is calculated for five test-case geometries; sawtooth serration, slitted <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink...

DOI Web Site 被引用文献1件

Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher ACM Transactions on Embedded Computing Systems 18 (1), 1-28, 2019-01-25

...We adapt RRT in several aspects towards test-case generation....

DOI Web Site 被引用文献1件

Miriam Rabaçal, Mário Costa, Michele Vascellari, Christian Hasse, Martin Rieth, Andreas M. Kempf Journal of Combustion 2018 1-15, 2018-11-01

...An iterative procedure is used to obtain devolatilization kinetics of coal and biomass for the test-case specific fuels and heating conditions....

DOI PDF XML 被引用文献1件

Pettersson Richard, 岡本 一志 日本知能情報ファジィ学会 ファジィ システム シンポジウム 講演論文集 34 (0), 867-870, 2018

...effectiveness of the solution, a comparison to the former solution was made through numerous experiments, and the performance brought about by the generated indexes was benchmarked and compared between different test-cases...

DOI Web Site

Lukáš Holík, Petr Janků, Anthony W. Lin, Philipp Rümmer, Tomáš Vojnar Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017-12-27

...It has numerous applications including automatic detection of cross-site scripting, and automatic test-case generation....

DOI Web Site 被引用文献1件

Chiara Barbieri, José R. Sandoval, Jairo Valqui, Aviva Shimelman, Stefan Ziemendorff, Roland Schröder, Maria Geppert, Lutz Roewer, Russell Gray, Mark Stoneking, Ricardo Fujita, Paul Heggarty Scientific Reports 7 (1), 17411-, 2017-12-12

...A test-case is the Chachapoyas region of northern Peru, reported as a focal point of Inca population displacements....

DOI PDF Web Site 被引用文献1件

Tushar Jain, Todd Boland, Asparouh Lilov, Irina Burnina, Michael Brown, Yingda Xu, Maximiliano Vásquez Bioinformatics 33 (23), 3758-3766, 2017-08-16

...<jats:sec> <jats:title>Availability and implementation</jats:title> <jats:p>Structure data, aligned sequences, experimental data and prediction scores for test-cases...

DOI PDF 被引用文献1件

Antonella Di Pizio, Louisa-Marie Kruetzfeldt, Shira Cheled-Shoval, Wolfgang Meyerhof, Maik Behrens, Masha Y. Niv Scientific Reports 7 (1), 2017-08-15

<jats:title>Abstract</jats:title><jats:p>Bitter taste is one of the basic taste modalities, warning against consuming potential poisons. Bitter compounds activate members of the bitter taste …

DOI PDF Web Site 被引用文献2件

Clare Bycroft, Colin Freeman, Desislava Petkova, Gavin Band, Lloyd T. Elliott, Kevin Sharp, Allan Motyer, Damjan Vukcevic, Olivier Delaneau, Jared O’Connell, Adrian Cortes, Samantha Welsh, Gil McVean, Stephen Leslie, Peter Donnelly, Jonathan Marchini 2017-07-20

...As a further check of the genotyped and imputed datasets, we performed a test-case genome-wide association scan on a well-studied human trait, standing height.</jats:p>...

DOI Web Site 被引用文献5件

Joseph E. Rodriguez, George Zhou, Andrew Vanderburg, Jason D. Eastman, Laura Kreidberg, Phillip A. Cargile, Allyson Bieryla, David W. Latham, Jonathan Irwin, Andrew W. Mayo, Michael L. Calkins, Gilbert A. Esquerdo, Jessica Mink The Astronomical Journal 153 (6), 256-, 2017-05-19

...The HD 106315 system is one of few multi-planet systems hosting a Neptune-sized planet for which orbital obliquity measurements are possible, making it an excellent test-case for formation mechanisms of...

DOI Web Site Web Site ほか2件 被引用文献5件

A. Bader, A. H. Boozer, C. C. Hegna, S. A. Lazerson, J. C. Schmitt Physics of Plasmas 24 (3), 2017-03-01

...<jats:p>This paper describes an initial description of the resilient divertor properties of quasi-symmetric (QS) stellarators using the HSX (Helically Symmetric eXperiment) configuration as a test-case...

DOI PDF Web Site 被引用文献1件

植田 睦之, 島田 泰夫, 奴賀 俊光, 佐藤 功也 Bird Research 13 (0), S19-S25, 2017

<p>　洋上風車に対する海鳥の反応を明らかにするために，2013年と2016年に銚子沖で船舶用レーダを使った調査を行なった．いずれの調査でも風車から100ｍ以内を鳥が飛行することは少なく，また，風車のそばで飛行方向をかえる行動が記録され，海鳥は風車を回避して飛んでいると考えられた．2013年と2016年を比較すると，2016年の方が風車のより近くを飛行する傾向があった．以上の結果から，洋上風車の…

DOI

前山,総一郎 都市経営 : 福山市立大学都市経営学部紀要 = Urban Management : Bulletin of the Faculty of Urban Management, Fukuyama City University 9 53-64, 2016-12-22

application/pdf

DOI 機関リポジトリ Web Site

堂坂 辰, 大江 信宏, 北上 眞二, 神戸 英利, 小泉 寿男 電気学会論文誌Ｃ（電子・情報・システム部門誌） 136 (6), 868-880, 2016

The third-party verification test aims to detect potential defects by test specialty division, and judge result based on specific criteria. Usually third-party verification was used for stand-alone …

DOI Web Site Web Site 被引用文献1件 参考文献3件

David J. Strozzi, L. J. Perkins, M. M. Marinak, D. J. Larson, J. M. Koning, B. G. Logan Journal of Plasma Physics 81 (6), 475810603-, 2015-12

...For plasma conditions early in peak laser power, we present mono-energetic test-case studies with ZUMA  as well as sources based on inner-beam stimulated Raman scattering....

DOI Web Site 被引用文献2件

F. X. Trias, D. Folch, A. Gorobets, A. Oliva Physics of Fluids 27 (6), 065103-, 2015-06-01

...The former test-case has revealed that the model constant, Cs3pqr, should be higher than 0.458 to obtain the right amount of subgrid-scale dissipation, i.e., Cs3pq = 0.572 (p = − 5/2), Cs3pr = 0.709 (p...

DOI PDF 被引用文献1件

Alice Buffi, Paolo Nepa, Fabrizio Lombardini IEEE Sensors Journal 15 (1), 387-396, 2015-01

DOI PDF 被引用文献1件

Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, John Regehr ACM SIGPLAN Notices 48 (6), 197-208, 2013-06-16

...For example, a single test-case generator has resulted in more than 1,700 bugs reported for a single JavaScript engine....

DOI Web Site 被引用文献1件

Bernhard K. Aichernig Theories of Programming and Formal Methods 23-36, 2013

DOI Web Site 被引用文献1件

Jan Treibig, Georg Hager, Hannes G. Hofmann, Joachim Hornegger, Gerhard Wellein The International Journal of High Performance Computing Applications 27 (2), 162-177, 2012-06-29

...We choose the RabbitCT benchmark, a standardized testcase well supported in industry, to ensure transparent and comparable results....

DOI Web Site Web Site 被引用文献2件

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang ACM SIGPLAN Notices 47 (6), 335-346, 2012-06-11

...To obtain small and valid test cases consistently, we designed and implemented three new, domain-specific test-case reducers....

DOI Web Site 被引用文献2件

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation 2012-06-11

DOI Web Site 被引用文献1件

Mathias Landhauber, Walter F. Tichy 2012 7th International Workshop on Automation of Software Test (AST) 2012-06

DOI PDF 被引用文献1件

Anna Vangone, Romina Oliva, Luigi Cavallo BMC Bioinformatics 13 (S4), S19-, 2012-03-28

...</jats:p> </jats:sec> <jats:sec> <jats:title>Conclusions</jats:title> <jats:p>The application of CONS-COCOMAPS to test-cases taken from recent CAPRI rounds has...

DOI PDF 被引用文献1件

Takashi Kitamura, Ngoc Thi Bich Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 458-473, 2012

DOI PDF 被引用文献1件 参考文献13件

Xuejun Yang, Yang Chen, Eric Eide, John Regehr ACM SIGPLAN Notices 46 (6), 283-294, 2011-06-04

...To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs....

DOI Web Site 被引用文献2件

Avraham Faust Journal of the Economic and Social History of the Orient 54 (1), 62-86, 2011

<jats:sec><jats:title>Abstract</jats:title><jats:p>The 7th century BCE in Philistia and Judah is characterized by economic prosperity, which is usually regarded as resulting from the “Assyrian …

DOI PDF XML 被引用文献1件

宮本 敬三, 堀 直哉, 岡野 浩三, 楠本 真二 コンピュータ ソフトウェア 28 (4), 306-317, 2011

...However, the quality of generated assertions depends on the quality of the test-cases....

DOI HANDLE

Matúš Kalaš, Pål Puntervoll, Alexandre Joseph, Edita Bartaševičiūtė, Armin Töpfer, Prabakar Venkataraman, Steve Pettifer, Jan Christian Bryne, Jon Ison, Christophe Blanchet, Kristoffer Rapacki, Inge Jonassen Bioinformatics 26 (18), i540-i546, 2010-09-04

...We have adapted a set of web services to use BioXSD as the input and output format, and implemented a test-case workflow....

DOI PDF 被引用文献1件

M. Lhommeau, L. Jaulin, L. Hardouin International Journal of Adaptive Control and Signal Processing 25 (3), 264-272, 2010-08-25

...In order to illustrate the principle and the efficiency of the approach, a testcase on the ‘car on the hill’ problem is provided. Copyright © 2010 John Wiley & Sons, Ltd.</jats:p>...

DOI Web Site Web Site 被引用文献1件

Duysinx Pierre, Emonts-Alt Jonathan, Virley Geoffrey, Bruls Olivier, Bruyneel Michael The Proceedings of the Asian Conference on Multibody Dynamics 2010.5 (0), _58782-1_-_58782-12_, 2010

...The developments are illustrated using the test-case of the structural design of the links of a two-arm robot subject to a trajectory tracking constraint....

DOI Web Site

Dominiek Degryse, Bart Vandevelde, Eric Beyne, Joris Degrieck Journal of Electronic Packaging 131 (4), 041003-, 2009-10-21

...The Si-BCB interface is applied as test-case. In order to obtain the critical material data for this interface, a set of experiments is designed and performed....

DOI PDF 被引用文献2件

Eric Vanden-Eijnden, Maddalena Venturoli The Journal of Chemical Physics 130 (19), 194101-, 2009-05-15

...The procedure is first illustrated on test-case examples in two dimensions and then applied to study the kinetics of protein insertion into a lipid bilayer by means of a coarse-grained model.</jats:p>...

DOI PDF 被引用文献4件

Eric Vanden-Eijnden, Maddalena Venturoli The Journal of Chemical Physics 130 (19), 194103-, 2009-05-15

...We illustrate FTS on test-case examples and apply it to the study of conformational transitions of the nitrogen regulatory protein C receiver domain using an elastic network model and to the isomerization...

DOI PDF 被引用文献7件

KLIMACH Harald, ROLLER Sabine P., MUNZ Claus-Dieter Interdisciplinary Information Sciences 15 (1), 79-83, 2009

...We demonstrate how the parallel simulation of a 3D aeroacoustic testcase can benefit of the heterogeneity in the infrastructure by mapping the heterogeneous computational domain on the appropriate architectures...

DOI 機関リポジトリ HANDLE 参考文献3件

Ben, Yan, Masahide, Nakamura, LydieduBousquet, Ken-ichiMatsumoto 情報処理学会論文誌 49 (6), 1751-1762, 2008-06-15

...We implement the method using <i>Java Modeling Language</i> (JML for short) and JUnit with a test-case generation tool TOBIAS....

情報処理学会 Web Site 被引用文献1件

宇田川, 佳久 情報処理学会論文誌 49 (2), 922-929, 2008-02-15

今日の高度情報化社会では，情報システムの障害による業務・サービスの停止や機能低下は，社会活動に深刻な影響を与えている．その一方で，情報システムの高機能化・大規模化・短納期化など，品質確保を難しくする要因が増大しており，体系的な手法に基づく品質管理の必要性が高まっている．本文は，ウォーターフォールモデルに基づくシステム開発における設計およびテスト工程での成果物の品質管理手法について論じている．この…

情報処理学会 Web Site 被引用文献2件 参考文献8件

Yan Ben, Nakamura Masahide, Bousquet Lydie du, Matsumoto Ken-ichi Information and Media Technologies 3 (3), 486-497, 2008

...We implement the method using <i>Java Modeling Language</i> (JML, for short) and JUnit with a test-case generation tool TOBIAS....

DOI

Yan Ben, Nakamura Masahide, Bousquet Lydie du, Matsumoto Ken-ichi Journal of Information Processing 16 38-49, 2008

...We implement the method using <i>Java Modeling Language</i> (JML, for short) and JUnit with a test-case generation tool TOBIAS....

DOI 情報処理学会 Web Site 参考文献6件

Lucchini T., D'Errico G., Brusiani F., Bianchi G. M. The international symposium on diagnostics and modeling of combustion in internal combustion engines 2008.7 (0), 671-678, 2008

...A test-case geometry, consisting of a flat cylinder head with a centrally located valve was used to evaluate both approaches....

DOI Web Site

Daniel Barthel, Jonathan D Hirst, Jacek Błażewicz, Edmund K Burke, Natalio Krasnogor BMC Bioinformatics 8 (1), 2007-10-26

...:sec> <jats:title>Results</jats:title> <jats:p>We present ProCKSI's architecture and workflow describing its intuitive user interface, and show its potential on three distinct test-cases...

DOI PDF 被引用文献1件

Gordon Fraser, Franz Wotawa International Conference on Software Engineering Advances (ICSEA 2007) 2007-08

DOI PDF 被引用文献1件

Srinivas,K Proceedings of International Workshop on Multidisciplinary Design Exploration in … 2006 31-38, 2006-12-12

...The testcase two is two-dimensional, axisymmetric and has stents of circular cross section....

NDLデジタルコレクション

高木, 智彦, 古川, 善吾, 山崎敏範 情報処理学会論文誌 47 (8), 2636-2647, 2006-08-15

統計的テスト法においてソフトウェアの利用方法を特性付ける利用モデルを，Shlaer-Mellor 法を用いて系統的に作成する方法を提案する．統計的テスト法は，ソフトウェアの信頼性を評価するためのテスト手法である．実運用を反映したテストケースを無際限に生成するために，利用モデルが用いられる．これは，ソフトウェアに対して可能なすべての操作を定義するステートマシン（利用の構造）に，遷移確率をはじめとし…

情報処理学会 Web Site 参考文献30件

Marcos Ariel Villarreal, Guillermo Gabriel Montich Journal of Biomolecular Structure and Dynamics 23 (2), 135-142, 2005-10

DOI Web Site 被引用文献2件

Robert H. Bell, Lizy K. John Proceedings of the 19th annual international conference on Supercomputing 2005-06-20

DOI Web Site 被引用文献1件

F. Montomoli, P. Adami, S. Della Gatta, F. Martelli Volume 3: Turbo Expo 2004 2004-01-01

...The code has been validated through two different test-case applications. The first is a laminar flow over a flat plate, while the second is a film-cooled plate....

DOI PDF 被引用文献1件

S. Vincent, J.-P. Caltagirone Multiphase Science and Technology 16 (1-3), 111-115, 2004

DOI PDF 被引用文献1件

島中 一俊, 古賀 順二, 寺澤 啓司 プロジェクトマネジメント学会研究発表大会予稿集 2004.Spring (0), 366-370, 2004

オブジェクト指向開発においては,要求記述の手法としてユースケースが一般的になっている.ユースケースを見積り根拠に利用することにより,効率的に開発の早い段階における見積り精度を向上し,ライフサイクルを通じた規模管理の実現が期待できる.本研究においては,ユースケースから試験項目を見積り,試験項目から開発工数を見積る手法を提案する.この方法を用いる事により,豊富な試験データと開発工数のデータから開発し…

DOI

上原 拓也, 辻野 貴洋 計算力学講演会講演論文集 2004.17 (0), 313-314, 2004

...In order to numerically solve the coupled equations, the finite element analysis is applied, and a simple simulation for solidification problem is presented as a test-case result....

DOI Web Site 被引用文献1件

D. T. F. Weldrake, W. J. G. De Blok, F. Walter Monthly Notices of the Royal Astronomical Society 340 (1), 12-28, 2003-03-21

DOI PDF 被引用文献1件

TAKAJI FUJIWARA, SHIGERU YAMADA International Journal of Reliability, Quality and Safety Engineering 09 (04), 329-340, 2002-12

...Then, we show that the testing-domain rate, which is defined as the increasing ratio of the testing-paths in the modules and functions in the software system to be influenced by executed test-cases, is...

DOI Web Site 被引用文献2件

小川, 浩司, 鈴木, 寿郎, 五味, 弘 情報科学技術フォーラム一般講演論文集 2002 (1), 155-156, 2002-09-13

情報処理学会

SHIGERU YAMADA, TAKAJI FUJIWARA International Journal of Reliability, Quality and Safety Engineering 08 (03), 205-218, 2001-09

...We use many various test-cases for testing. Then, there is a set of the modules and functions in the software system to be influenced by the executed test-cases....

DOI Web Site 被引用文献8件

Z. Michalewicz, K. Deb, M. Schmidt, T. Stidsen IEEE Transactions on Evolutionary Computation 4 (3), 197-215, 2000

DOI PDF 被引用文献1件

山中, 弘, 中島, 毅, 別所, 雄三, 萩原, 正敏, 広田, 和洋 全国大会講演論文集 第57回 (ソフトウェア科学・工学), 248-249, 1998-10-05

情報処理学会

別所, 雄三, 中島, 毅, 山中, 弘, 萩原, 正敏, 広田, 和洋 全国大会講演論文集 第57回 (ソフトウェア科学・工学), 250-251, 1998-10-05

情報処理学会

萩原, 正敏, 山中, 弘, 別所, 雄三, 中島, 毅, 広田, 和洋 全国大会講演論文集 第57回 (ソフトウェア科学・工学), 246-247, 1998-10-05

情報処理学会 被引用文献2件

Mitsuhiro Kimura, Shigeru Yamada International Journal of Reliability, Quality and Safety Engineering 04 (03), 229-239, 1997-09

...By focusing on the behavior of the digested test-case data observed in the testing process, we construct a stochastic model and derive several quantitative measures for software testing-progress evaluation...

DOI Web Site 被引用文献1件

石川, 洋, 中島, 毅, 小林, 剛, 別所, 雄三, 広田, 和洋 全国大会講演論文集 第53回 (ソフトウェア科学・工学), 289-290, 1996-09-04

...マイコン用CASEツールtestCASEでは、要求分析ツールによりソフトウェア開発の最上流工程を支援し、また評価テスト実行ツールにより最下流工程を支援する。本文で述べるテスト項目生成ツールtestCASE/TGは、上記のツール間の連携を担うものである。testCASE/TGは要求分析ツールで作成された要求仕様データおよび入出力デバイス定義データを基に、評価テスト項目の抽出・生成を行う。...

情報処理学会

小林, 剛, 中島, 毅, 石川, 洋, 別所, 雄三, 広田, 和洋 全国大会講演論文集 第53回 (ソフトウェア科学・工学), 285-286, 1996-09-04

...我々は、機器制御を主体とするマイコン用S/Wの開発において、要求分析と評価テスト工程を支援するCASE環境testCASEの研究開発を行っている。testCASEは要求分析を支援し、さらに要求分析で得られたデータをもとに評価テスト項目・テストケースの自動生成を行い、このテストケースを自動実行することを目的としている。ここでは、我々の考える支援環境であるtestCASEの概要について紹介する。...

情報処理学会

別所, 雄三, 中島, 毅, 石川, 洋, 小林, 剛, 広田, 和洋 全国大会講演論文集 第53回 (ソフトウェア科学・工学), 291-292, 1996-09-04

...本ツールは、マイコン用CASEツールtestCASEの最下流に位置付けられ、上流のCASEツールであるテスト項目生成ツールによって、生成されたテストケースをもとに、ソフトウェア開発の最終工程である評価テストを行う。本ツールにおける評価テストは、モジュール試験ではなく、要求仕様レベルの機能テストであるブラックボックステストが対象である。本稿では、評価テスト実行ツールの概要を中心に説明する。...

情報処理学会

中島, 毅, 石川, 洋, 小林, 剛, 別所, 雄三, 広田, 和洋 全国大会講演論文集 第53回 (ソフトウェア科学・工学), 287-288, 1996-09-04

...マイコン用CASEツールのtestCASEの中で、要求分析ツール(testCASE/RAと呼ぶ)は、最上流の要求分析段階を支援する。testCASE/RAは、顧客の要求をビジュアルに記述し、顧客の要求を誤りなく抽出することを支援する。さらに、抽出されたビジュアルな要求仕様を論理的なデータとして、テスト項目生成ツールへ渡す。...

情報処理学会

梶原 恵治, 中村 洋行, 小沢 潤治, 豊嶋 学, 磯 雅人, 千葉 隆史 学術講演梗概集. C-1, 構造III, 木質構造, 鉄骨構造, 鉄骨鉄筋コンクリート構造 (1996) 1087-1088, 1996-07-30

日本建築学会

片山, 徹郎, 古川, 善吾, 牛島, 和夫 全国大会講演論文集 第51回 (ソフトウェア工学), 181-182, 1995-09-20

近年、並行処理プログラムが実際の場で多く書かれるようになってきた。これに伴い、並行処理プログラムの信頼性向上の方法の一つとして、テストが重要な役割を演じてきている。実用的な並行処理プログラムの記述には、UNIXオペレーティングシステムと連係したC言語が多く用いられている。そこで、これまでAdaで記述された並行処理プログラムに対して開発してきたテストケース生成方法を、C言語で記述された並行処理プロ…

情報処理学会

日野, 健介, 岩間, 一雄 全国大会講演論文集 第47回 (基礎理論及び基礎技術), 67-68, 1993-09-27

我々はこれまでの研究で,NAND素子に制限された論理回路に対し,1回の操作が多項式時間で実行できる基本操作の集合を提案し,その基本操作集合が任意の回路から任意の等価な回路への変換に対して完全であることを示した.任意の回路間の変換が可能であるといっても回路を簡単化する方向に利用することは明らかに容易ではない.しかし,回路を複雑化する方向なら,例えばある程度ランダムに規則を適用するだけでも目的を達成…

情報処理学会

宮野, 英次, 岩間, 一雄 全国大会講演論文集 第47回 (基礎理論及び基礎技術), 75-76, 1993-09-27

我々は充足可能性問題(SAT)の解法アルゴリズムの平均計算時間を実験的に評価する場合の入力例題の合理的な生成系の開発を目標とするプロジェクトを遂行中である.我々の例題生成系は,答え(yesまたはno)の入力に対して,yesの例題(充足可能なCNF式)とnoの例題(充足不能なCNF式)を乱数を用いてそれぞれ独立にランダムに生成して出力する.例題生成系に対する要求として次の3つを考える.(i)効率:…

情報処理学会

西川, 浩司, 白井, 健治, 中野, 哲, 清水, 徹, 飯田, 全広 全国大会講演論文集 第46回 (ハードウェア), 147-148, 1993-03-01

ビジネスコンピュータ用の1チップCPUプロセッサ(170万Tr)を開発した。LSIの設計品質向上のため設計段階で、外部仕様や内部仕様に基づくテストに加えて、ランダムな命令シーケンスによって個々のテスト項目を競合させるランダムテストを行ない、機能検証を実施した。本稿では、テストケース自動生成ツール「Mirage」を用いたランダムテストの概要について報告する。

情報処理学会

菰田, 敏行, 片山, 徹郎, 古川, 善吾, 牛島, 和夫 全国大会講演論文集 第45回 (ソフトウェア工学), 253-254, 1992-09-28

従来、テストデータを選定する基準となるテストケースが人の手によって作られることが多かったため、テストデータに漏れや重複が多くあった。テストケースを系統的に作成することにより、テストの質を高めることができる。逐次処理プログラムにおいては、テストデータやテストケースについての研究が広くなされているけれども、並行処理プログラムに対しては十分とは言い難い。これまでに、並行処理プログラムのモデルとテストケ…

情報処理学会

大寺, 浩志, 藤原, 隆次, 成久, 浩之 岡山理科大学紀要. A, 自然科学 26 289-301, 1991-03-20

P(論文)

機関リポジトリ

JIN Hui-Qing, ARAKI Shunichi, WU Xi-Ke, ZHANG Yan-Wen, DUAN Lu-Ling, SAKAI Ryoji Ｉｎｄｕｓｔｒｉａｌ　ｈｅａｌｔｈ 29 (1), 23-26, 1991

DOI Web Site PubMed

小堀 為雄, 近田 康夫 土木学会論文集 1986 (368), 57-64, 1986-04-20

...The new joint element model was incorporated into a finite element program and test-case analyses were performed....

DOI Web Site 被引用文献2件 参考文献7件

Alec J. Jeffreys, John F. Y. Brookfield, Robert Semeonoff Nature 317 (6040), 818-819, 1985-10

DOI PDF Web Site 被引用文献14件

西浦 常雄, 加藤 直樹, 中尾 亨, 熊本 悦明, 橋爪 壮, 北川 龍一, 林 康之, 中村 正夫, 長田 尚夫, 小島 弘敬, 赤尾 頼幸, 萩原 敏且, 藤森 一平, 高瀬 善次郎 感染症学雑誌 58 (12), 1305-1314, 1984

最近, 米国で開発された<I>Chlamydia trachomatis</I>の主要膜タンパクに特異的なFITC標識モノクロナール抗体 (Micro Trak <SUP>TM</SUP> <I>Chlamydia trachomatis</I> Culture Confirmation TestおよびDirect Specimen Test) …

DOI Web Site PubMed ほか1件 被引用文献1件

B. Van Den Berg, A. Elsenaar, J. P. F. Lindhout, P. Wesseling Journal of Fluid Mechanics 70 (1), 127-148, 1975-07-15

...This has been carried out with the specific aim of providing a test-case for calculation methods. Much attention has been paid to the design of the test set-up....

DOI Web Site 被引用文献1件

石崎 溌雄, 川村 純夫, 渡辺 清治, 角田 智彦 日本建築学会論文報告集 66.1 (0), 629-632, 1960

実験の対称となつた杭基礎型式は、1.杭2本をハの字型に打つた斜杭型式のもの、2.杭1本を垂直に打込んだ直杭型式のもの、3.1.と同様斜杭型を杭4本について行つたもの、4.1本を垂直他の1本を斜に打込んだ型式のもの、5.杭1本を斜に打込んだもの、以上五種類の杭基礎で実験を行つた。杭は一応支持層と考えられる砂礫層迄打込まれ、杭の反力としては支持杭としての考えが適周きれる。一般に振動に対して斜坑が有効…

DOI Web Site Web Site

緑川, 伝作 横浜国立大学人文紀要. 第二類, 語学・文学 7 42-61, 1958-09-30

..."Dramatic predominance in Reformation age"(1400-1618) is the testcase of our standpoint....

機関リポジトリ

菊池 正 日本作物学会紀事 24 (1), 51-52, 1955

...The first test-case of severe frost came on Apri1 21, and the second on April 28....

DOI Web Site

S. Gnesi, D. Latella, M. Massink Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems

DOI PDF 被引用文献1件