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

object coverage criteria for supporting object-oriented testing

SOFTWARE QUALITY JOURNAL 2023年第4期31卷 1369-1414页

作者： Ghoreshi, M. Haghighi, H. Shahid Beheshti Univ Fac Comp Sci & Engn Tehran Iran

Code coverage criteria are widely used in object-oriented (OO) domains as test quality indicators. However, these criteria are based on the procedural point of view, and therefore do not address the specific features of OO programs. In this article, we extend the code coverage criteria and introduce a new set of criterion, called "object coverage criteria," which cope with OO features like object instantiation, inheritance, polymorphism, and dynamic binding. Unlike previous criteria, the new criteria regard the actual type of the object under test and some inherited codes from the parent/ancestor classes that represent the object's states and behaviors. The new criteria have been implemented in a prototype tool called OCov4J for the Java language. Using this tool and conducting an empirical study on 270 classes (with about 50 k lines of code without blank lines and comments) from several large and widely used open source projects, we have found a considerable positive correlation between the object coverage level (defined via the new proposed criteria) and the number of detected specific OO failures. Not only do the proposed criteria provide ease of use, high automation, and low execution cost, but also they can effectively be applied to real-world OO programs.

关键词： object-oriented testing Test adequacy criteria Code coverage criteria Inheritance Polymorphism

来源：评论

学校读者我要写书评

暂无评论

Investigating the effectiveness of object-oriented testing strategies using the mutation method

引用

SOFTWARE testing VERIFICATION & RELIABILITY 2001年第4期11卷 207-225页

作者： Kim, SW Clark, JA McDermid, JA Univ York Dept Comp Sci York Y010 5DD N Yorkshire England

The mutation method assesses test quality by examining the ability of a test set to distinguish syntactic deviations representing specific types of faults from the program under test. This paper describes an empirical study performed to evaluate the effectiveness of object-oriented (OO) test strategies using the mutation method. The test sets for the experimental system are generated according to three selected OO test strategies and their effectiveness is compared by determining how well the developed test sets kill injected mutants derived from an established mutation system Mothra and the authors' own OO-specific mutation technique which is termed Class Mutation. Copyright (C) 2001 John Wiley & Sons, Ltd.

关键词： mutation testing object-oriented testing Java Class Mutation

来源：评论

学校读者我要写书评

暂无评论

Application of object-oriented testing methods for observatory control system

引用

Hedianzixue Yu Tance Jishu/Nuclear Electronics and Detection Technology 2007年第2期27卷 190-193+169页

作者： Wang, Jian Huang, Kun Ren, Jian Zhu, Li-Ping Yao, Yang-Guang Liu, Guang-Cao Yuan, Hai-Long Jin, Ge Key Laboratory of Physical Electronics of Anhui University of Science and Technology of China Hefei 230026 China

The application of object-oriented testing methods for observatory control system is discussed in this paper. Based on introducing the development process of OCS, the OCS testing process is presented. The OCS testing methods and contents, including the development model-testing, components testing, architecture testing and the interfacing for subsystem testing are discussed.

关键词： Interface Model object-oriented testing Observatory control testing method testing process

来源：评论

学校读者我要写书评

暂无评论

An interaction-based model for object-oriented integration testing and regression testing

引用

Informatik - Forschung und Entwicklung 2000年第3期15.0卷 121-132页

作者： Winter, Mario FernUniversität - GH Hagen FB Informatik Prakt. Inf. III D-58084 Hagen Feithstrasse 142 / IZ Germany

The highly incremental and iterative development cycle for object-oriented software demands both many changes and partially implemented resp. re-implemented classes. Much integration and regression testing has to be done to reach stable stages, which turned out to be considerably more complex than testing conventional software. Despite many similarities, integration and regression testing are treated separately in literature. Known integration testing techniques concentrate on either structural or behavioral descriptions of the system. In this presentation we propose the Class-Message Diagram (CMD), a diagram capturing all possible interactions in an object-oriented program. Then we sketch algorithms to identify integration resp. regression test strategies and all test cases to be executed after some implementation resp. modification activities. Finally, we summarize some experiments on Smalltalk-80 programs. © 2000 Springer-Verlag.

关键词： Class-message diagram Integration testing Java object-oriented testing Regression testing

来源：评论

学校读者我要写书评

暂无评论

An experience in testing an object-oriented satellite control system

引用

SOFTWARE QUALITY JOURNAL 1999年第4期8卷 271-283页

作者： Ambrosio, AM Gonçalves, LSC Cardoso, PE Natl Inst Space Res Ground Syst Div BR-12227010 Sao Jose Dos Campos Brazil

This paper presents our experience in testing an object-oriented software: the Telemetry and Telecommand System (TMTC). The TMTC runs along a distributed architecture comprising microcomputers plus a Data Base server inter-connected via LAN under TCP/IP protocol. This in-house developed software was designed according to the object Modelling Technique (OMT). TMTC's software components represent clusters of classes related to functionality and building blocks of generic services. In order to establish a systematic way for the testing activities we have adapted the Hierarchical Approach (HA), proposed by Shel Siegel, to the experience and culture of the team. The HA, focusing on object-oriented testing, has fitted well with the aim of detecting as many faults as possible in the early phases of the development. In the HA almost all classes are individually tested before being gradually integrated into groups. Groups of classes are defined according to the scenarios specified in the system design phase. This has considerably reduced the testing effort. This paper also discusses the system class number in comparison with the number of stubs and drivers generated for testing. The difficulties to test a distributed application for satellite controlling and monitoring are likewise examined.

关键词： object-oriented testing hierarchical testing approach satellite control system

来源：评论

学校读者我要写书评

暂无评论

ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique

引用

INFORMATION AND SOFTWARE TECHNOLOGY 2000年第10期42卷 677-686页

作者： Chen, HY Tse, TH Deng, YT Univ Hong Kong Dept Comp Sci & Informat Syst Hong Kong Hong Kong Peoples R China Jinan Univ Dept Comp Sci Guangzhou Peoples R China Polytech Univ Dept Comp Sci Brooklyn NY 11201 USA

Given an algebraic specification of a class of objects, we define a fundamental pair as two equivalent terms generated by substituting all the variables on both sides of an axiom by normal forms. For any implementation error in the class, if it can be revealed by two equivalent terms in general, it can also be revealed by a fundamental pair. Hence, we need only select test cases from the set of fundamental pairs instead of equivalent pairs in general. We highlight an algorithm for selecting a finite set of fundamental pairs as test cases. Further, by using the relevant observable contexts technique, we highlight another algorithm to determine whether the objects resulting from executing a fundamental pair are observationally equivalent. If not, it reveals an implementation error. Using these algorithms, we have constructed a system to test object-oriented programs at class-level. We describe in detail the implementation of a prototype system, including the data structure of a Data member Relevant Graph (DRG) for the class, the procedures for the construction and path traversal of the DRG, the generation and execution of relevant observable contexts on the objects under test, and the reporting of implementation errors. The implementation illustrates an innovative idea of embedding testing algorithms into an interpreter to facilitate software testing. (C) 2000 Elsevier Science B.V. All rights reserved.

关键词： equivalent terms fundamental pairs class-level testing object-oriented testing observational equivalence relevant observable contexts

来源：评论

学校读者我要写书评

暂无评论

A Review of Software testing Approaches in object-oriented and Aspect-oriented Systems 50th

A Review of Software Testing Approaches in Object-Oriented a...

引用

50th Annual Convention of the Computer-Society-of-India (CSI) on Digital Life

作者： Bhatia, Vasundhara Singhal, Abhishek Bansal, Abhay Prabhakar, Neha Amity Univ Dept CSE ASET Noida Uttar Pradesh India

ISBN: (纸本)9789811088483;9789811088476

Software testing is considered to be a very important phase in the development of any software. It becomes crucial to inculcate appropriate software testing techniques in every software development life cycle. object-oriented software development has been in use for a while now. Aspect-oriented approach which is comparatively new and works on the basics of object-oriented approach. But aspect-oriented approach also aims to provide modularity, higher cohesion, and separation of concerns. In this paper, we have reviewed the various testing techniques that are developed for both object-oriented and aspect-oriented systems.

关键词： object-oriented object-oriented testing Aspect-oriented Aspect-oriented testing Software testing

来源：评论

学校读者我要写书评

暂无评论

Using evolutionary algorithms for the unit testing of object-oriented software 05

Using evolutionary algorithms for the unit testing of object...

引用

Genetic and Evolutionary Computation Conference

作者： Wappler, Stefan Lammermann, Frank DaimlerChrystler AG Res & Technol D-10559 Berlin Germany

ISBN: (纸本)1595930108

As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test object-oriented software increases. While search-based test case generation strategies, such as evolutionary testing, are well researched for procedural software, relatively little research has been done in the area of evolutionary object-oriented software testing. This paper presents an approach with which to apply evolutionary algorithms for the automatic generation of test cases for the white-box testing of object-oriented software. Test cases for testing object-oriented software include test programs which create and manipulate objects in order to achieve a certain test goal. Strategies for the encoding of test cases to evolvable data structures as well as ideas about how the objective functions could allow for a sophisticated evaluation are proposed. It is expected that the ideas herein can be adapted for other unit testing methods as well. The approach has been implemented by a prototype for empirical validation. In experiments with this prototype, evolutionary testing outperformed random testing. Evolutionary algorithms could be successfully applied for the white-box testing of object-oriented software.

关键词： verification object-oriented testing evolutionary testing chaining approach multi-level optimization automated test case generation

来源：评论

学校读者我要写书评

暂无评论

OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS)

OOPSLA'06 workshop outline: 1st workshop on model-based test...

引用

21st Annual ACM SIGPLAN Conference on object-oriented Programming Systems, Languages, and Applications, OOPSLA 2006

作者： Grieskamp, Wolfgang Richardson, Debra Williams, Clay E. Microsoft Research One Microsoft Way Redmond WA 98052 United States University of California - Irvine Donald Bren School of Information and Computer Sciences ICS 444 Irvine CA 92697 United States IBM T.J. Watson Research Center 19 Skyline Drive Hawthorne NY 10532 United States

No abstract available

ISBN: (纸本)159593491X

No abstract available

关键词： Model-based testing object-oriented testing

来源：评论

学校读者我要写书评

暂无评论

Functional testing of object-oriented software 03

Functional testing of object-oriented software

引用

Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning

作者： Juliana Georgieva Veska Gancheva Dept. of Programming & Computer Systems App. Technical University of Sofia

ISBN: (纸本)9789549641332

The goal of functional testing is to prove that the software performs in conformance with its specification. Functional testing emphasizes the behavioral characteristics of objects by focusing on the interface that is the public, and defining, feature of a class. There are functional test cases for each individual method and functional test cases that treat the class as a unified component. An algorithm that guides the construction of functional test cases for a class is presented. That algorithm can easily be modified to produce test cases at a greater level of coverage. The input to the algorithm will be portions of the class specification that is produced to guide the design process as much as for the testing process.

关键词： inheritance functional class testing object-oriented systems object-oriented testing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：