| Presentation | 2018-01-19 Classification of problem detection for incomplete software requirements using the development standard process Toma Miyamura, Shinji Kawaguchi, Naoki Ishihama, Kazuki Kakimoto, Hajimu Iida, Masafumi Katahira, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Software faults in spacecraft software leads to mission failures. To identify software faults, we focus on the incomplete software requirement, on reprehensive reason for the software faults. Based on two perspectives of software fault and development software process, we present a classification method for software faults which are extracted from actual spacecraft project (e.g., artificial satellite and rockets). We expect that this approach can help to identify the tendency of faults and reveal which certain kind of process leads to more faults. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Software process / Bug / Incomplete software requirement / Classification of faults |
| Paper # | MSS2017-66,SS2017-53 |
| Date of Issue | 2018-01-11 (MSS, SS) |
| Conference Information | |
| Committee | SS / MSS |
|---|---|
| Conference Date | 2018/1/18(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
| Vice Chair | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
| Secretary | Akio Nakata(Tokyo Inst. of Tech.) / Shigemasa Takai(Osaka Univ.) |
| Assistant | Kazuyuki Shima(Hiroshima City Univ.) / Hideki Kinjo(Okinawa Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Classification of problem detection for incomplete software requirements using the development standard process |
| Sub Title (in English) | |
| Keyword(1) | Software process |
| Keyword(2) | Bug |
| Keyword(3) | Incomplete software requirement |
| Keyword(4) | Classification of faults |
| 1st Author's Name | Toma Miyamura |
| 1st Author's Affiliation | Nara Institute of Science and Technology(NAIST) |
| 2nd Author's Name | Shinji Kawaguchi |
| 2nd Author's Affiliation | Japan Aerospace eXploration Agency(JAXA) |
| 3rd Author's Name | Naoki Ishihama |
| 3rd Author's Affiliation | Japan Aerospace eXploration Agency(JAXA) |
| 4th Author's Name | Kazuki Kakimoto |
| 4th Author's Affiliation | Japan Aerospace eXploration Agency(JAXA) |
| 5th Author's Name | Hajimu Iida |
| 5th Author's Affiliation | Nara Institute of Science and Technology(NAIST) |
| 6th Author's Name | Masafumi Katahira |
| 6th Author's Affiliation | Japan Aerospace eXploration Agency(JAXA) |
| Date | 2018-01-19 |
| Paper # | MSS2017-66,SS2017-53 |
| Volume (vol) | vol.117 |
| Number (no) | MSS-380,SS-381 |
| Page | pp.pp.107-112(MSS), pp.107-112(SS), |
| #Pages | 6 |
| Date of Issue | 2018-01-11 (MSS, SS) |