In the paper we explore the possibilities of automated test-case generation from the IFML model of application front–end. As opposed to the previous core UML standard, IFML captures the structure and properties of the application user interface, which gives us new possibilities in model–based test case generation: produced test cases have a higher probability of being consistent and of respecti...

In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in terms of the set of products they can specify. Moreover, we define the notion of tests for ea...

Expansion of computer systems and the increasing number of services provided by Internet has lead software engineers to worry about security issues of their software. The reason is the short amount of time dedicated to test these characteristics, which leads to release insecure software to final users. To ease this problem, the use of modelbased testing is becoming popular. Several works propos...

construction industry consists of several phases in which a variety of stakeholders are involved. as construction projects are becoming larger, more complex and more diverse, the design phase has been more important factor for the success of projects than ever before. however, it is considered that most of design work occurred in actual design process is intangible. such recognition makes the d...

Traditionally, System Analysis and Software Design are treated as separate processes. Software Design is based on System Analysis but they have little direct relationship to each other. UML (Unified Modeling Language) is widely accepted by industry as the de facto standard for System Analysis and Software Design. The primary tool for System Analysis is the Use Case Diagram and its Scenarios, wh...

Use case diagrams are the core diagrams of the Unified Modeling Language (UML), de facto standard for software modeling. They are used to visualize relations between the users (Actors) and the functionality of the software system (Use Cases). Galois sub hierarchy (GSH) is a sub-order of the concept lattice that contains only concepts with object or attribute labels. This paper investigates the ...

In the UML, use cases are used to define coherent units of functionality associated with classes, subsystems, or systems. Two principal purposes that use cases serve are specifying the functionality the system will provide and providing a basis for developing test cases for the system being specified. This paper discusses issues that arise when using use cases as the basis for model-based testi...

Maintainability is an important character which is given by product design process. The maintainability design criteria and measure index used in product maintainability analysis are summarized and discussed in this paper. A product maintainability design method is studied by integrating the product feature model, maintainability design criteria with measure index. Product feature model can be ...

Recent work within the CBR community has studied more systematic means of interrelating different types of domain knowledge, tasks, and methods for building and maintaining CBR systems. This paper reviews work from the knowledge acquisition community, targeted at methodologies and tools for analysis, modeling, and maintenance of knowledge components. It is argued that the knowledge level is the...