Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze

Liggesmeyer, Peter; Rothfelder, Martin; Rettelbach, M.; Ackermann, Thomas

doi:10.1007/s002870050102

Cited by 14 publications

(10 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, thorough verification / validation is vital for testing safetyrelated technical systems [21]. Questions of how to build up confidence or whether or not to apply a specific testing technique are considered in [15] [27].…”

Section: Issues In Testing Dependable Event-based Systemsmentioning

confidence: 99%

“…With respect to reliability, the FMCEA (Failure Mode, Effects and Criticality Analysis) was used [21]. Load and stress testing determines whether the response time meets the requirement, and the stability of the system degrades if the system is tested to the limits of its memory.…”

Section: Testing Of Non-functional Quality Featuresmentioning

confidence: 99%

“…Experience shows that systematic and thorough testing helps to produce high-quality systems and makes accurate quality statements possible. By combining test execution with statistical modeling approaches [21], a quantified statement may be made about the reliability of a system. Reliability growth tests allow periodic estimates to be made of the ratio of failure intensity to failure intensity objective (FI/FIO) on the basis of failure data.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Issues in Testing Dependable Event-Based Systems at a Systems Integration Company

Beer

Heindl

2007

The Second International Conference on Availability, Reliability and Security (ARES'07)

View full text Add to dashboard Cite

Testing of dependable event-based systems is very important to ensure that all requirements (including nonfunctional requirements such as reliability, availability, safety and security) are met and the relevant standards are considered. Siemens Program and Systems Engineering is a company that builds dependable event-based systems in multiple domains. A special unit at PSE, the Support Center Test, focuses on testing issues.In this paper we provide an overview of the state-of-thepractice in testing dependable event-based systems and identify the challenges that have to be addressed in the future. We illustrate our findings by two case studies, one for a transportation system and one for telecommunications. The top three topics for improvement are: testability and requirements tracing, generation of test cases, and verification and validation.

show abstract

Section: Issues In Testing Dependable Event-based Systemsmentioning

confidence: 99%

Section: Testing Of Non-functional Quality Featuresmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Issues in Testing Dependable Event-Based Systems at a Systems Integration Company

Beer

Heindl

2007

The Second International Conference on Availability, Reliability and Security (ARES'07)

View full text Add to dashboard Cite

show abstract

“…This thus makes it possible to evaluate design alternatives before their implementation and validation, and not only afterwards. In this way design errors-which constitute up to 40% of software errors and are among the most expensive ones to resolve when discovered only after implementation [17]-can indeed be detected early on in the development, leading to considerable reductions in cost and serious improvements of quality. To the best of our knowledge, this case study is one of the first successful applications of model checking to the verification of publish/subscribe notification services in a groupware setting.…”

Section: Introductionmentioning

confidence: 99%

A case study on the automated verification of groupware protocols

Beek

Massink

Latella

et al. 2005

Proceedings of the 27th International Conference on Software Engineering - ICSE '05

View full text Add to dashboard Cite

We report on a fruitful combination of applying academic experience with formal modelling and verification techniques to an industrial case study. The goal of the case study was to investigate a priori, i.e. before implementation, the effects of adding a lightweight and easy-to-use publish/subscribe (event) notification service to thinkteam r -an asynchronous and dispersed groupware system which was developed by think3. Researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR-with a longstanding experience in research on the development and application of formal methods, notations, and software tools for the specification, design, and verification of complex computer systemstherefore teamed up with think3-a global provider of integrated product development solutions that provides mechanical design and Product Data Management (PDM) software catering the product management needs of design processes in the manufacturing industry. The technical details of this joint research effort have been documented elsewhere, here we report on the lessons learned from this experience.

show abstract

“…Model checking allows the evaluation of design alternatives before implementation and validationand not just afterwards. In this way, design errors-which constitute up to 40% of software errors and are among the most expensive ones to resolve if discovered after implementation [24]-can be detected in the design phase, leading to considerable reductions in cost and to improved quality.…”

Section: Introductionmentioning

confidence: 99%

Formal verification of an automotive scenario in service-oriented computing

Beek¹,

Gnesi²,

Koch³

et al. 2008

Proceedings of the 13th International Conference on Software Engineering - ICSE '08

View full text Add to dashboard Cite

We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing domain. The aim of this industrial case study is to verify a priori, thus before implementation, certain design issues. The specific scenario is a simplified version of one of possible new services for car drivers to be provided by the in-vehicle computers.

show abstract

Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze

Cited by 14 publications

References 0 publications

Issues in Testing Dependable Event-Based Systems at a Systems Integration Company

Issues in Testing Dependable Event-Based Systems at a Systems Integration Company

A case study on the automated verification of groupware protocols

Formal verification of an automotive scenario in service-oriented computing

Contact Info

Product

Resources

About