Corpus ID: 107483281

Exploring the Software Verification and Validation Process with Focus on Efficient Fault Detection

@inproceedings{Andersson2003ExploringTS,
  title={Exploring the Software Verification and Validation Process with Focus on Efficient Fault Detection},
  author={C. Andersson},
  year={2003}
}
Quality is an aspect of high importance in software development projects. The software organizations have to ensure that the quality of their developed products is what the customers expect. Thus, the organizations have to verify that the product is functioning as expected and validate that the product is what the customers expect. Empirical studies have shown that in many software development projects as much as half of the projected schedule is spent on the verification and validation… Expand
Quality Improvement with Focus on Performance in Software Platform Development
Platform development provides software organisations with means to quickly respond to changing consumer needs. Product reuse and improved development efficiency can be achieved if platformExpand
Integrating Verification and Validation Techniques Knowledge into Software Engineering Environments
Accomplishing software verification and validation (V&V) activities is not a simple task. It involves a great number of techniques to choose and there is no sufficient organized information toExpand
Test-case Driven versus Checklist-based Inspections of Software Requirements - An Experimental Evaluation
TLDR
An evaluation of test-case driven inspections (TCD) - an emerging inspection technique that aims to cut costs associated with traditional requirements inspections indicates that TCD inspections perform better when it comes to effectiveness in finding major faults in a requirements specification. Expand
Towards the Correctness of Software Behavior in UML: A Model Checking Approach Based on Slicing
TLDR
An UML-based verification method that checks whether the conditions on the evolution of the embedded system are met by the model, and suggests the integration of the slicing (reduction) technique. Expand
Requirements Prioritisation and Retrospective Analysis for Release Planning Process Improvement
The quality of a product can be defined by its ability to satisfy the needs and expectations of its customers. Achieving quality is especially difficult in market-driven situations since the productExpand
Strategies for Management of Architectural Change and Evolution
Software architecture, the underlying structure to a software system, is an asset which can be invested in. Such investments can later be capitalized on in the form of e.g. increased flexibility andExpand
Software quality assurance in scrum projects: a case study of development processes among scrum teams in South Africa
Thesis Submitted in fulfilment of the requirements for the degree Master of Technology in Information Technology in the Faculty of Informatics and Design at the Cape Peninsula University ofExpand
Performance modeling and control of web servers
TLDR
This thesis deals with the task of modeling a web server and designing a mechanism that can prevent the web server from being overloaded and an admission control mechanism for the Apache web server based on a combination of queuing theory and con trol theory. Expand
Overload control and performance evaluation in a Parlay/OSA environment
To increase the pace of development and deployment of new services and applications in telecommunication networks, new service architectures have been proposed. Parlay/OSA is one of the proposalsExpand
WLAN Security : IEEE 802.11b or Bluetooth - which standard provides best security methods for companies?
Which security holes and security methods do IEEE 802.11b and Bluetooth offer? Which standard provides best security methods for companies? These are two interesting questions that this thesis willExpand

References

SHOWING 1-10 OF 97 REFERENCES
An industrial case study of the verification and validation activities
  • T. Berling, T. Thelin
  • Computer Science
  • Proceedings. 5th International Workshop on Enterprise Networking and Computing in Healthcare Industry (IEEE Cat. No.03EX717)
  • 2003
TLDR
A case study over 2 years in a large project investigating the trade-off between inspections and testing found an increased focus on the development of low level design specifications before the coding activity, and testing improvements in early phases to be important process improvements for the organization. Expand
Verification and validation in industry - a qualitative survey on the state of practice
  • C. Andersson, P. Runeson
  • Engineering, Computer Science
  • Proceedings International Symposium on Empirical Software Engineering
  • 2002
TLDR
A qualitative survey of the verification and validation processes at 11 Swedish companies was presented to exchange experience between the companies and to lay out a foundation for further research on the topic. Expand
Modeling software testing processes
TLDR
The paper proposes the utilization of system dynamics models for better understanding testing processes and motivation for modeling testing processes is presented along with a an executable model of the unit test phase. Expand
Software testing in the real world - improving the process
PART I: Software testing process maturity Chapter 1: The six essentials of software testing Essential 1: The quality of the test process determines the success of the test effort Essential 2: PreventExpand
Operational profiles in software-reliability engineering
  • J. Musa
  • Engineering, Computer Science
  • IEEE Software
  • 1993
TLDR
Using an operational profile to guide testing ensures that if testing is terminated and the software is shipped because of schedule constraints, the most-used operations will have received the most testing and the reliability level will be the maximum that is practically achievable for the given test time. Expand
A System Dynamics Simulation Study of a Software Development Process
TLDR
The simulations showed that allocating more resources to requirement and specification tasks would result in a shorter lead-time and a higher quality of the developed software than what is currently accomplished at Ericsson Mobile Communications AB. Expand
Studying the effects of code inspection and structural testing on software quality
  • O. Laitenberger
  • Computer Science, Engineering
  • Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257)
  • 1998
TLDR
The experimental results indicate little evidence to support the hypothesis that structural testing detects different defects, that is, defects of a particular class, that were missed by inspection and vice versa, suggesting that inspection and structural testing do not complement each other well. Expand
Derivation of an integrated operational profile and use case model
  • P. Runeson, B. Regnell
  • Computer Science
  • Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257)
  • 1998
TLDR
The use case model structure can be transformed into an operational profile model adding the profile information and it is concluded that the effort may be saved in both development and maintenance of software artifacts. Expand
The coming-of-age of software architecture research
  • M. Shaw
  • Computer Science
  • Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001
  • 2001
TLDR
This retrospective on a decade-plus of software architectureResearch examines the maturation of the software architecture research area by tracing the types of research questions and techniques used at various stages and how results build up over time. Expand
Comparing the Effectiveness of Software Testing Strategies
This study applies an experimentation methodology to compare three state-of-the-practice software testing techniques: a) code reading by stepwise abstraction, b) functional testing using equivalenceExpand
...
1
2
3
4
5
...