检索结果-内蒙古大学图书馆

Constructing checking sequences for distributed testing

FORMAL ASPECTS OF COMPUTING 2006年第1期18卷 84-101页

作者： Ural, H Williams, C Univ Ottawa Sch Informat Technol & Engn Ottawa ON K1N 6N5 Canada

The objective of testing is to determine whether an implementation under test conforms to its specification. In distributed test architectures involving multiple remote testers, this objective can be complicated by the fact that testers may encounter coordination problems relating to controllability (synchronization) and observability during the application of tests. Based on a finite state machine (FSM) specification of the externally observable behaviour of a distributed system and a distinguishing sequence, this paper proposes a method for constructing a checking sequence where there is no potential controllability or observability problems, and where the use of external coordination message exchanges among testers is minimized. The proposed method does not assume a reliable reset feature in the implementations of the given FSM to be tested by the resulting checking sequence.

关键词： distributed testing distributed test architectures controllability and observability problems test coordination finite state machine-based testing checking sequence

来源：评论

学校读者我要写书评

暂无评论

DisUnit: Enable automated distributed testing for distributed systems

DisUnit: Enable automated distributed testing for distribute...

引用

18th IASTED International Conference on Parallel and distributed Computing and Systems

作者： Qu, Runtao Hirano, Satoshi Ohkawa, Takeshi Kubota, Takaya Nicolescu, Radu AIST Natl Inst Adv Ind Sci & Technol Informat Technol Res Inst AIST Tsukuba Cent 2 Tsukuba Ibaraki 3058568 Japan Univ Auckland Dept Comp Sci Auckland New Zealand

ISBN: (纸本)9780889866386

distributed testing is often hard to implement. This is due to difficulties in handling heterogeneous environments, complex configurations, synchronization, error probing, result maintenance and automation in distributed testing. This paper describes a practical testing framework that permits automated distributed testing of distributed systems and applications. The framework extends the capability of JUnit to support test execution over heterogeneous environments and complex configurations.

关键词： JUnit distributed application distributed testing

来源：评论

学校读者我要写书评

暂无评论

Model Based distributed testing of Object Oriented Programs

Model Based Distributed Testing of Object Oriented Programs

引用

International Conference on Information and Communication Technologies (ICICT)

作者： Kumar, Vipin K. S. Mathew, Sheena Govt Engn Coll Dept CSE Trichur 680009 India Cochin Univ Sci & Technol Sch Engn Cochin 682022 Kerala India

In recent times the software systems have evolved in size and complexity. This has resulted in usage of object oriented programming in the development of such systems. Though object oriented programs are helpful in programming large systems, testing of such systems requires much more effort and time. For this the program is analyzed to create a model based on System Dependence Graph(SDG) which is then used to find locations within the program where the state of the program can be freezed and reused while executing other test cases. (C) 2015 The Authors. Published by Elsevier B.V.

关键词： distributed testing SDG FCFS Object Oriented Program testing

来源：评论

学校读者我要写书评

暂无评论

Celestina-Sim: Framework to Support distributed testing and Service Integration in Earthquake Engineering

引用

JOURNAL OF COMPUTING IN CIVIL ENGINEERING 2016年第1期30卷 04014119-04014119页

作者： Martinez, Ignacio Lamata Santacana, Ferran Obon Williams, Martin S. Blakeborough, Anthony Dorka, Uwe E. Univ Oxford Dept Engn Sci Oxford OX1 3PJ England Univ Kassel Inst Struct Engn D-34109 Kassel Germany

distributed hybrid simulation is an approach to large-scale testing in which the system under test is split into several sub-structures which are tested or simulated in different locations. Data are passed between the sub-structures at each timestep so as to ensure that the distributed experiment realistically simulates the full system under test. This approach optimises the use of resources at different locations to achieve a more representative experiment. While different software to conduct distributed simulations exists, there are no standards and specifications to organise and plan the experiments, and as a result the different systems lack inter-operability. To address these issues, we have developed a high-level specification called Celestina, which provides a framework for conducting a distributed experiment. Celestina specifies the services to be implemented, under three main headings of networking, definition and execution, and supports the data exchange during a simulation. It does not force any particular implementation or method of data exchange. This paper summarises the Celestina specification and describes one implementation. Lastly, a validation experiment is presented, involving distributed numerical simulations of an earlier local hybrid experiment, in which Celestina controls the experiment planning and data exchange effectively and with minimal computational overhead. (C) 2014 American Society of Civil Engineers.

关键词： distributed testing Service integration Hybrid simulation Experimental workflow Earthquake engineering platforms Standards Specifications

来源：评论

学校读者我要写书评

暂无评论

Combining Centralised and distributed testing

引用

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2014年第1期24卷 5-5页

作者： Hierons, Robert M. Brunel Univ Dept Comp Sci Uxbridge UB8 3PH Middx England

Many systems interact with their environment at distributed interfaces (ports) and sometimes it is not possible to place synchronised local testers at the ports of the system under test (SUT). There are then two main approaches to testing: having independent local testers or a single centralised tester that interacts asynchronously with the SUT. The power of using independent testers has been captured using implementation relation dioco. In this article, we define implementation relation dioco(c) for the centralised approach and prove that dioco and dioco(c) are incomparable. This shows that the frameworks detect different types of faults and so we devise a hybrid framework and define an implementation relation dioco(s) for this. We prove that the hybrid framework is more powerful than the distributed and centralised approaches. We then prove that the Oracle problem is NP-complete for dioco(c) and dioco(s) but can be solved in polynomial time if we place an upper bound on the number of ports. Finally, we consider the problem of deciding whether there is a test case that is guaranteed to force a finite state model into a particular state or to distinguish two states, proving that both problems are undecidable for the centralised and hybrid frameworks.

关键词： Reliability Verification Centralised testing distributed testing model-based testing

来源：评论

学校读者我要写书评

暂无评论

LCT: A Parallel distributed testing Tool for Multithreaded Java Programs (vol 296, pg 253, 2013)

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2013年 296卷 279-279页

作者： Kaehkoenen, Kari Saarikivi, Olli Heljanko, Keijo Zhang, Fengling Bu, Lei Wang, Linzhang Zhao, Jianhua Chen, Xin Zhang, Tian Li, Xuandong Department of Information and Computer Science School of Science Aalto University PO Box 15400 FI-00076 Aalto Finland

LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs. The tool uses concolic testing to handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid exploring unnecessary interleavings of threads. The LCT tool has been designed for distributed use where the SMT constraint solving and test execution can be distributed to multiple processes on a network of workstations. In this paper we describe the architecture behind the tool and how it allows distributing concolic testing with DPOR and sleep set algorithms. This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs.

关键词： Concolic testing distributed testing symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Model Based distributed testing of Object Oriented Programs

引用

Procedia Computer Science 2015年 46卷 859-866页

作者： K.S. Vipin Kumar Sheena Mathew Department of CSE Govt Engineering College Thrissur 680009 India School of Engineering Cochin University of Science and Technology 682022 India

关键词： distributed testing SDG FCFS Object Oriented Program testing

来源：评论

学校读者我要写书评

暂无评论

distributed Identity testing with Zero-Rate Compression

Distributed Identity Testing with Zero-Rate Compression

引用

IEEE International Symposium on Information Theory (ISIT)

作者： Zhao, Wenwen Lai, Lifeng Univ Calif Davis Dept Elect & Comp Engn Davis CA 95616 USA

ISBN: (纸本)9781509040964

In this paper, we consider the identity testing problems in the distributed setting, in which each terminal has data only relates to one random variable. Each terminal sends zero-rate message to the decision maker, and the decision maker decides the distribution of (X-n, Y-n), which is indirectly revealed from the encoded messages, is the same as or lambda-far from a given distribution. Interpreting this as a distributed composite hypothesis testing problem, we characterize the best error exponent of the type 2 error probability using a universal coding scheme under the exponential-type constraint on the type 1 error probability.

关键词： distributed testing error exponent exponential-type constraint identity testing zero-rate compression

来源：评论

学校读者我要写书评

暂无评论

distributed Automated testing Framework for Bluetooth Mesh Applications

Distributed Automated Testing Framework for Bluetooth Mesh A...

引用

IEEE/IFIP Network Operations and Management Symposium (NOMS)

作者： Wieme, Jorg Baert, Mathias Hoebeke, Jeroen Univ Ghent Imec IDLab Ghent Belgium

ISBN: (纸本)9798350327939;9798350327946

We introduce a comprehensive testing framework built on top of a Bluetooth Mesh Testbed, showcasing a blend of user-friendly design, swift implementation, and adaptability to diverse testing scenarios and technologies. The framework's modular architecture ensures syntactic validation, precise event scheduling, and efficient execution. Its well-defined syntax facilitates easy updates, catering to evolving requirements and maintaining agility. Operating independently across multiple nodes and accommodating various events, whether repetitive or one-time, the framework proves to be a versatile and robust solution for conducting tests. Tools like shared disks and synchronized clocks, provided by the Testbed, further enhance the framework's capability to schedule network flow behavior and gain insights into network performance. Overall, our testing framework presents a valuable tool for researchers and practitioners seeking a seamless and flexible approach to evaluate Bluetooth Mesh networks in a realistic environment.

关键词： Bluetooth Mesh Automated testing distributed testing Testbed Reproducibility

来源：评论

学校读者我要写书评

暂无评论

distributed regression testing

Distributed regression testing

引用

作者： BRANISLAV REPCEK Charles University

学位级别：ET

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：