检索结果-南通市图书馆

SIP conformance testing Based on TTCN-2

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2007年第S1期12卷 223-228页

作者：李天王之梁尹霞 Department of Computer Science and Technology Tsinghua University Network Research Center Tsinghua University

The session initiation protocol (SIP) is a signaling protocol for Internet telephony, multimedia conferencing, presence, event notification, and instant messaging. With the gaining popularity, more and more SIP implementations have been developed and deployed. How to guarantee the conformance of those SIP implementations is the key point of interconnection and interoperation among them. This paper proposes the test method and architecture for the SIP protocol based on the IPv6 tester system. Tree and tabular combined notation (TTCN-2) is adopted to describe the test suite. With an enhanced reference implementation, the data-processing ability to the original test system has been greatly improved. In the following test practices, some errors have been found in the SIP entities under test. It is proved that the proposed test method and architecture are effective to verify the conformance of the SIP entities, and the result of the conformance test may provide helpful reference to the development of SIP products.

关键词： session initiation protocol (SIP) conformance testing reference implementation TTCN test suite

A New Formal Test Suite Specification Language For IPv6 conformance testing

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A New Formal Test Suite Specification Language For IPv6 Conf...

Timing issues in distributed testing

2003 International Conference on Communication Technology

作者： ZhangYujun LiZhongcheng Institute of Computing Technology,Chinese Academy of Sciences,Beijing, China 100080

IPv6 is the next generation Internet protocol. More and more productions supporting IPv6 have been developed, which makes IPv6 conformance testing necessary. The test suite specification language is v

关键词： -IPv6 conformance testing test suite specification language TSSL

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2007年第4期8卷 522-528页

作者： HUANG Chuan-dong JIANG Fan Department of Computer Science University of Science and Technology of China Hefei 230027 China

The objective of conformance testing is to determine whether an implementation under test (IUT) conforms to its specification. In distributed test architecture where there are multiple remote testers, the objective can be complicated by the fact that testers may encounter controllability and observability problems during the application of a test sequence. A certain amount of work has been done in the area of generating test sequence that is free from these problems. However, few researchers investigate them from the aspect of test execution. This work studies the test execution phase when test sequences are applied to the imple- mentation and it is pointed out that controllability and observability problems can be resolved if and only if the test system im- plements some timing constraints. When determining these constraints, the dynamic time information during test is taken into account, which reduces the test execution time and improves test efficiency further.

关键词： conformance testing Distributed system Controllability Observability Reaction time

A new method for improving efficiency of protocol testing

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Frontiers of Electrical and Electronic Engineering in China 2007年第3期2卷 273-276页

作者： ZHAO Baohua JIANG Zhenhai Department of Computer Science and Technology University of Science and Technology of ChinaHefei 230027China

Traditional solutions have encountered some bottleneck in improving the efficiency of protocol testing.A novel method that records the test sequence dynamically is *** dynamically reordering algorithms are brought forward in line with different fault *** impact of the new method of testing efficiency is also *** results demonstrate that the proposed solution is better than the traditional ones in terms of testing efficiency.

关键词： conformance testing test sequence dynamic reordering testing efficiency

An Approach to Concurrent TTCN Test Generation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 1999年第6期14卷 614-618页

作者：毕军吴建平 DepartmentofComputerScienceandTechnology TsinghuaUniversityBeijing100084PR.China DepartmentofComput

The basis of distributed system conformance testing is to test theconformance of each entity with its standard. This paper addresses the approach toentity conformance testing based on concurrent TTCN. First a preliminary framework for entity conformance testing is introduced and a specification model CEBEis presented. Then a test generation method, which could directly derive concurrentTTCN test suite from CEBE, is proposed.

关键词： conformance testing distributed system CEBE concurrent TTCN

Review of Model-Based testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2015年第9期8卷 499-519页

作者： Susanne Rosch Sebastian Ulewicz Julien Provost Birgit Vogel-Heuser Institute of Automation and Information Systems Technische Universitat MünchenMünchenGermany Assistant Professorship for Safe Embedded Systems Technische Universitat MünchenMünchenGermany

As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.

关键词： Model-Based testing Automated Production Systems conformance testing Regression testing Fault Injection Survey

A Study on the testing Procedures of IEC 61850 Based Transformer Protective lED

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy and Power Engineering 2010年第11期4卷 58-62页

作者： N.H. Lee B.T. Jang Y.H. Kim Y.H. An J.Y. Han E.B. Shim Transmission ＆ Distribution Lab of KEPCO Research Institute 65 Munji-Ro Yuseong-Gu Daejeon Rebublic of Korea

Korea Electric Power Corporation in charge of the power IT project ＂Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology＂, is performing the verification of performance of the substation automation system based on IEC 61850. In order to verify a transformer protective lED that might be operating in substation automation system, the new standardized document and procedures are required in the aspect of the utility like KEPCO. But there is nothing to describe systematically how to verify IEC 6 1850 based lED in the system environment except an individual IED testing way. This paper will present the substation automation system based ways and procedures to verify the protective function of the IED using UML （Unified Modeling Language）.

关键词： IED conformance testing IEC61850 substation automation testing procedure.

On testing of IP Routers

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

On Testing of IP Routers

<i>Inmap-t</i>: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements

The Fourth International Conference on Parallel and Distributed Computing, Applications and Technologies

作者： Huaxin Zeng Xun Zhou Bo Song School of Computer and Communications Engineering Southwest Jiaotong University

＜正＞Protocol implementation testing,especially conformance testing has drawn tremendous efforts worldwide since late *** work on conformance testing resulted in a framework on conformance testing as specified in ISO/TEC JNT 1/SC21 *** testing regained its momentum with the advent of IPv6 in Internet, which involves replacement of existing IPv4 based protocol stack. This paper is devoted to techniques of testing of IP *** involvement of an IP router in perspective of migration from IPv4 to IPv6 is analyzed;as a result,a new model for IP routers is introduced. Existing testing techniques in testing OSI protocols are carefully examined and requirement of extension and adaptation to existing techniques are ***, based on authors’ past experience in testing OSI Network Relay system and preliminary research work on IP routers, a multi-functional test system design is introduced based on the new IP router model,and extension to TTCN-3 to adapt to the IP router test system is also briefly discussed.

关键词： Protocol testing conformance testing Performance testing Interoperable testing TTCN(Table and Tree Combined Notation) TTCN-3

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Journal of Computer and Communications 2021年第6期9卷 174-190页

作者： Antonino Vitale Marc Dacier Digital Security Department EURECOM Biot France KAUST—Resilient Computing and Cybersecurity Center (RC3) King Abdullah University of Science and Technology Thuwal Kingdom of Saudi Arabia

This paper rejuvenates the notion of conformance testing in order to assess the security of networks. It leverages the testing and Test Control Notation Version 3 (TTCN-3) by applying it to a redefined notion of System under Test (SUT). Instead of testing, as it is classically done, a software/firmware/ hardware element, an intangible object, namely the network, is tested in order to infer some of its security properties. After a brief introduction of TTCN-3 and Titan, its compilation and execution environment, a couple of use cases are provided to illustrate the feasibility of the approach. The pros and cons of using TTCN-3 to implement a scalable and flexible network testing environment are discussed.

关键词： TTCN-3 Network Security conformance testing Deep Packet Inspection Firewall