Reusing software processes from a software Process Line (SPL, i.e., a set of software processes that captures their commonalities and variabilities) and automating their execution is a way to reduce development costs....
详细信息
ISBN:
(纸本)9781479921430
Reusing software processes from a software Process Line (SPL, i.e., a set of software processes that captures their commonalities and variabilities) and automating their execution is a way to reduce development costs. However, to our best knowledge no approach integrates both aspects. The difficulty is to automate the execution of a process whose variability is only partially resolved (i.e., a value is not set to each variable part of the process). Indeed, according to projects' constraints, it is possible to start the execution of a part of a process whose variability is resolved, while postponing the resolution of the variability of other parts of this process. In this paper, we propose a tool-supported approach that integrates both aspects. It consists of reusing processes from an SPL according to projects' requirements. The processes are bound to components that automate their execution. When the variability of a process to execute is not fully resolved, our approach consists of resolving this variability during the execution of this process. We illustrate this work on a family of processes for designing and implementing modeling languages. Our approach enables both the reuse of software processes and the automation of their execution, while enabling to resolve process variability during the execution.
No single organization could provide everything by themselves. software providing organizations in need of help in Product Line softwareengineering and software houses that can provide the help should establish a mut...
详细信息
ISBN:
(纸本)0769522459
No single organization could provide everything by themselves. software providing organizations in need of help in Product Line softwareengineering and software houses that can provide the help should establish a mutually beneficial relationship in their long-haul plans.
Due to the distributed collaborations and the volunteering nature of Open Source software (OSS), OSS peer review processes differs from traditional approaches. Despite the latest research efforts to understand OSS pee...
详细信息
ISBN:
(纸本)9780769549224
Due to the distributed collaborations and the volunteering nature of Open Source software (OSS), OSS peer review processes differs from traditional approaches. Despite the latest research efforts to understand OSS peer review processes, very little is known. Unlike related work, this study investigates OSS peer review processes from a different perspective. We investigate the importance of OSS peer review contributor roles and their review activities by using social network analysis (SNA), proposed as PeRSoN (Peer Review Social Network). As a case study, we extracted and analyzed the review process of Android Open Source Project (AOSP). To the best of our knowledge, this is the first research constructing social networks from mining a peer review repository. Our preliminary results provided hints on relationships among the OSS peer review contributor roles, their activities, and the network structure. The results raised issues that will be used to refine our approach in the future.
Transitioning from one software development method to another has become a common routine for many companies. Despite this, very few reports give clear and detailed guidelines on how to conduct a process transition. T...
详细信息
ISBN:
(纸本)9780769549224
Transitioning from one software development method to another has become a common routine for many companies. Despite this, very few reports give clear and detailed guidelines on how to conduct a process transition. This paper reports on two real-life process transitions and suggests a general process model of software Method Transition (SoMeT). The SoMeT model aims to guide a transition from one software method to another.
Formal verfication of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear reactor protection system (RPS). FBD progr...
详细信息
ISBN:
(纸本)9780769534466
Formal verfication of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear reactor protection system (RPS). FBD programs are developed manually and revised frequently in process of development. There are a set of properties to be verified formally, which all FBD releases should satisfy. Whenever FBDs are modified, there is also a need to verify behavioral equivalence of subsequently modified FBDs. This paper proposes a software verification,framework for FBD software in nuclear power plants. It uses SMV model checker for verifying whether an FBD meets its required properties, and VIS verification system for checking behavioral equivalence between modified FBDs. A case study, conducted using a nuclear power plant shutdown system being developed in Korea, demonstrated that the proposed verification framework is effective and useful.
Mobile Offshore Units (MOUs) are increasingly dependent on complex software-based controls and automation. However, the industry has been slow to adapt to this software-intensive environment. Delays in commissioning a...
详细信息
ISBN:
(纸本)9781479921430
Mobile Offshore Units (MOUs) are increasingly dependent on complex software-based controls and automation. However, the industry has been slow to adapt to this software-intensive environment. Delays in commissioning and operational downtime due to software and integration problems are commonplace. This article describes a new standard, OS D-203, Integrated software Dependent Systems (ISDS), developed by DNV to help ensure the delivery of MOUs with greater reliability, availability, and safety. DNV's new rule helps to address both software and integration issues. This article provides an overview of ISDS and explains its relationship to the CMMI as well as Component-Based softwareengineering.
This article reports on the developing and practicing of software professional education program for ten years at DENSO. Through the experience in fostering professionals, we focused on solving challenges in order to ...
详细信息
ISBN:
(纸本)9781479921430
This article reports on the developing and practicing of software professional education program for ten years at DENSO. Through the experience in fostering professionals, we focused on solving challenges in order to create an effective solution, and introduced the problem solving technique, advanced softwareengineering and engineer' philosophy to the education program. The performance of participants demonstrated significant improvement in the quality of their solutions. Particularly, the courses in problem solving and engineers' philosophy contributed to motivating the participants and improving the performance. This article reports the improvement of the education program with statistics.
Load testing is an important phase in the software development process. It is very time consuming but there is usually little time for it. As a solution to the tight testing schedule, software companies automate their...
详细信息
ISBN:
(纸本)9780769546094
Load testing is an important phase in the software development process. It is very time consuming but there is usually little time for it. As a solution to the tight testing schedule, software companies automate their testing procedures. However, existing automation only reduces the time required to run load tests. The analysis of the test results is still performed manually. A typical load test outputs thousands of performance counters. Analyzing these counters manually requires time and tacit knowledge of the system-under-test from the performance engineers. The goal of this study is to derive an approach to automatically verify load tests results. We propose an approach based on a statistical quality control technique called control charts. Our approach can a) automatically determine if a test run passes or fails and b) identify the subsystem where performance problem originated. We conduct two case studies on a large commercial telecommunication software and an open-source software system to evaluate our approach. Our results warrant further development of control chart based techniques in performance verification.
Second generation OO methods, with a few exceptions, contained no elements addressing process or project management. Third generation methods have been defined as those collaborative developments which also have a sig...
详细信息
ISBN:
(纸本)0769509169
Second generation OO methods, with a few exceptions, contained no elements addressing process or project management. Third generation methods have been defined as those collaborative developments which also have a significant process element. Two examples are the Rational Unified Process (RUP) and Object-oriented Process, Environment and Notation (OPEN). In this paper, we examine RUP and OPEN from a project management viewpoint and evaluate whether either or both would meet acceptable standards in process support, project management guidelines and full lifecycle description for OO software development.
Quality assurance of AI based systems presents a unique set of challenges to software engineers, making it difficult to assess the risks involved when deploying them. We present a risk assessment tool based on the wid...
详细信息
ISBN:
(纸本)9781665438131
Quality assurance of AI based systems presents a unique set of challenges to software engineers, making it difficult to assess the risks involved when deploying them. We present a risk assessment tool based on the widely used failure mode effect analysis (FMEA) methodology, as well as quality assurance guidelines released in recent years. The tool aims to support the search for potential risks in machine learning (ML) components used in the design and development of AI products. A preliminary evaluation showed its effectiveness and pointed toward areas for future improvement.
暂无评论