Comprehending source code of large software system for reuse

2016 ◽  
Author(s):  
Aniket Kulkarni
Keyword(s):  
Source Code ◽  
Software System ◽  
Large Software

Non-Intrusive Adaptation of System Execution Traces for Performance Analysis of Software Systems

2014 ◽  
pp. 473-493
Author(s):  
Manjula Peiris ◽  
James H. Hill
Keyword(s):  
Performance Analysis ◽  
System Performance ◽  
Source Code ◽  
Software Systems ◽  
Software System ◽  
Original Source ◽  
Performance Properties ◽  
Execution Traces ◽  
Execution Trace ◽  
Analysis Of Performance

This chapter discusses how to adapt system execution traces to support analysis of software system performance properties, such as end-to-end response time, throughput, and service time. This is important because system execution traces contain complete snapshots of a systems execution—making them useful artifacts for analyzing software system performance properties. Unfortunately, if system execution traces do not contain the required properties, then analysis of performance properties is hard. In this chapter, the authors discuss: (1) what properties are required to analysis performance properties in a system execution trace; (2) different approaches for injecting the required properties into a system execution trace to support performance analysis; and (3) show, by example, the solution for one approach that does not require modifying the original source code of the system that produced the system execution.

Using Genetic Algorithms to Search for Key Stakeholders in Large-Scale Software Projects

2013 ◽  
pp. 118-134 ◽  
Author(s):  
Soo Ling Lim ◽  
Mark Harman ◽  
Angelo Susi
Keyword(s):  
Genetic Algorithms ◽  
Real World ◽  
Large Scale ◽  
Requirements Elicitation ◽  
Software Project ◽  
Software System ◽  
Software Projects ◽  
Key Stakeholders ◽  
Large Software ◽  
Stakeholder Needs

Large software projects have many stakeholders. In order for the resulting software system and architecture to be aligned with the enterprise and stakeholder needs, key stakeholders must be adequately consulted and involved in the project. This work proposes the use of genetic algorithms to identify key stakeholders and their actual influence in requirements elicitation, given the stakeholders’ requirements and the actual set of requirements implemented in the project. The proposed method is applied to a large real-world software project. Results show that search is able to identify key stakeholders accurately. Results also indicate that many different good solutions exist. This implies that a stakeholder has the potential to play a key role in requirements elicitation, depending on which other stakeholders are already involved. This work demonstrates the true complexity of requirements elicitation – all stakeholders should be consulted, but not all of them should be treated as key stakeholders, even if they appear to be significant based on their role in the domain.

Extraction of an Architectural Model for Least Privilege Analysis

2012 ◽  
Vol 3 (4) ◽  
pp. 27-44
Author(s):  
Bernard Spitz ◽  
Riccardo Scandariato ◽  
Wouter Joosen
Keyword(s):  
Software Architecture ◽  
Building Block ◽  
Source Code ◽  
Software System ◽  
Task Execution ◽  
Design And Implementation ◽  
Prototype Tool ◽  
Least Privilege ◽  
Architectural Model ◽  
Execution Model

This paper presents the design and implementation of a prototype tool for the extraction of the so-called Task Execution Model directly from the source code of a software system. The Task Execution Model is an essential building block for the analysis of the least privilege violations in a software architecture (presented in previous work). However, the trustworthiness of the analysis results relies on the correspondence between the analyzed model and the implementation of the system. Therefore, the tool presented here is a key ingredient to provide assurance that the analysis results are significant for the system at hand.

Formal Methods for Specifying and Analyzing Complex Software Systems

2010 ◽  
pp. 243-264
Author(s):  
Xudong He ◽  
Huiqun Yu ◽  
Yi Deng
Keyword(s):  
Formal Methods ◽  
Architectural Design ◽  
Source Code ◽  
Modern Society ◽  
Past Research ◽  
Software Systems ◽  
Grand Challenge ◽  
Software System ◽  
Research Experience ◽  
System Specification

Software has been a major enabling technology for advancing modern society, and is now an indispensable part of daily life. Because of the increased complexity of these software systems, and their critical societal role, more effective software development and analysis technologies are needed. How to develop and ensure the dependability of these complex software systems is a grand challenge. It is well known that a highly dependable complex software system cannot be developed without a rigorous development process and a precise specification and design documentation. Formal methods are one of the most promising technologies for precisely specifying, modeling, and analyzing complex software systems. Although past research experience and practice in computer science have convincingly shown that it is not possible to formally verify program behavior and properties at the program source code level due to its extreme huge size and complexity, recently advances in applying formal methods during software specification and design, especially at software architecture level, have demonstrated significant benefits of using formal methods. In this chapter, we will review several well-known formal methods for software system specification and analysis. We will present recent advances of using these formal methods for specifying, modeling, and analyzing software architectural design.

Sign in / Sign up

Export Citation Format

Share Document