close
1.

図書
図書
1. Proceedings : 1996 International Conference on Network Protocols, October 29 - November 1, 1996, Columbus, Ohio
sponsored by IEEE Computer Society Technical Committee on Distributed Processing ; im cooperation with the Information Processing Society of Japan ; edited by Hasan Ural
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xiii, 276 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990
edited by Luigi Logrippo, Robert L. Probert, Hasan Ural
出版情報: Amsterdam ; Tokyo : North-Holland , New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990  xi, 415 p. ; 23 cm
所蔵情報: loading…
3.

図書
図書
3. Testing of communicating systems : tools and techniques : IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada
edited by Hasan Ural, Robert L. Probert, Gregor v. Bochmann
出版情報: Boston : Kluwer Academic Publishers, c2000  xiii, 322 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 48
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee Members and Reviewers
Test Suite Coverage and Verification / Part I：
Verification of Test Suites / Claude Jard ; Thierry Jeron ; Pierre Morel1：
Structural Coverage For LOTOS--a Probe Insertion Technique / Daniel Amyot ; Luigi Logrippo2：
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs / Ana Cavalli ; Sveltana Prokopenko ; Nina Yevtushenko3：
Testability and Test Feasibility / Part II：
Determination of Test Configurations for Pair-Wise Interaction Coverage / Alan W. Williams4：
Incremental Testing at System Reference Points / Ina Schieferdecker ; Mang Li ; Axel Rennoch5：
Generation of Feasible Test Sequences for EFSM Models / Ali Y. Duale ; M. Umit Uyar6：
Interoperability Testing of Internet Protocols / Part III：
Experiments on IPv6 Testing / Tibor Csondes ; Sarolta Dibuz ; Peter Kremer7：
Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques / Jiwon Ryu ; Myungchul Kim ; Sungwon Kang ; Soonuk Seol8：
Interoperability Testing System of TCP/IP Based Communication Systems in Operational Environment / Toshihiko Kato ; Tomohiko Ogishi ; Hiroyuki Shinbo ; Yutaka Miyake ; Akira Idoue ; Kenji Suzuki9：
TTCN Evolution and Application / Part IV：
On the Design of the New Testing Language TTCN-3 / Jens Grabowski ; Anthony Wiles ; Colin Willcock ; Dieter Hogrefe10：
HTTP Performance Evaluation with TTCN / Roland Gecse ; Janos Zoltan Szabo11：
Conformance Testing of CORBA Services Using TTCN / Alexey Mednonogov ; Hannu H. Kari ; Olli Martikainen ; Jari Malinen12：
Test Automation and Industrial Testing Experience / Part V：
Formal Test Automation: the Conference Protocol with PHACT / Lex Heerink ; Jan Feenstra ; Jan Tretmans13：
Formal Test Automation: the Conference Protocol with TGV/TORX / Lydie Du Bousquet ; Solofo Ramangalahy ; Severine Simon ; Cesar Viho ; Axel Belinfante ; Rene G. de Vries14：
Functional Testing GPRS Support Nodes using TTCN / Endre Horvath ; Axel Manthey15：
The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance / Giulio Maggiore ; Silvio Valeau ; Jose Pons16：
Real-Time Testing / Part VI：
Verification and Testing of Concurrent Systems with Action Races / Alex Petrenko ; Andreas Ulrich17：
An Approach for Testing Real Time Protocol Entities / Ahmed Khoumsi ; Mehdi Akalay ; Rachida Dssouli ; Abdeslam En-Nouaary ; Louis Granger18：
Test Generation in the Presence of Conflicting Timers / Mariusz A. Fecko ; Paul D. Amer19：
Author Index
Preface
Committee Members and Reviewers
Test Suite Coverage and Verification / Part I：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼