• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5
  • Tagged with
  • 7
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Logic programming tools and techniques for imperative program verification

O'Neill, I. M. January 1987 (has links)
No description available.
2

The Uniqueness of Software Errors and Their Impact on Global Policy

Gotterbarn, Donald 01 January 1998 (has links)
The types of errors that emerge in the development and maintenance of sofhvare are essentially different from the types of errors that emerge in the development and maintenance of engineered hardware products. There is a set of standard responses to actual and potential hardware errors, including: engineering ethics codes, engineering practices, corporate policies and laws. The essential characteristics of software errors require new ethical, policy, and legal approaches to the development ofsoftvare in the global arena.
3

The Effect Of Design Patterns On Object-oriented Metrics And Solfware Error-proneness

Aydinoz, Baris 01 September 2006 (has links) (PDF)
This thesis study investigates the connection between design patterns, OO metrics and software error-proneness. The literature on OO metrics, design patterns and software error-proneness is reviewed. Different software projects and synthetic source codes have been analyzed to verify this connection.
4

The impact of error propagation on software reliability analysis of component-based systems

Popic, Petar. January 1900 (has links)
Thesis (M.S.)--West Virginia University, 2005. / Title from document title page. Document formatted into pages; contains ix, 118 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 45-46).
5

Towards efficient legacy test evaluations at Ericsson AB, Linköping

Sterneberg, Karl Gustav January 2008 (has links)
<p>3Gsim is a load generator for traffic simulation in a WCDMA (WidebandCode Division Multiple Access) network. It is developed at Ericsson AB inLinköping. Tests are run daily and the results are evaluated by testers. Whenerrors or abnormalities are found, the testers write trouble reports and thedescribed problems are handed over to designers whose task is to fix them.In order to save time, Ericsson wished to improve the efficiency.This study has focused on a specific part of the process of the developmentof 3Gsim, namely the process of evaluating test results. The goal has beento investigate if and how the process of evaluating 3Gsim test results can bemade more efficient.The daily work of the testers has been studied at close hand by the author.The testers answered a questionnaire with questions about their work andtheir opinions about the tools being used. The answers were evaluated andfocus was laid on the main problems.It was found that a lot of time is wasted on searching for trouble reports.A big part of the test result evaluation process consists of going throughsummary logs with error print-outs. Unfortunately no mapping betweenerror print-outs and trouble reports is performed. When going through thesummary logs the testers have to determine which errors have already beenreported and which ones that haven’t. Another major problem is the factthat most tests fail. On the webpage where the test results are displayed,this is indicated by a coloured field showing red. This is believed to have anegative effect on the work attitude.A lot of time can be saved by mapping error print-outs to trouble reportsand automatically comparing new error print-outs with old ones. The mappingwill also help preventing the creation of duplicated trouble reports. Thissolution will have the greatest impact on the improvement of the efficiency.Another way to enhance the efficiency is to develop a more advanced colourcoding scheme than the one used today. This coding scheme will help thetesters making the right priorities when processing the test results. Furthermore,these two solutions will have a positive effect on the work attitude. Aprototype implementing the first solution has been created. This prototypegives Ericsson AB the possibility to test the solution idea in practice.</p>
6

Towards efficient legacy test evaluations at Ericsson AB, Linköping

Sterneberg, Karl Gustav January 2008 (has links)
3Gsim is a load generator for traffic simulation in a WCDMA (WidebandCode Division Multiple Access) network. It is developed at Ericsson AB inLinköping. Tests are run daily and the results are evaluated by testers. Whenerrors or abnormalities are found, the testers write trouble reports and thedescribed problems are handed over to designers whose task is to fix them.In order to save time, Ericsson wished to improve the efficiency.This study has focused on a specific part of the process of the developmentof 3Gsim, namely the process of evaluating test results. The goal has beento investigate if and how the process of evaluating 3Gsim test results can bemade more efficient.The daily work of the testers has been studied at close hand by the author.The testers answered a questionnaire with questions about their work andtheir opinions about the tools being used. The answers were evaluated andfocus was laid on the main problems.It was found that a lot of time is wasted on searching for trouble reports.A big part of the test result evaluation process consists of going throughsummary logs with error print-outs. Unfortunately no mapping betweenerror print-outs and trouble reports is performed. When going through thesummary logs the testers have to determine which errors have already beenreported and which ones that haven’t. Another major problem is the factthat most tests fail. On the webpage where the test results are displayed,this is indicated by a coloured field showing red. This is believed to have anegative effect on the work attitude.A lot of time can be saved by mapping error print-outs to trouble reportsand automatically comparing new error print-outs with old ones. The mappingwill also help preventing the creation of duplicated trouble reports. Thissolution will have the greatest impact on the improvement of the efficiency.Another way to enhance the efficiency is to develop a more advanced colourcoding scheme than the one used today. This coding scheme will help thetesters making the right priorities when processing the test results. Furthermore,these two solutions will have a positive effect on the work attitude. Aprototype implementing the first solution has been created. This prototypegives Ericsson AB the possibility to test the solution idea in practice.
7

Software Development Process and Reliability Quantification for Safety Critical Embedded Systems Design

Lockhart, Jonathan A. 01 October 2019 (has links)
No description available.

Page generated in 0.0523 seconds