Doo-Hwan Bae - Academia.edu (original) (raw)
Papers by Doo-Hwan Bae
Journal of KIISE:Software and Applications, 2011
Software processes have been recognized as a main factor for determining the productivity and qua... more Software processes have been recognized as a main factor for determining the productivity and quality of software. However, tailoring software process mainly relies on experts' personal knowledge and experiences, so that the quality of the software process depends on the experts' personal capability. To resolve these problems, we propose a systematic approach to managing the experiences and knowledge on process tailoring for establishing high-quality processes. We developed a tool 'KSTART' to utilize the applicability of the approach. We believe that this approach reduces the effort for tailoring and makes the tailoring activity effective and efficient. Moreover, an efficient software process obtained through the efficient tailoring improves productivity and quality of a project.
Bookmarks Related papers MentionsView impact
The Computer Journal, Nov 11, 2014
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2000
Model checking is a formal verification technique which checks the consistency between a requirem... more Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.
Bookmarks Related papers MentionsView impact
A System of Systems (SoS) is a set of the constituent systems (CS) which has managerial and opera... more A System of Systems (SoS) is a set of the constituent systems (CS) which has managerial and operational independence. To address an SoS-level goal that cannot be satisfied by each CS, an SoS policy guides or forces the CSs to collaborate with each other. If there is a fault in the SoS policy, SoS may fail to reach its goal, even if there is no fault in the CSs. Such a call for SoS policy testing leads to an essential question—how can testers evaluate the effectiveness of test cases?In this paper, we suggest a mutation analysis approach for SoS policy testing. Mutation analysis is a systematic way of evaluating test cases using artificial faults called mutants. As a general mutation framework for SoS policy testing, we present an overview of mutation analysis in SoS policy testing as well as the key aspects that must be defined in practice. To demonstrate the applicability of the proposed approach, we provide a case study using a traffic management SoS with the Simulation of Urban Mobility (SUMO) simulator. The results show that the mutation analysis is effective at evaluating fault detection effectiveness of test cases for SoS policies at a reasonable cost.
Bookmarks Related papers MentionsView impact
i
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2000
Object-oriented methodologies are widely used in the development of huge and complex systems sinc... more Object-oriented methodologies are widely used in the development of huge and complex systems since these methodologies produce the comprehensible and extensible model of systems. In order to apply an object-oriented methodology to a software development, developers should derive a method customized to a specific project from the methodology and, then, construct a development process from the method. Unfortunately, existing object-oriented methodologies lack a systematic facility for the construction of a method and a process. In this paper, we present a customizable object-oriented methodology to support the systematic derivation of a project specific method from the generic methodology. To derive a project specific method from the methodology, we transform the problem of a derivation to a planning problem and apply planning techniques. Our planning technique uses the description of an architecture that captures the structure and characteristics of a software under development as input and constructs an appropriate method with respect to the architecture. The architecture-centered construction facilitates the effective handling for the characteristics of the software since an architecture capture the decisions that must be maintained consistently during the development.
Bookmarks Related papers MentionsView impact
ABSTRACT
Bookmarks Related papers MentionsView impact
Fixing a non-deadlock concurrency bug is a difficult job that sometimes introduces additional bug... more Fixing a non-deadlock concurrency bug is a difficult job that sometimes introduces additional bugs and requires a long time. To overcome this difficulty and efficiently perform fixing jobs, engineers should have broad knowledge of various fix patterns, and the ability to select the most proper one among those patterns based on quantitative data gathered from real-world bug databases. In this paper, we provide a real-world characteristic study on the fixes of non-deadlock concurrency bugs to help engineers responsible for program maintenance. In particular, we examine various fix patterns and the factors that influence the selection of those patterns with respect to the preexistence of locks and failure types. Our results will provide useful information for engineers who write bug patches, and researchers who study efficient testing and fixing techniques.
Bookmarks Related papers MentionsView impact
International Conference on Electronic Commerce, 1998
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2008
Accurate software effort estimation has always been a challenge for the software industrial and a... more Accurate software effort estimation has always been a challenge for the software industrial and academic software engineering communities. Many studies have focused on effort estimation methods to improve the estimation accuracy of software effort. Although data quality is one of important factors for accurate effort estimation, most of the work has not considered it. In this paper, we investigate the influence of outlier elimination on the accuracy of software effort estimation through empirical studies applying two outlier elimination methods(Least trimmed square regression and K-means clustering) and three effort estimation methods(Least squares regression, Neural network and Bayesian network) associatively. The empirical studies are performed using two industry data sets(the ISBSG Release 9 and the Bank data set which consists of the project data collected from a bank in Korea) with or without outlier elimination.
Bookmarks Related papers MentionsView impact
Jeongbogwahakoe keompyuting-ui silje nonmunji, Mar 15, 2016
Finding the exact location of faults in a program requires enormous time and effort. Several faul... more Finding the exact location of faults in a program requires enormous time and effort. Several fault localization methods based on control flows of a program have been studied for decades. Unfortunately, these methods are not applicable to programs based on data-flow languages. A recently proposed mutation-based fault localization method is applicable to data-flow languages, as well as control-flow languages. However, there are no studies on the effectiveness of the mutation-based fault localization method for data-flow based programs. In this paper, we provided an experimental case study to evaluate the effectiveness of mutation-based fault localization on programs implemented in Function Block Diagram (FBD), a widely used data-flow based language in safety-critical systems implementation. We analyzed several real faults in the implementation of FBD programs of a nuclear reactor protection system, and evaluated the mutation-based fault localization effectiveness for each fault.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
International Journal of Software Engineering and Knowledge Engineering
Scenario-based techniques, also known as scenario methods, have been actively employed to resolve... more Scenario-based techniques, also known as scenario methods, have been actively employed to resolve intricate problems for engineering complex software systems. Scenarios are powerful tools that allow engineers to analyze the dynamics and contexts of complex systems. Despite the widespread use, there is a lack of a well-established reference framework that systematically organizes key concepts and attributes of scenarios. This has left engineers without a systematic guidance at the method level, hindering their ability to utilize the scenario methods effectively. To address the challenges associated with scenario methods, this study aims to provide a reference framework and modeling method. By conducting a literature review and suggesting a Conceptual Scenario Framework (CSF), we establish a conceptual basis that systematically presents the core concepts and characteristics of scenarios. Additionally, we introduce the Extensible Scenario Modeling Method (ESMM) that empowers engineers ...
Bookmarks Related papers MentionsView impact
arXiv (Cornell University), May 17, 2022
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2011
Accurate software effort estimation is essential for efficient software project management. Among... more Accurate software effort estimation is essential for efficient software project management. Among the existing methods for software effort estimation, Analogy-Based effort Estimation (ABE) is one of the most commonly used methods in practice, which is a method to estimate the effort for a new project by using the effort of similar projects in historical projects. In order to improve the accuracy of effort estimation of ABE, many studies suggested attribute weighting techniques that assign weight for each attribute to identify more similar projects with a new project. However, since the existing techniques generate a global weight value that is optimized on the whole historical projects, new projects that have different characteristics use the weight value that is not optimized for each project. It may degrade the accuracy of effort estimation of ABE due to neglecting of different characteristic of each project. Thus, in this paper, we propose a locally optimized attribute weighting ...
Bookmarks Related papers MentionsView impact
Current approaches in Object-Oriented Analysis have limitations on modeling complex real systems ... more Current approaches in Object-Oriented Analysis have limitations on modeling complex real systems because they require the prior knowledge about objects and their interactions before applying the analysis techniques. This is possible in small or well known systems but in large real systems this may not be feasible. We suggest a stepewise refinement based top-down engineering approach to Object-Oriented Analysis. This approach is especially good for new areas where we do not know all the onformation in advance. We applied this approach to the B-ISDN service modeling and distributed systems and found encouraging and promising results.
Bookmarks Related papers MentionsView impact
i
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2011
Software processes have been recognized as a main factor for determining the productivity and qua... more Software processes have been recognized as a main factor for determining the productivity and quality of software. However, tailoring software process mainly relies on experts' personal knowledge and experiences, so that the quality of the software process depends on the experts' personal capability. To resolve these problems, we propose a systematic approach to managing the experiences and knowledge on process tailoring for establishing high-quality processes. We developed a tool 'KSTART' to utilize the applicability of the approach. We believe that this approach reduces the effort for tailoring and makes the tailoring activity effective and efficient. Moreover, an efficient software process obtained through the efficient tailoring improves productivity and quality of a project.
Bookmarks Related papers MentionsView impact
The Computer Journal, Nov 11, 2014
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2000
Model checking is a formal verification technique which checks the consistency between a requirem... more Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.
Bookmarks Related papers MentionsView impact
A System of Systems (SoS) is a set of the constituent systems (CS) which has managerial and opera... more A System of Systems (SoS) is a set of the constituent systems (CS) which has managerial and operational independence. To address an SoS-level goal that cannot be satisfied by each CS, an SoS policy guides or forces the CSs to collaborate with each other. If there is a fault in the SoS policy, SoS may fail to reach its goal, even if there is no fault in the CSs. Such a call for SoS policy testing leads to an essential question—how can testers evaluate the effectiveness of test cases?In this paper, we suggest a mutation analysis approach for SoS policy testing. Mutation analysis is a systematic way of evaluating test cases using artificial faults called mutants. As a general mutation framework for SoS policy testing, we present an overview of mutation analysis in SoS policy testing as well as the key aspects that must be defined in practice. To demonstrate the applicability of the proposed approach, we provide a case study using a traffic management SoS with the Simulation of Urban Mobility (SUMO) simulator. The results show that the mutation analysis is effective at evaluating fault detection effectiveness of test cases for SoS policies at a reasonable cost.
Bookmarks Related papers MentionsView impact
i
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2000
Object-oriented methodologies are widely used in the development of huge and complex systems sinc... more Object-oriented methodologies are widely used in the development of huge and complex systems since these methodologies produce the comprehensible and extensible model of systems. In order to apply an object-oriented methodology to a software development, developers should derive a method customized to a specific project from the methodology and, then, construct a development process from the method. Unfortunately, existing object-oriented methodologies lack a systematic facility for the construction of a method and a process. In this paper, we present a customizable object-oriented methodology to support the systematic derivation of a project specific method from the generic methodology. To derive a project specific method from the methodology, we transform the problem of a derivation to a planning problem and apply planning techniques. Our planning technique uses the description of an architecture that captures the structure and characteristics of a software under development as input and constructs an appropriate method with respect to the architecture. The architecture-centered construction facilitates the effective handling for the characteristics of the software since an architecture capture the decisions that must be maintained consistently during the development.
Bookmarks Related papers MentionsView impact
ABSTRACT
Bookmarks Related papers MentionsView impact
Fixing a non-deadlock concurrency bug is a difficult job that sometimes introduces additional bug... more Fixing a non-deadlock concurrency bug is a difficult job that sometimes introduces additional bugs and requires a long time. To overcome this difficulty and efficiently perform fixing jobs, engineers should have broad knowledge of various fix patterns, and the ability to select the most proper one among those patterns based on quantitative data gathered from real-world bug databases. In this paper, we provide a real-world characteristic study on the fixes of non-deadlock concurrency bugs to help engineers responsible for program maintenance. In particular, we examine various fix patterns and the factors that influence the selection of those patterns with respect to the preexistence of locks and failure types. Our results will provide useful information for engineers who write bug patches, and researchers who study efficient testing and fixing techniques.
Bookmarks Related papers MentionsView impact
International Conference on Electronic Commerce, 1998
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2008
Accurate software effort estimation has always been a challenge for the software industrial and a... more Accurate software effort estimation has always been a challenge for the software industrial and academic software engineering communities. Many studies have focused on effort estimation methods to improve the estimation accuracy of software effort. Although data quality is one of important factors for accurate effort estimation, most of the work has not considered it. In this paper, we investigate the influence of outlier elimination on the accuracy of software effort estimation through empirical studies applying two outlier elimination methods(Least trimmed square regression and K-means clustering) and three effort estimation methods(Least squares regression, Neural network and Bayesian network) associatively. The empirical studies are performed using two industry data sets(the ISBSG Release 9 and the Bank data set which consists of the project data collected from a bank in Korea) with or without outlier elimination.
Bookmarks Related papers MentionsView impact
Jeongbogwahakoe keompyuting-ui silje nonmunji, Mar 15, 2016
Finding the exact location of faults in a program requires enormous time and effort. Several faul... more Finding the exact location of faults in a program requires enormous time and effort. Several fault localization methods based on control flows of a program have been studied for decades. Unfortunately, these methods are not applicable to programs based on data-flow languages. A recently proposed mutation-based fault localization method is applicable to data-flow languages, as well as control-flow languages. However, there are no studies on the effectiveness of the mutation-based fault localization method for data-flow based programs. In this paper, we provided an experimental case study to evaluate the effectiveness of mutation-based fault localization on programs implemented in Function Block Diagram (FBD), a widely used data-flow based language in safety-critical systems implementation. We analyzed several real faults in the implementation of FBD programs of a nuclear reactor protection system, and evaluated the mutation-based fault localization effectiveness for each fault.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
International Journal of Software Engineering and Knowledge Engineering
Scenario-based techniques, also known as scenario methods, have been actively employed to resolve... more Scenario-based techniques, also known as scenario methods, have been actively employed to resolve intricate problems for engineering complex software systems. Scenarios are powerful tools that allow engineers to analyze the dynamics and contexts of complex systems. Despite the widespread use, there is a lack of a well-established reference framework that systematically organizes key concepts and attributes of scenarios. This has left engineers without a systematic guidance at the method level, hindering their ability to utilize the scenario methods effectively. To address the challenges associated with scenario methods, this study aims to provide a reference framework and modeling method. By conducting a literature review and suggesting a Conceptual Scenario Framework (CSF), we establish a conceptual basis that systematically presents the core concepts and characteristics of scenarios. Additionally, we introduce the Extensible Scenario Modeling Method (ESMM) that empowers engineers ...
Bookmarks Related papers MentionsView impact
arXiv (Cornell University), May 17, 2022
Bookmarks Related papers MentionsView impact
Journal of KIISE:Software and Applications, 2011
Accurate software effort estimation is essential for efficient software project management. Among... more Accurate software effort estimation is essential for efficient software project management. Among the existing methods for software effort estimation, Analogy-Based effort Estimation (ABE) is one of the most commonly used methods in practice, which is a method to estimate the effort for a new project by using the effort of similar projects in historical projects. In order to improve the accuracy of effort estimation of ABE, many studies suggested attribute weighting techniques that assign weight for each attribute to identify more similar projects with a new project. However, since the existing techniques generate a global weight value that is optimized on the whole historical projects, new projects that have different characteristics use the weight value that is not optimized for each project. It may degrade the accuracy of effort estimation of ABE due to neglecting of different characteristic of each project. Thus, in this paper, we propose a locally optimized attribute weighting ...
Bookmarks Related papers MentionsView impact
Current approaches in Object-Oriented Analysis have limitations on modeling complex real systems ... more Current approaches in Object-Oriented Analysis have limitations on modeling complex real systems because they require the prior knowledge about objects and their interactions before applying the analysis techniques. This is possible in small or well known systems but in large real systems this may not be feasible. We suggest a stepewise refinement based top-down engineering approach to Object-Oriented Analysis. This approach is especially good for new areas where we do not know all the onformation in advance. We applied this approach to the B-ISDN service modeling and distributed systems and found encouraging and promising results.
Bookmarks Related papers MentionsView impact
i
Bookmarks Related papers MentionsView impact