Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems

The cost of software maintenance is always increasing. The companies are often confronted to failures and software errors. The quality of software to use is so required. In this paper, the authors propose a new formal approach for assessing the quality of object-oriented system design according to the quality assessment model. This approach consists in modeling the input software system by an automaton based on object-oriented design metrics and their relationship with the quality attributes. The model exhibits the importance of metrics through their links with the attributes of software quality. In addition, it is very practical and flexible for all changes. It allows the quality estimation and its validation. For the verification of proposed probabilistic model (automaton), they use the model-checking and the prism tool. The model-checking is very interesting for the evaluation and validation of the probabilistic automaton. They use it to approve the software quality of the three experimental projects. The obtained results are very interesting and of great importance.

Reverse Engineering of Object Oriented Systems to ALF

In Model Driven Software Engineering (MDSE), Action Language for Foundational UML (ALF) is a new standard for specifying the structure and behavior of a system textually. To update/transform existing systems with respect to advance business needs and/or by the change in the dependent technology, this standard can play a vital role in reverse engineering a system for technology change. In this paper, using ALF, we propose a reverse engineering approach for transforming object oriented system. Our work is the first attempt to use ALF in reverse engineering. Using a case study (an ATM system) of significant size developed in C[Formula: see text], we validate the feasibility of our approach. In this paper, to support our approach by a computer application, we created a tool CPP2ALF; this tool converts the C[Formula: see text] code to srcML code by using a third party srcML-tool and then generates the ALF code by using the generated srcML code.

Metric Approach to Anticipate Reusability of Object-Oriented (O-O) Software Systems

In order to meet the fast software evolution, there is a call for the work on software development based process by reducing time as well as efforts. The aim of the development process should not only be developing software products and services but also focus on improving the quality of the particular software. Software Reusability can be considered as one of the solutions to achieve both objectives i.e. productivity as well as quality. There has been an evolution of various methods and techniques related to construction of reusable components over many years. Object-oriented approach also assures increased software reusability. It is easier to reuse object-oriented software rather than conventional software. The notion of reusability related to Object-oriented software can be achieved through inheritance which in turn contributes to development of reusable components. In this paper different metrics related to software reusability of Object-oriented software systems has been summarized and evaluated using Python. Three python-based programs are considered as datasets for this study-the first dataset depicts single-level inheritance, the second dataset depicts hierarchical inheritance whereas the third dataset depicts multilevel inheritance. This study shows more impact of multilevel inheritance on the reusability of Object-oriented software systems and also helped to understand the important role of metrics in evaluation of object-oriented systems.

Optimization of Test Cases in Object-Oriented Systems Using Fractional-SMO

This paper introduces the technique to select the test cases from the unified modeling language (UML) behavioral diagram. The UML behavioral diagram describes the boundary, structure, and behavior of the system that is fed as input for generating the graph. The graph is constructed by assigning the weights, nodes, and edges. Then, test case sequences are created from the graph with minimal fitness value. Then, the optimal sequences are selected from the proposed fractional-spider monkey optimization (fractional-SMO). The developed fractional-SMO is designed by integrating fractional calculus and SMO. Thus, the efficient test cases are selected based on the optimization algorithm that uses fitness parameters, like coverage and fault. Simulations are performed via five synthetic UML diagrams taken from the dataset. The performance of the proposed technique is computed using coverage and the number of test cases. The maximal coverage of 49 and the minimal number of test cases as 2,562 indicate the superiority of the proposed technique.

AVISAR – An Automated Framework for Test Case Selection & Prioritization using GA for OOS.

In this paper we have presented an automated unified approach called AVISAR for the testing of the Object-oriented Systems (OOS) by Test Case Prioritization (TCP) & their selection using Genetic Algorithm for the OOS. The testing of OOS has become a more challenging task as nowadays it has been widely accepted as a paradigm for large-scale system designing. In this research paper we have also studied the Genetic algorithms in relation to their applications for providing solutions to the various aspects of the OO Testing. As a result after implementing the tool AVISAR using GA’s it has proven to be useful in providing effective solutions to resolve the issues related to the OO Testing domain. Thus it can be used for reducing the efforts of the users for testing by efficient selection of effective test cases

Software Reusability of Object-Oriented Systems using Data Mining Techniques

Due to fast advancement in software industry, there was a demand to cut down time and efforts during process of software development. While designing product and services it is very essential to assure quality of product in order to strengthen market value of the product. To accomplish both quality as well as productivity objectives, it is suggested to go for software reuse. Reusability is an essential measure that can be used to improve overall software quality with lesser cost and efforts. This paper gives insights into various literature studies related to software reusability of Object-oriented software using data mining techniques. In this paper even comparative analysis of various techniques related to prediction and enhancement of reusability of Object-Oriented software systems has been done. This would help to get better understanding of need of reusability enhancement of Object-Oriented systems using data mining techniques

Simulation of Intelligence Evolution in Object-Oriented Systems

In classical artificial intelligence and machine learning fields, the aim is to teach a certain program to find the most convenient and efficient way of solving a particular problem. However, these approaches are not suitable for simulating the evolution of human intelligence, since intelligence is a dynamically changing, volatile behavior, which greatly depends on the environment an agent is exposed to. In this paper, we present several models of what should be considered, when trying to simulate the evolution of intelligence of agents within a given environment. We explain several types of entropies, and introduce a dominant function model. By unifying these models, we explain how and why our ideas can be formally detailed and implemented using object-oriented technologies. The difference between our approach and that described in other papers also — approaching evolution from the point of view of entropies — is that our approach focuses on a general system, modern implementation solutions, and extended models for each component in the system.