Keyword : software testing


Test Scenario Generation for Web Application Based on Past Test Artifacts
Rogene LACANIENTA Shingo TAKADA Haruto TANNO Morihide OINUMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5 ; pp. 1109-1118
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
software testingscenario generationknowledge-based engineeringWeb applications
 Summary | Full Text:PDF(784.6KB)

Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
Toru NANBA Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9 ; pp. 1501-1505
Type of Manuscript:  Special Section LETTER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
SATsoftware testingpairwise testingtest set generationconstraints
 Summary | Full Text:PDF(86.8KB)

Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages
Kazunori SAKAMOTO Fuyuki ISHIKAWA Hironori WASHIZAKI Yoshiaki FUKAZAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/12/01
Vol. E94-D  No. 12 ; pp. 2418-2430
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
software testingtest coveragecode coveragemetricsframework
 Summary | Full Text:PDF(933.6KB)

Software Reliability Modeling Considering Fault Correction Process
Lixin JIA Bo YANG Suchang GUO Dong Ho PARK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/01/01
Vol. E93-D  No. 1 ; pp. 185-188
Type of Manuscript:  LETTER
Category: Software Engineering
Keyword: 
software reliabilitysoftware testingfault correction processcontinuous-time Markov chainmaximum likelihood estimation
 Summary | Full Text:PDF(190.2KB)

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method
Masaki NAKAMURA Takahiro SEINO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5 ; pp. 1012-1021
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Testing
Keyword: 
formal specificationproof scoresoftware testingOTSCafeOBJ
 Summary | Full Text:PDF(233KB)

Development of a Topology Controllable Testing Environment for Mobile Ad Hoc Network Software
Atsushi KAWANO Tomoyuki OHTA Kaori MAEDA Kenji ISHIDA Yoshiaki KAKUDA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2007/11/01
Vol. E90-B  No. 11 ; pp. 3104-3107
Type of Manuscript:  Special Section LETTER (Special Section on Next Generation Network Management)
Category: 
Keyword: 
mobile ad hoc networkssoftware testing
 Summary | Full Text:PDF(292.2KB)

An Effective Testing Method for Hardware Related Fault in Embedded Software
Takeshi SUMI Osamu MIZUNO Tohru KIKUNO Masayuki HIRAYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/06/01
Vol. E88-D  No. 6 ; pp. 1142-1149
Type of Manuscript:  Special Section PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
embedded software developmentfault tree analysissoftware testing
 Summary | Full Text:PDF(592.5KB)

Test Item Prioritizing Metrics for Selective Software Testing
Masayuki HIRAYAMA Osamu MIZUNO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/12/01
Vol. E87-D  No. 12 ; pp. 2733-2743
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
software testingselective testingprioritization
 Summary | Full Text:PDF(2.1MB)

Intelligent versus Random Software Testing
Juichi TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4 ; pp. 849-854
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Metrics, Test, and Maintenance
Keyword: 
software testingrandom testingintelligence testingChinese postman problemfault detection
 Summary | Full Text:PDF(346.5KB)

Testing for High Assurance System by FSM
Juichi TAKAHASHI Yoshiaki KAKUDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/10/01
Vol. E86-D  No. 10 ; pp. 2114-2120
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: Testing
Keyword: 
software testinghigh assurance systemautomated testingstatistical testingcode coverage
 Summary | Full Text:PDF(334.7KB)

New 2-Factor Covering Designs for Software Testing
Noritaka KOBAYASHI Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/12/01
Vol. E85-A  No. 12 ; pp. 2946-2949
Type of Manuscript:  LETTER
Category: Algorithms and Data Structures
Keyword: 
factor covering designsoftware testingfinite field
 Summary | Full Text:PDF(183.5KB)

A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
Yoshiaki KAKUDA Hideki YUKITOMO Shinji KUSUMOTO Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/07/25
Vol. E78-D  No. 7 ; pp. 802-810
Type of Manuscript:  Special Section PAPER (Special Issue on Verification, Test and Diagnosis of VLSI Systems)
Category: 
Keyword: 
software testingcommunication protocolconformance testingfault localizationtest sequence
 Summary | Full Text:PDF(729KB)

A New Metric for Cost Effectiveness of Software Reviews
Shinji KUSUMOTO Ken-ichi MATSUMOTO Tohru KIKUNO Koji TORII 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/09/25
Vol. E75-D  No. 5 ; pp. 674-680
Type of Manuscript:  Special Section PAPER (Special Issue on Software)
Category: 
Keyword: 
software metriccost effectivenesssoftware reviewsoftware testingexperimental evaluation
 Summary | Full Text:PDF(600.6KB)