Robert V Binder - Academia.edu (original) (raw)

Uploads

Papers by Robert V Binder

ETSE 2012: Second International Workshop on End-to-end Test Script Engineering, 2012

The xUnit pattern for object-oriented unit testing has become a de facto standard owing to broad ... more The xUnit pattern for object-oriented unit testing has become a de facto standard owing to broad acceptance of open source implementations like Junit. Its strengths are simplicity and ease of adding and combining test cases. However, frameworks following this pattern have many significant deficiencies for creating robust and reusable test suites. These include the absence of useful procedural abstraction for test execution and lack built-in support for indirection of interfaces under test (adapters). This talk presents MTS, an object-oriented framework that corrects these deficiencies. MTS adds essential features of TTCN to the xUnit pattern while preserving its desirable features.

Testing of Communicating Systems XIV, 2002

Emerging information technology promises to take us from the wired web to a wireless "hive mind".... more Emerging information technology promises to take us from the wired web to a wireless "hive mind". This talk considers how can we achieve the necessary reliability. Some lessons from testing object-oriented systems and my work in advanced automated testing are presented. A strategy to apply these lessons to new technical challenges concludes the talk.

List of Figures. List of Tables. List of Procedures. Foreword. Preface. Acknowledgments. I. PRELI... more List of Figures. List of Tables. List of Procedures. Foreword. Preface. Acknowledgments. I. PRELIMINARIES. 1. A Small Challenge. 2. How to Use This Book. Reader Guidance. Conventions. FAQs for Object-oriented Testing. Test Process. 3. Testing: A Brief Introduction. What Is Software Testing? Definitions. The Limits of Testing. What Can Testing Accomplish? Bibliographic Notes. 4. With the Necessary Changes: Testing and Object-oriented Software. The Dismal Science of Software Testing. Side Effects of the Paradigm. Language-specific Hazards. Coverage Models for Object-oriented Testing. An OO Testing Manifesto. Bibliographic Notes. II. MODELS. 5. Test Models. Test Design and Test Models. Bibliographic Notes. 6. Combinational Models. How Combinational Models Support Testing. How to Develop a Decision Table. Deriving the Logic Function. Decision Table Validation. Test Generation. Choosing a Combinational Test Strategy. Bibliographic Notes. 7. State Machines. Motivation. The Basic Model. Th...

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2018

Test case ordering can have significant effects on the cost, duration, or safety of a test suite.... more Test case ordering can have significant effects on the cost, duration, or safety of a test suite. As the total number of possible orderings is n! for n test cases, finding a cost-optimal ordering can be a non-trivial problem. Combinatorial algorithms that generate t-wise test suites either explicitly randomize sequence or order them as a side effect of the algorithm. Design of experiments uses similar strategies to select test configurations and requires sequence randomization for statistical validity. Both approaches produce test sequences that are very likely sub-optimal with respect to cost. This paper presents an integer programming model that minimizes the total cost of a test sequence and notes, for experimental design, how statistical validity may be preserved for a non-random order.

International Journal of Computer Applications

With the advent of Object Oriented programming, most of the software being built is using object ... more With the advent of Object Oriented programming, most of the software being built is using object oriented programming languages. The major challenge lies with testing the software and it is a known fact that testing consumes around 40% of the time in the total software development process. If more number of errors are uncovered in the unit testing phase itself then the probability of propagation of errors to other components or phases gets reduced drastically. Similarly object oriented software also needs to be tested thoroughly at unit level. Unit level testing in OO software refers to the individual classes or group of classes which need to be tested. In the current work an attempt has been made to come up with an automated testing tool for unit testing of object oriented classes developed in java. It offers a single click automation solution for unit testing of OO software by providing the flexibility for the tester to choose the methods of his choice to test.

Overview 4 Survey Highlights 4 Who is a Typical MBT User? 5 Approach 6 Call for Participation 6 D... more Overview 4 Survey Highlights 4 Who is a Typical MBT User? 5 Approach 6 Call for Participation 6 Data Collection 6 Definitions 6 Representativeness 7 Survey Responses 8 Analysis and Presentation 8 User Organizations 9 What kind of organization sponsored the model-based testing project? 9 Approximately how many persons work in this organization, in total? 9 Environment and Applications 10 What was the overall process approach used for the MBT project? 10 What is the general application domain of the SUT? 10 What was the general release level of the SUT after testing was completed? 11 How is the SUT provided to end users/customers? 11 What kinds of computers are used in the SUT? 12 What is the general architecture of the SUT? 12 What OS(s) are used in the SUT? 13 In what programming language(s) is the SUT implemented? 14 Impetus and Preparation 15 What factors led to your project using MBT? 15 At what stage of MBT adoption is your organization? 16 MBT Usage and Configuration 18 What ki...

Communications of the Acm, 1997

ABSTRACT Recognized as a definitive reference for IBM mainframe programmers. Shows how to analyze... more ABSTRACT Recognized as a definitive reference for IBM mainframe programmers. Shows how to analyze run-time errors for programs written in Cobol, Assembly, PL/I, and Fortran. Featured selection of the Library of Computer and Information Sciences Book Club. Published by Prentice-Hall, 1985.

Communications of the Acm, Sep 1, 1994