Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we propose a new model for describing software processes and an estimation method for the quality, cost and delivery date of a software project. The model was developed based on the experience and the data from the software development process at OMRON Corporation. The model consists of a Project model and a Process model. The Project model focuses on three key components: activity, product and developer of the project. Process model includes a set of Activity models, each of which specifies design, coding, review, test, and debug activities respectively using GSPN(Generalized Stochastic Petri-Net). The new model can take the influence of human factors into account by introducing the concept of "workload." Next, we develop a simulator which supports description of the process and executes the process described by the Activity model. As the result of its execution, we get the estimated values for the quality, cost and delivery date of the target process. Then, we apply the simulator to real software processes at OMRON Corporation and compare these estimated values with actual data. The experimental results show the applicability of the proposed simulator to improve real software process.
- 一般社団法人情報処理学会の論文
- 2001-03-15
著者
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Kikuno Tohru
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
Takagi Yasunari
Graduate School Of Information Science And Technology Osaka University
-
MIZUNO Osamu
Graduate School of Information Science and Technology, Osaka University
-
Kusumoto S
Department Of Chemistry Graduate School Of Science Osaka University
-
Mizuno O
Graduate School Of Information Science And Technology Osaka University
-
Hirayama Yuji
Omron Corporation
-
Kikuno T
Graduate School Of Information Science And Technology Osaka University
-
KUSUMOTO Shinji
Graduate School of Information Science and Technology, Osaka University
-
TAKAGI YASUNARI
OMRON Corporation
-
SAKAMOTO KEISHI
SPI consultant
-
Kusumoto Shinji
Graduate School Of Engineering Science Osaka University
-
Kikuno Tohru
Graduate School Of Engineering Science Osaka University
-
Kusumoto S
Graduate School Of Information Science And Technology Osaka University
-
Mizuno Osamu
Graduate School Of Electrical And Electronics Engineering Kogakuin University:kogakuin University
-
Mizuno Osamu
Graduate School of Electrical and Electronic Engineering Kogakuin University:Department of Information and Communications Engineering Kogakuin University
関連論文
- Probabilistic Model Checking of the One-Dimensional Ising Model
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks
- Effectiveness of an Integrated CASE Tool for Productivity and Quality of Software Developments(Software Engineering)
- P-151 LIPOPROTEIN IS RESPONSIBLE FOR THE IMMUNOBIOLOGICAL ACTIVITIES IN LIPOTEICHOIC ACID FRACTION
- Structural Feature of the Major but Not Cytokine-Inducing Molecular Species of Lipoteichoic Acid^1
- An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
- On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm
- Feature Interaction Verification Using Unbounded Model Checking with Interpolation
- Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
- Probabilistic Model Checking of the One-Dimensional Ising Model
- Mechanism of Immunostimulating Action of Peptidoglycan, Investigation with Synthetic Partial Structures
- Synthesis of Rubrivivax gelatinosus Lipid A and Analogues for Investigation of the Structural Basis for Immunostimulating and Inhibitory Activities
- Synthesis and Biological Activities of Lipid A Analogs Possessing β-Glycosidic Linkage at 1-Position
- TMSCl as a Mild and Effective Source of Acidic Catalysis in Fischer Glycosidation and Use of Propargyl Glycoside for Anomeric Protection(Organic Chemistry)
- Human MD-2 confers on mouse Toll-like receptor 4 species-specific lipopolysaccharide recognition
- Synthesis of[^3H]-Labeled Bioactive Lipid A Analogs and Their Use or Detection of Liped A-Binding Proteins on Murine Macrophages
- Conformational Study of a Tetraacyl Biosynthetic Precursor of Lipid A by NMR
- Identification of Branched Peptidic Structures that Recognize Immunostimulating Glycoconjugate Lipid A from Encoded Combinatorial Libraries
- Novel Dehydrative Glycosylation by Using Acid Anhydride and TMSCIO_4
- An Effective Testing Method for Hardware Related Fault in Embedded Software(Software Engineering for Embedded Systems)
- P-293 Investigation for the bioactive conformation of immunostimulating glycoconjugate lipid A : the synthesis of conformationally constrained analogues
- P-181 Synthesis of peptidoglycan fragments for elucidation of immunostimulating mechanism
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Lipid A antagonist, lipid IVa, is distinct from lipid A in interaction with Toll-like receptor 4 (TLR4)-MD-2 and ligand-induced TLR4 oligomerization
- Comparing Reading Techniques for Object-Oriented Design Inspection(Software Engineering)
- Extended Metrics to Evaluate Cost Effectiveness of Software Inspections(Software Engineering)
- Chemoenzymatic Synthesis of a Trisaccharide-Serine Conjugate, Ga1(β1-3)Gal(β1-4)Xyl(β1-ο)-L-Ser, Use of Galactosyl Fluoride as a Donor for Transglycosylation
- Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
- Propargyloxycarbonyl and Propargyl Groups for Protection of Amino, Hydroxy, and Carboxy Functions
- Synthesis of ^C-Labeled Biosynthetic Precursor of Lipid A and Its Analogue with shorter Acyl Chains
- A Divergent Synthesis of Lipid A and Its Chemically Stable Unnatural Analogues
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- Computing the Stabilization Times of SElf-Stabilizing Systems (Special Section on Concurrent Systems Technology)
- New Constructions for Nondominated k-Coteries
- New System Model Based on Autonomous Decentralized System for Highly Productive Processing Equipment (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
- Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development(Software Engineering for Embedded Systems)
- Test Item Prioritizing Metrics for Selective Software Testing(Software Engineering)
- Enhancing Software Project Simulator toward Risk Prediction with Cost Estimation Capability(Special Section on Concurrent Systems Technology)
- Experimental Evaluation of Two-Phase Project Control for Software Development Process(Special Section on Concurrent Systems Technology)
- A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol(Special Section on Concurrent Systems Technology)
- Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)
- Experimental Evaluation of Processor Scheduling Algorithm for Parallel Logic Simulation Using Benchmark Circuits
- BS-4-42 Proposed Hot Swap System Wireless Interface and Its Implementation(BS-4. Network Design, Management and Control for Future Networked Systems)
- New 2-Factor Covering Designs for Software Testing(Regular Section)
- Chemical Structure of Lipid A from Helicobacter pylori Strain 206-1 Lipopolysaccharide
- An Efficient Procedure for Synthesis of Phosphopeptides through the Benzyl Phosphate-Protection by the Boc Mode Solid-Phase Method
- Empirical Evaluation of Method Complexity for C++ Program
- Model Checking Active Database Rules under Various Rule Processing Strategies
- New Phosphoryl Protecting Groups for Synthesis of Phosphopeptides by Boc Method
- A BDD-based approach to reliability-optimal module allocation in networks (信頼性)
- SAT and SMT based model checking of concurrent systems (コンカレント工学)
- Parallelizing SDP(Sum of Disjoint Products)Algorithms for Fast Reliability Analysis
- An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power(Networks)
- Experimental Evaluation of Team Performance in Program Development Based on a Model : Extension of a Programmer Performance Model
- The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
- Analysis of Rollbacks in Parallel Logic Simulation Based on Virtual Time*
- QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
- BS-5-43 Proposed End-to-End Available Bandwidth Estimation Method Using RTT Taking into Account Traffic Load in Return Path(BS-5. Network and Service Design, Control and Management)
- BS-5-21 A New Application Level Link Aggregation on Android Terminals and Its scalability Evaluation(BS-5. Network and Service Design, Control and Management)
- Model Checking Active Database Rules under Various Rule Processing Strategies
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints