Topic
Software verification and validation
About: Software verification and validation is a research topic. Over the lifetime, 15748 publications have been published within this topic receiving 286628 citations. The topic is also known as: verification and validation & V&V.
Papers published on a yearly basis
1 / 2
Papers
TL;DR: This paper analyzes the behavior of the corresponding optimal test profile determined by the CMC approach to software testing and introduces adaptive software testing, which adjusts software testing strategy on-line by using testing data collected during software testing in response to changes in the understanding of the software under test.
Abstract: Software cybernetics explores the interplay between software theory/engineering and control theory/engineering. Following the idea of software cybernetics, the controlled Markov chains (CMC) approach to software testing treats software testing as a control problem. The software under test serves as a controlled object, and the (optimal) testing strategy determined by the theory of controlled Markov chains serves as a controller. This paper analyzes the behavior of the corresponding optimal test profile determined by the CMC approach to software testing and introduces adaptive software testing. It is shown that in some cases the optimal test profile is Markovian, whereas in some other cases the optimal test profile demonstrates a different scenario. The adaptive software testing adjusts software testing strategy on-line by using testing data collected during software testing in response to changes in our understanding of the software under test. Simulation results show that the adaptive strategy of software testing is feasible and significantly reduces the number of test cases required to detect and remove a certain number of software defects in comparison with the random strategy of software testing.
125 citations
1 Jan 2001
TL;DR: This paper presents a tool called QuARS (Quality Analyzer of Requirements Specification) for the analysis of natural language software requirements based on a special Quality Model for software requirements.
Abstract: This paper presents a tool called QuARS (Quality Analyzer of Requirements Specification) for the analysis of natural language software requirements. The definition of QuARS has been based on a special Quality Model for software requirements. The Quality Model aims at providing a quantitative, corrective and repeatable evaluation of software requirement documents. To validate the Quality Model several real software requirements documents have been analyzed by our tool showing interesting results.
125 citations
TL;DR: A simple method of product family engineering using patterns to model variability and tested it on the European Space Operations Centre new mission planning software system with positive results.
Abstract: A product family can generate significant savings in cost and time by permitting software component reuse. The authors have developed a simple method of product family engineering using patterns to model variability and tested it on the European Space Operations Centre new mission planning software system with positive results.
125 citations
TL;DR: In this paper, the authors present a vision of integrated product and process line (SPPL) engineering, where suitable artifacts and processes can be chosen based on a set of product & process requirements and project constraints.
Abstract: Increasing demands imposed on software-intensive systems will require more rigorous engineering and management of software artifacts and processes. Software product line engineering allows for the effective reuse of software artifacts based on the pro-active organization of similar artifacts according to similarities and variances. Software processes – although also variable across projects – are still not managed in a similar systematic way. This paper motivates the need for Software Process Lines similar to Product Lines. As a result of such organization, processes within an organization could be organized according to similarities and differences, allowing for better tailoring to specific project needs (corresponds to application engineering in product lines). The vision of SPPL (integrated product and process line) engineering is presented, where suitable artifacts and processes can be chosen based on a set of product & process requirements and project constraints. The paper concludes with some resulting challenges for research, practice, and teaching.
124 citations
TL;DR: This paper reports on the experience with a relational approach to support the analysis of existing software architectures and the theory, the tools and some of the applications developed so far.
Abstract: This paper reports on our experience with a relational approach to support the analysis of existing software architectures. The analysis options provide for visualization and view calculation. The approach has been applied for reverse engineering. It is also possible to check concrete designs against architecture-related rules. The paper surveys the theory, the tools and some of the applications developed so far. © 1998 John Wiley & Sons, Ltd.
124 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2021 | 28 |
| 2020 | 38 |
| 2019 | 48 |
| 2018 | 72 |
| 2017 | 349 |
| 2016 | 653 |