Presentation | 2014-01-28 Detailed Operational Profile Generation Using a Place/transition Net and Software Execution Histories Tomohiko TAKAGI, Takuya ARAO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Statistical testing is effective in evaluating software reliability and detecting failures that can make serious impacts on software reliability, and test cases are generated from an operational profile that represents the actual use and the expected behavior of software. Its traditional manner has a difficulty in constructing operational profiles for software whose multiple elements run concurrently and interactively. Therefore, we propose a new technique to generate a detailed operational profile (DOP) from a place/transition net and software execution histories. This paper includes the procedure of statistical testing using DOP, the algorithm of generating DOP, examples, and consideration about its effectiveness. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | software testing / model-based testing / operational profile / place/transition net |
Paper # | KBSE2013-74 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2014/1/20(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Detailed Operational Profile Generation Using a Place/transition Net and Software Execution Histories |
Sub Title (in English) | |
Keyword(1) | software testing |
Keyword(2) | model-based testing |
Keyword(3) | operational profile |
Keyword(4) | place/transition net |
1st Author's Name | Tomohiko TAKAGI |
1st Author's Affiliation | Faculty of Engineering, Kagawa University() |
2nd Author's Name | Takuya ARAO |
2nd Author's Affiliation | Faculty of Engineering, Kagawa University |
Date | 2014-01-28 |
Paper # | KBSE2013-74 |
Volume (vol) | vol.113 |
Number (no) | 414 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |