Automated Test Case Generation to Validate Non-functional Software Requirements PDF Download

Author: Pingyu Zhang
Publisher:
ISBN: 9781303298677
Category : Computer software
Languages : en
Pages : 0

View

Book Description
Combined, the two proposed techniques advance the field of automated software testing by providing white-box support for non-functional validation.

Author: Mark Utting
Publisher: Elsevier
ISBN: 0080466486
Category : Computers
Languages : en
Pages : 455

View

Book Description
Practical Model-Based Testing gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics. The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: - The basic principles and terminology of model-based testing - How model-based testing differs from other testing processes - How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process - The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market - A step-by-step process for applying model-based testing - How to write good models for model-based testing - How to use a variety of test selection criteria to control the tests that are generated from your models - How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments - Presents the basic principles and terminology of model-based testing - Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market - Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies

Author: Nader Kesserwan
Publisher:
ISBN:
Category :
Languages : en
Pages : 0

View

Book Description
Testing is the most common activity to validate software systems and plays a key role in the software development process. In general, the software testing phase takes around 40-70% of the effort, time and cost. This area has been well researched over a long period of time. Unfortunately, while many researchers have found methods of reducing time and cost during the testing process, there are still a number of important related issues such as generating test cases from UCM scenarios and validate them need to be researched. As a result, ensuring that an embedded software behaves correctly is non-trivial, especially when testing with limited resources and seeking compliance with safety-critical software standard. It thus becomes imperative to adopt an approach or methodology based on tools and best engineering practices to improve the testing process. This research addresses the problem of testing embedded software with limited resources by the following. First, a reverse-engineering technique is exercised on legacy software tests aims to discover feasible transformation from test layer to test requirement layer. The feasibility of transforming the legacy test cases into an abstract model is shown, along with a forward engineering process to regenerate the test cases in selected test language. Second, a new model-driven testing technique based on different granularity level (MDTGL) to generate test cases is introduced. The new approach uses models in order to manage the complexity of the system under test (SUT). Automatic model transformation is applied to automate test case development which is a tedious, error-prone, and recurrent software development task. Third, the model transformations that automated the development of test cases in the MDTGL methodology are validated in comparison with industrial testing process using embedded software specification. To enable the validation, a set of timed and functional requirement is introduced. Two case studies are run on an embedded system to generate test cases. The effectiveness of two testing approaches are determined and contrasted according to the generation of test cases and the correctness of the generated workflow. Compared to several techniques, our new approach generated useful and effective test cases with much less resources in terms of time and labor work. Finally, to enhance the applicability of MDTGL, the methodology is extended with the creation of a trace model that records traceability links among generated testing artifacts. The traceability links, often mandated by software development standards, enable the support for visualizing traceability, model-based coverage analysis and result evaluation.

Author: Robert Binder
Publisher: Addison-Wesley Professional
ISBN: 9780201809381
Category : Computer software
Languages : en
Pages : 1256

View

Book Description
More than ever, mission-critical and business-critical applications depend on object-oriented (OO) software. Testing techniques tailored to the unique challenges of OO technology are necessary to achieve high reliability and quality. "Testing Object-Oriented Systems: Models, Patterns, and Tools" is an authoritative guide to designing and automating test suites for OO applications. This comprehensive book explains why testing must be model-based and provides in-depth coverage of techniques to develop testable models from state machines, combinational logic, and the Unified Modeling Language (UML). It introduces the test design pattern and presents 37 patterns that explain how to design responsibility-based test suites, how to tailor integration and regression testing for OO code, how to test reusable components and frameworks, and how to develop highly effective test suites from use cases. Effective testing must be automated and must leverage object technology. The author describes how to design and code specification-based assertions to offset testability losses due to inheritance and polymorphism. Fifteen micro-patterns present oracle strategies--practical solutions for one of the hardest problems in test design. Seventeen design patterns explain how to automate your test suites with a coherent OO test harness framework. The author provides thorough coverage of testing issues such as: The bug hazards of OO programming and differences from testing procedural code How to design responsibility-based tests for classes, clusters, and subsystems using class invariants, interface data flow models, hierarchic state machines, class associations, and scenario analysis How to support reuse by effective testing of abstract classes, generic classes, components, and frameworks How to choose an integration strategy that supports iterative and incremental development How to achieve comprehensive system testing with testable use cases How to choose a regression test approach How to develop expected test results and evaluate the post-test state of an object How to automate testing with assertions, OO test drivers, stubs, and test frameworks Real-world experience, world-class best practices, and the latest research in object-oriented testing are included. Practical examples illustrate test design and test automation for Ada 95, C++, Eiffel, Java, Objective-C, and Smalltalk. The UML is used throughout, but the test design patterns apply to systems developed with any OO language or methodology. 0201809389B04062001

Author: Phillip A. Laplante
Publisher: CRC Press
ISBN: 1000775968
Category : Computers
Languages : en
Pages : 395

View

Book Description
This book offers a practical approach to understanding, designing, and building sound software based on solid principles. Using a unique Q&A format, this book addresses the issues that engineers need to understand in order to successfully work with software engineers, develop specifications for quality software, and learn the basics of the most common programming languages, development approaches, and paradigms. The new edition is thoroughly updated to improve the pedagogical flow and emphasize new software engineering processes, practices, and tools that have emerged in every software engineering area. Features: Defines concepts and processes of software and software development, such as agile processes, requirements engineering, and software architecture, design, and construction. Uncovers and answers various misconceptions about the software development process and presents an up-to-date reflection on the state of practice in the industry. Details how non-software engineers can better communicate their needs to software engineers and more effectively participate in design and testing to ultimately lower software development and maintenance costs. Helps answer the question: How can I better leverage embedded software in my design? Adds new chapters and sections on software architecture, software engineering and systems, and software engineering and disruptive technologies, as well as information on cybersecurity. Features new appendices that describe a sample automation system, covering software requirements, architecture, and design. This book is aimed at a wide range of engineers across many disciplines who work with software.

Author: Joaquim Filipe
Publisher: Springer
ISBN: 3642540929
Category : Computers
Languages : en
Pages : 267

View

Book Description
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration.

Author: Shekhar Gulati
Publisher: Apress
ISBN: 1484230159
Category : Computers
Languages : en
Pages : 158

View

Book Description
Explore the new way of building and maintaining test cases with Java test driven development (TDD) using JUnit 5. This book doesn't just talk about the new concepts, it shows you ways of applying them in TDD and Java 8 to continuously deliver code that excels in all metrics. Unit testing and test driven development have now become part of every developer's skill set. For Java developers, the most popular testing tool has been JUnit, and JUnit 5 is built using the latest features of Java. With Java Unit Testing with JUnit 5, you'll master these new features, including method parameters, extensions, assertions and assumptions, and dynamic tests. You'll also see how to write clean tests with less code. This book is a departure from using older practices and presents new ways of performing tests, building assertions, and injecting dependencies. What You Will Learn Write tests the JUnit 5 way Run your tests from within your IDE Integrate tests with your build and static analysis tools Migrate from JUnit 4 to JUnit 5 Who This Book Is For Java developers both with and without any prior unit testing experience.

Author: Rana Farid Mikhail
Publisher: World Scientific
ISBN: 9812837280
Category : Computers
Languages : en
Pages : 210

View

Book Description
This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code.

Author: Jon M. Quigley
Publisher: SAE International
ISBN: 1468605917
Category : Technology & Engineering
Languages : en
Pages : 463

View

Book Description
Created to elevate expertise in testing, verification, and validation with industry-specific terminology, readers are empowered to navigate the complex world of quality assurance. From foundational concepts to advanced principles, each entry provides clarity and depth, ensuring the reader becomes well-versed in the language of precision. This dictionary is an indispensable companion for both professionals and students seeking to unravel the nuances of testing methodologies, verification techniques, and validation processes. Readers will be equipped with the tools to communicate effectively, make informed decisions, and excel in projects. In addition, references to SAE Standards are included to direct the read to additional information beyond a practical definition. (ISBN 9781468605907, ISBN 9781468605914, ISBN 9781468605921, DOI 10.4271/9781468605914)

Author: Antonio Colmenar-Santos
Publisher: Springer Nature
ISBN: 3031476301
Category : Technology & Engineering
Languages : en
Pages : 203

View

Book Description
This book evaluates the contributions of the electronic control unit software of an electric vehicle on sustainability and society, such as the reduction of emissions during a product design and the improvements in the vehicle. A sustainable transport model is proposed, demonstrating its economic viability. By validating software in a more efficient way and adding new functionalities to the software to enhance driving efficiency, energy consumption can be significantly reduced. Therefore, software validation and development have a significant impact on sustainability. This book offers innovative validation solutions based on artificial intelligence techniques to reduce validation time and emissions. The impact of driving efficiency on sustainable transport models is studied in detail, making proposals to be considered in the current environmental policies under discussion within the European Union in order to improve the sustainability of transport models. Vehicles are becoming sophisticated electronic systems due to the fact that they are integrating a significant number of electronic control units. This trend will certainly continue in the year to come. Consequently, software validation techniques are a key element for car manufacturers in order to ensure the quality of the vehicle. This book contributes to these efforts.