Testing Variabilities in Use Case Models1

Testing the Structural Model of Neighborhood Attachment and its Interrelation with Neighborhood Satisfaction and Social Participation: Three Case Studies on Mixed-use (Commercial and Residential), Traditional and Modern Urban Fabrics in Tabriz

Product Line Use Cases: Scenario-Based Specification and Testing of Requirements

Use Cases can be employed in system requirements engineering to capture requirements from an external point of view. In product line modeling, commonalities and variabilities of a family of systems have to be described. To this purpose, we have defined extensions and modifications of the Use Cases notation, called Product Line Use Cases (PLUCs). In order to guarantee the conformance of the deri...

Source Size Limitation from Variabilities of a Lensed Quasar

In the case of gravitationally-lensed quasars, it is well-known that there is a time delay between occurrence of the intrinsic variabilities in each split image. Generally, the source of variabilities has a finite size, and there are time delays even in one image. If the origin of variabilities is widely distributed, say over > ∼ 100 pc as whole, variabilities between split images will not show...

An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

Integrated Modeling of Software Product Lines with Feature Models and Classification Trees

Software Product Lines (SPLs) are an approach to improve reusability of software in a large number of products that share a common set of features. In SPLs, Feature Models (FMs) are frequently used to model commonalities and variabilities. However, according to the best of our knowledge, there are no approaches to automatically generate test cases on the basis of a stand-alone FM. We introduce ...