A systematic literature review to identify and classify software requirement errors

Walia, Gursimran Singh; Carver, Jeffrey C.

doi:10.1016/j.infsof.2009.01.004

Cited by 149 publications

(77 citation statements)

References 53 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The proposed framework most importantly affects the software development process, switching the focus from interpreting requirements, coding, and testing to analyzing requirements, modeling, and validating the behavior of the system. This increases the quality of the software dramatically, as nearly three quarters of failures found in operational software originate from errors or oversights in the requirements [33]. Admittedly, our approach may prolong the obtention of the initial control design, but by catching design faults early, the testing costs are mitigated and the overall production time is shortened.…”

Section: Discussionmentioning

confidence: 99%

The role of supervisory controller synthesis in automatic control software development

Baeten

Markovski

2015

Science of Computer Programming

View full text Add to dashboard Cite

h i g h l i g h t s• We discuss the role of supervisor synthesis in automated software code generation.• The proposed approach is systematic and based on process theory.• We implemented a model-based systems and software engineering framework.• The framework has been applied to multiple industrial studies. a r t i c l e i n f o a b s t r a c t We give an overview of a model-driven systems engineering approach for high-tech systems that relies on supervisory controller synthesis. The proposed framework has a process-theoretic foundation and supports extensions with quantitative features. We briefly discuss several industrial case studies that highlight the advantages of the proposed approach.© 2013 Elsevier B.V. All rights reserved. Model-driven control software developmentEmbedding information and communication technology in consumer and industrial products was enabled by advances in software that carries most of these products' functionalities. The need for development techniques that can guarantee software quality is more than apparent. Conferences like Software Development Automation, Model-Driven Engineering Languages and Systems, or Applications of Concurrency in System Design, are some of the venues where this need has been recognized and studied by means of automated model-driven software development techniques. In this paper, we would like to point to one model-driven systems engineering approach, referred to as supervisory controller synthesis, which targets discrete-event control software for high-tech and complex systems. We find this approach to be relevant to the software development community and we hope that it might offer novel insights in development of quality control software, and bring the communities of software development, systems engineering, and formal methods closer together.

show abstract

Section: Discussionmentioning

confidence: 99%

The role of supervisory controller synthesis in automatic control software development

Baeten

Markovski

2015

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…The taxonomy of defect types is taken into account by several more studies, such as in Alshazly et al (2014;Teixeira et al, 2015;Travassos et al ., 1999;Walia and Carver, 2009). For example, the IEEE Standard 1012-2012 recommends verifying and validating an inspected system throughout defect types, such as: Complete, Correct, Omissions, Ambiguities, Traceable, Testable and Consistent (IEEE, 2012).…”

Section: Background Of the Studymentioning

confidence: 99%

Defect Types and Software Inspection Techniques: A Systematic Mapping Study

OliveiraJr¹,

Geraldi²

2017

Journal of Computer Science

View full text Add to dashboard Cite

Software inspection has been used to guarantee and control the quality of products by detecting defects, which can be spread out throughout the entire software life cycle. Therefore, the main premise is to identify and reduce the number of defect types in software artifacts during inspections. This work focuses on providing an up to dated overview of existing defects in the context of software inspection techniques. A systematic mapping was carried out, from which 2096 primary studies were retrieved and 32 were final selected. From the analysis, classification and aggregation of the retrieved studies, important different defect types were identified. Most studies encompass defect types by means of experiments and proposed techniques and approaches. Thus, as a main result, the identification of several different studies with distinct proposals concerned on defect types is evident. Although researchers have conducted studies over time, a general pattern on the detection of defects could not be established. Therefore, the scenario in which this study was carried out provides researchers with the capability of conducting further research in a motivating and challenging research topic, as well as practitioners with the adoption of empirically evaluated inspection techniques and respective defect types.

show abstract

“…However, a large percent of IS projects are considered a failure in terms of budget overruns, time overruns, and abandonment (Bulatovic, 2011;Li, Huang, Luftman, & Sha, 2010;Luftman & Ben-Zvi, 2010;Nauman, Aziz, & Ishaq, 2005;Standish Group, 2009;Thong, Yap, & Raman, 1996). But the main contributor of project failure as suggested by IS scholars is poor quality software products being developed and delivered (Brooks, 1987;Walia & Carver, 2009). …”

Section: Introductionmentioning

confidence: 99%

Fatores-chave do processo de maturidade nas empresas caribenhas de língua inglesa

Chevers

2014

Rev. adm. empres.

View full text Add to dashboard Cite

Fatores-chave do processo de maturidade nas empresas caribenhas de língua inglesa Factores clave de la madurez procesal en las empresas de habla inglesa del caribe ABSTRACTThe information system (IS) community has been struggling with the delivery of low quality systems. Software process improvement (SPI) has been accepted as one of the remedies to overcome this problem, with process maturity being a key element. However, most studies on process maturity and the determinants of IS quality have been conducted in large firms in developed countries. This study assessed the key determinants of process maturity in small software development firms in the English-speaking Caribbean (ESC). Using the established practices in the capability maturity model integration (CMMI) as the baseline for the analysis, it was found that project monitoring & control, and verification & validation are key determinants of process maturity in the ESC. These findings can assist IS professionals in their quest to produce higher quality software products, as well as provide a platform for further refinement of the proposed research model by IS researchers.KEYWORDS | Capability maturity model integration, information systems quality, English-speaking Caribbean firms, process maturity, PLS. RESUMO RAE-Revista de Administração de Empresas | FGV-EAESP

show abstract

A systematic literature review to identify and classify software requirement errors

Cited by 149 publications

References 53 publications

The role of supervisory controller synthesis in automatic control software development

The role of supervisory controller synthesis in automatic control software development

Defect Types and Software Inspection Techniques: A Systematic Mapping Study

Fatores-chave do processo de maturidade nas empresas caribenhas de língua inglesa

Contact Info

Product

Resources

About