A constraint-based approach to the representation of software usage models |
| |
| Affiliation: | 1. Institute for Software Technology, Graz University of Technology, Inffeldgasse 16b, Graz 8010, Austria;2. AVL List GmbH, Hans-List-Platz 1, Graz 8020, Austria;3. CD Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems, Institute for Software Technology, Graz University of Technology, Inffeldgasse 16b, Graz 8010, Austria;1. Arab Open University, Department of Computer Sciences, Beirut, Lebanon;2. American University of Beirut, Electrical And Computer Engineering, Lebanon;3. University of Sheffield, Department of Computer Science, United Kingdom;1. School of Business, University of New South Wales (UNSW), Canberra, Australia;2. School of Science, Edith Cowan University (ECU), Perth, Australia |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
