Model-based testing is an effective black-box test generation technique for applications. Existing model-based testing techniques, however, fail to capture implicit domain-specific properties, as they overtly rely on software artifacts such as design ...

Keywords: Haskell, HaskellDB, Test case generation, database-specific test case generation, domain-specific languages, domain-specific testing, model-based testing, test generation tools

This article on teaching software reliability engineering (SRE) represents a consensus of views of experienced software reliability engineering leaders from diverse backgrounds but with ties to education: directors of software reliability and software ...

HOTTest is a model based test automation technique of software systems based on models of the system described using HaskellDB. HaskellDB is an embedded domain specific language derived from Haskell. HOTTest enforces a systematic abstraction process ...

Keywords: Controlled experiment, EFSM software model, Empirical study, Functional specification language, Software test automation

As software plays increasingly important roles in modern society, reliable software becomes desirable for all stakeholders. One of the root causes of software failure is the failure of the computer hardware platform on which the software resides. Traditionally, ...

Software reliability has progressively become critical issues due to the number and the nature of the fields invaded. Software development companies need to be provided with the capability to improve their software development process and decrease its ...

Software-based digital systems are progressively replacing analog systems in safety-critical applications. However the ability to predict their reliability is not well understood and needs further study. A first step towards systematic resolution of ...

Probabilistic Risk Assessment is a technique to assessthe probability of failure or success of a mission. Resultsprovided by the risk assessment methodology are used tomake decisions concerning choice of upgrades,scheduling of maintenance, decision to ...

Adequate testing is necessary and important toensure reliability of software. Most test modelsare specification-based and fail to captureimplicit domain specific properties. This paperpresents a technique, which uses a HaskellDBspecification of the software ...

Abstract¿This research proposes a framework based on expert opinion elicitation, developed to select the software engineering measures which are the best software reliability indicators. The current research is based on the top 30 measures identified ...

Keywords: Expert opinion, software reliability, software engineering measure, ranking.

The authors suggest that subjective reliability estimation from the development lifecycle, based on observed behavior or the reflection of one's belief in the system quality, be included in certification. In statistical terms, the authors hypothesize ...