Title

A Constraint-Based Approach To The Representation Of Software Usage Models

Keywords

Convex constraints; Markov chains; Software usage models

Abstract

Software usage models are the basis for statistical testing. They derive their structure from specifications and their probabilities from evolving knowledge about the intended use of the software product. The evolving knowledge comes from developers, customers and testers of the software system in the form of relationships that should hold among the parameters of a model. When software usage models are encoded as Markov chains, their structure can be represented by a system of linear constraints, and many of the evolving relationships among model parameters can be represented by convex constraints. Given a Markov chain usage model as a system of convex constraints, mathematical programming can be used to generate the Markov chain transition probabilities that represent a specific software usage model. © 2000 Elsevier Science B.V. All rights reserved.

Publication Date

9-1-2000

Publication Title

Information and Software Technology

Volume

42

Issue

12

Number of Pages

825-833

Document Type

Article

Personal Identifier

scopus

DOI Link

https://doi.org/10.1016/S0950-5849(00)00101-4

Socpus ID

0034270752 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0034270752

This document is currently not available here.

Share

COinS