Software Reliability Prediction Based on a Formal Requirements Specification

Alipour, Hooshmand; Isazadeh, Ayaz

doi:10.1007/978-3-540-89985-3_110

Cited by 4 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A solution to this problem is to pick (and if necessary modify) an existing formalism or introduce a new one, with the following specific characteristics [5]:…”

Section: Problemmentioning

confidence: 99%

“…A solution to this problem is to pick (and if necessary modify) an existing formalism or introduce a new one, with the following specific characteristics [5]: Applicability at the requirement phase: The model must work and produce result at the requirement phase of the software development life cycle to provide early performance assessment. To be usable and understandable: The proposed method should easily be used by the software designers. In fact, description of the software systems should be performed through the informal and/or semi‐formal methods with which most software designer are familiar. Flexibility with respect to requirement changes: When the software requirements are changed, the performance model should recalculate with minimum cost. Formality: The model should be based on a formal software specification method.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Early performance assessment in component‐based software systems

2013

Self Cite

View full text Add to dashboard Cite

Most techniques used to assess the qualitative characteristics of software are done in testing phase of software development. Assessment of performance in the early software development process is particularly important to risk management. Software architecture, as the first product, plays an important role in the development of the complex software systems. Using software architecture, quality attributes (such as performance, reliability and security) can be evaluated at the early stages of the software development. In this study, the authors present a framework for taking the advantages of architectural description to evaluate software performance. To do so, the authors describe static structure and architectural behaviour of a software system as the sequence diagram and the component diagram of the Unified Modelling Language (UML), respectively; then, the described model is automatically converted into the 'interface automata', which provides the formal foundation for the evaluation. Finally, the evaluation of architectural performance is performed using 'queuing theory'. The proposed framework can help the software architect to choose an appropriate architecture in terms of quality or remind him/her of making necessary changes in the selected architecture. The main difference among the proposed method and other methods is that the proposed method benefits the informal description methods, such as UML, to describe the architecture of software systems; it also enjoys a formal and lightweight language, called 'interface automata' to provide the infrastructure for verification and evaluation.

show abstract

“…A solution to this problem is to pick (and if necessary modify) an existing formalism or introduce a new one, with the following specific characteristics [5]:…”

Section: Problemmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Early performance assessment in component‐based software systems

2013

Self Cite

View full text Add to dashboard Cite

show abstract

“…1 Firstly, reliability means a system keeps operating despite internal changes (such as part failure). Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment [2][3] . Secondly, with the rapid growth of large Internet-based system, performance has a deep effect on working of the system.…”

Section: Introductionmentioning

confidence: 99%

Quality Test Template toward Multi-user Access Control of Internet-Based System

Nie¹,

Zhang²

2011

IJIEEB

View full text Add to dashboard Cite

Aiming at three kinds of Internet-based system quality problems, which is performance, liability and security, the paper proposes a kind of test template during multi-user login and resource access control, which includes test requirement, login script, role-resource correlating and mutation test technique. Some Internet-based systems are tested and diagnosed by automation test technique of test template. At last, system quality can be verified and improved through the realization mechanism of test template.

show abstract