Koichi TOKUNO


Markovian Modeling for Operational Software Reliability Evaluation with Systemability
Koichi TOKUNO Shigeru YAMADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9  pp. 1469-1477
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
systemabilityenvironmental factorrandomness of operational environmentMarkov processsoftware reliability growth
 Summary | Full Text:PDF

Performability Modeling for Software System with Performance Degradation and Reliability Growth
Koichi TOKUNO Shigeru YAMADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2009/07/01
Vol. E92-A  No. 7  pp. 1563-1571
Type of Manuscript:  Special Section PAPER (Special Section on Recent Advances in Technologies for Assessing System Reliability)
Category: 
Keyword: 
performabilityreal-time propertyperformance degradationsoftware reliability growthinfinite-server queueing model
 Summary | Full Text:PDF

Markovian Software Availability Measurement Based on the Number of Restoration Actions
Koichi TOKUNO Shigeru YAMADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/05/25
Vol. E83-A  No. 5  pp. 835-841
Type of Manuscript:  Special Section PAPER (Special Section on Reliability Theory and Its Applications)
Category: 
Keyword: 
software availabilityimperfect debuggingsoftware reliability growthMarkov processquantitative assessment
 Summary | Full Text:PDF

A Markovian Software Availability Measurement with a Geometrically Decreasing Failure-Occurrence Rate
Koichi TOKUNO Shigeru YAMADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/06/25
Vol. E78-A  No. 6  pp. 737-741
Type of Manuscript:  PAPER
Category: Reliability and Fault Analysis
Keyword: 
software availabilitymeasurement and assessmentMarkov processinstantaneous software availability
 Summary | Full Text:PDF

A Markovian Imperfect Debugging Model for Software Reliability Measurement
Koichi TOKUNOH Shigeru YAMADA Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/11/25
Vol. E75-A  No. 11  pp. 1590-1596
Type of Manuscript:  PAPER
Category: Reliability, Availability and Vulnerability
Keyword: 
software reliability measurementimperfect debuggingsemi-Markov processsoftware reliability growth
 Summary | Full Text:PDF