Verification, Validation and Testing in Software Engineering

Verification, Validation and Testing in Software Engineering
Author: Aristides Dasso
Publisher: IGI Global
Total Pages: 443
Release: 2007-01-01
Genre: Computers
ISBN: 1591408512

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.

Verification, Validation, and Testing of Engineered Systems

Verification, Validation, and Testing of Engineered Systems
Author: Avner Engel
Publisher: John Wiley & Sons
Total Pages: 723
Release: 2010-11-19
Genre: Technology & Engineering
ISBN: 1118029313

Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consumes about half of the overall engineering cost. Verification, Validation and Testing of Engineered Systems provides a comprehensive compendium of VVT activities and corresponding VVT methods for implementation throughout the entire lifecycle of an engineered system. In addition, the book strives to alleviate the fundamental testing conundrum, namely: What should be tested? How should one test? When should one test? And, when should one stop testing? In other words, how should one select a VVT strategy and how it be optimized? The book is organized in three parts: The first part provides introductory material about systems and VVT concepts. This part presents a comprehensive explanation of the role of VVT in the process of engineered systems (Chapter-1). The second part describes 40 systems' development VVT activities (Chapter-2) and 27 systems' post-development activities (Chapter-3). Corresponding to these activities, this part also describes 17 non-testing systems' VVT methods (Chapter-4) and 33 testing systems' methods (Chapter-5). The third part of the book describes ways to model systems' quality cost, time and risk (Chapter-6), as well as ways to acquire quality data and optimize the VVT strategy in the face of funding, time and other resource limitations as well as different business objectives (Chapter-7). Finally, this part describes the methodology used to validate the quality model along with a case study describing a system's quality improvements (Chapter-8). Fundamentally, this book is written with two categories of audience in mind. The first category is composed of VVT practitioners, including Systems, Test, Production and Maintenance engineers as well as first and second line managers. The second category is composed of students and faculties of Systems, Electrical, Aerospace, Mechanical and Industrial Engineering schools. This book may be fully covered in two to three graduate level semesters; although parts of the book may be covered in one semester. University instructors will most likely use the book to provide engineering students with knowledge about VVT, as well as to give students an introduction to formal modeling and optimization of VVT strategy.

Machine Learning-Based Bug Handling in Large-Scale Software Development

Machine Learning-Based Bug Handling in Large-Scale Software Development
Author: Leif Jonsson
Publisher: Linköping University Electronic Press
Total Pages: 149
Release: 2018-05-17
Genre:
ISBN: 9176853063

This thesis investigates the possibilities of automating parts of the bug handling process in large-scale software development organizations. The bug handling process is a large part of the mostly manual, and very costly, maintenance of software systems. Automating parts of this time consuming and very laborious process could save large amounts of time and effort wasted on dealing with bug reports. In this thesis we focus on two aspects of the bug handling process, bug assignment and fault localization. Bug assignment is the process of assigning a newly registered bug report to a design team or developer. Fault localization is the process of finding where in a software architecture the fault causing the bug report should be solved. The main reason these tasks are not automated is that they are considered hard to automate, requiring human expertise and creativity. This thesis examines the possi- bility of using machine learning techniques for automating at least parts of these processes. We call these automated techniques Automated Bug Assignment (ABA) and Automatic Fault Localization (AFL), respectively. We treat both of these problems as classification problems. In ABA, the classes are the design teams in the development organization. In AFL, the classes consist of the software components in the software architecture. We focus on a high level fault localization that it is suitable to integrate into the initial support flow of large software development organizations. The thesis consists of six papers that investigate different aspects of the AFL and ABA problems. The first two papers are empirical and exploratory in nature, examining the ABA problem using existing machine learning techniques but introducing ensembles into the ABA context. In the first paper we show that, like in many other contexts, ensembles such as the stacked generalizer (or stacking) improves classification accuracy compared to individual classifiers when evaluated using cross fold validation. The second paper thor- oughly explore many aspects such as training set size, age of bug reports and different types of evaluation of the ABA problem in the context of stacking. The second paper also expands upon the first paper in that the number of industry bug reports, roughly 50,000, from two large-scale industry software development contexts. It is still as far as we are aware, the largest study on real industry data on this topic to this date. The third and sixth papers, are theoretical, improving inference in a now classic machine learning tech- nique for topic modeling called Latent Dirichlet Allocation (LDA). We show that, unlike the currently dominating approximate approaches, we can do parallel inference in the LDA model with a mathematically correct algorithm, without sacrificing efficiency or speed. The approaches are evaluated on standard research datasets, measuring various aspects such as sampling efficiency and execution time. Paper four, also theoretical, then builds upon the LDA model and introduces a novel supervised Bayesian classification model that we call DOLDA. The DOLDA model deals with both textual content and, structured numeric, and nominal inputs in the same model. The approach is evaluated on a new data set extracted from IMDb which have the structure of containing both nominal and textual data. The model is evaluated using two approaches. First, by accuracy, using cross fold validation. Second, by comparing the simplicity of the final model with that of other approaches. In paper five we empirically study the performance, in terms of prediction accuracy, of the DOLDA model applied to the AFL problem. The DOLDA model was designed with the AFL problem in mind, since it has the exact structure of a mix of nominal and numeric inputs in combination with unstructured text. We show that our DOLDA model exhibits many nice properties, among others, interpretability, that the research community has iden- tified as missing in current models for AFL.

National Guide to Educational Credit for Training Programs 2004-2005

National Guide to Educational Credit for Training Programs 2004-2005
Author: Jo Ann Robinson
Publisher: Praeger
Total Pages: 1950
Release: 2004
Genre: Education
ISBN: 9781573566056

For more than 25 years, this guide has been the trusted source of information on thousands of educational courses offered by business, labor unions, schools, training suppliers, professional and voluntary associations, and government agencies. These courses provide academic credit to students for learning acquired at such organizations as AT&T, Citigroup, Delta Air Lines, General Motors University, NETg, and Walt Disney World Resort. Each entry in the comprehensive ^INational Guide^R provides: ^L ^L ^DBL Course title ^L ^DBL Location of all sites where the course is offered^L ^DBL Length in hours, days, or weeks ^L ^DBL Period during which the credit recommendation applies^L ^DBL Purpose for which the credit was designed ^L ^DBL Learning outcomes ^L ^DBL Teaching methods, materials, and major subject areas covered^L ^DBL College credit recommendations offered in four categories (by level of degrees) and expressed in semester hours and subject areas(s) in which credit is applicable. ^L ^L The introductory section includes ACE Transcript Service information. For more than 25 years, this guide has been the trusted source of information on thousands of educational courses offered by business, labor unions, schools, training suppliers, professional and voluntary associations, and government agencies. These courses provide academic credit to students for learning acquired at such organizations as AT&T, Citigroup, Delta Air Lines, General Motors University, NETg, and Walt Disney World Resort. Each entry in the comprehensive ^INational Guide^R provides: ^L ^L ^DBL Course title ^L ^DBL Location of all sites where the course is offered^L ^DBL Length in hours, days, or weeks ^L ^DBL Period during which the credit recommendation applies^L ^DBL Purpose for which the credit was designed ^L ^DBL Learning outcomes ^L ^DBL Teaching methods, materials, and major subject areas covered^L ^DBL College credit recommendations offered in four categories (by level of degrees) and expressed in semester hours and subject areas(s) in which credit is applicable. ^L ^L The introductory section includes ACE Transcript Service information.