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: 
systemability,  environmental factor,  randomness of operational environment,  Markov process,  software reliability growth, 
  Summary |  Full Text:PDF (508.7KB)
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: 
performability,  real-time property,  performance degradation,  software reliability growth,  infinite-server queueing model, 
  Summary |  Full Text:PDF (353KB)
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/20
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 availability,  imperfect debugging,  software reliability growth,  Markov process,  quantitative assessment, 
  Summary |  Full Text:PDF (598.9KB)
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/20
Vol. E78-A  No. 6  pp. 737-741
Type of Manuscript: PAPER
Category: Reliability and Fault Analysis
Keyword: 
software availability,  measurement and assessment,  Markov process,  instantaneous software availability, 
  Summary |  Full Text:PDF (381.7KB)
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/20
Vol. E75-A  No. 11  pp. 1590-1596
Type of Manuscript: PAPER
Category: Reliability, Availability and Vulnerability
Keyword: 
software reliability measurement,  imperfect debugging,  semi-Markov process,  software reliability growth, 
  Summary |  Full Text:PDF (507.1KB)