{"created":"2023-07-07T08:26:11.054252+00:00","id":2000020,"links":{},"metadata":{"_buckets":{"deposit":"9912228d-e8d8-4032-9306-5d71313f4619"},"_deposit":{"created_by":5,"id":"2000020","owners":[5],"pid":{"revision_id":0,"type":"depid","value":"2000020"},"status":"published"},"_oai":{"id":"oai:miyazaki-u.repo.nii.ac.jp:02000020","sets":["73","73:36","73:36:330","73:36:330:496"]},"author_link":["6484"],"control_number":"2000020","item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2022-11-30","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"146","bibliographicPageStart":"141","bibliographicVolumeNumber":"51","bibliographic_titles":[{"bibliographic_title":"宮崎大学工学部紀要","bibliographic_titleLang":"ja"},{"bibliographic_title":"Memoirs of Faculty of Engineering, University of Miyazaki","bibliographic_titleLang":"en"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"One of the methods to eliminate the ambiguity of specifications in software design is to use formal methods. One of the formal specification description languages is VDM++. Software testing is necessary in using formal methods, but generating test cases manually is time-consuming and labor-intensive. Therefore, we developed BWDM, which is an automatic test case generation tool for VDM++ specifications, in our laboratory. However, the existing BWDM does not support type definition blocks and conditional expressions for invariant conditions, pre-conditions, and postconditions. Moreover, it cannot generate test cases for operation definitions that manipulate a state of objects. Therefore, to improve the usefulness of BWDM, this research extends BWDM to solve the above three problems. Consequently, it is confirmed that the extended BWDM can save about 17 minutes in generating test cases compared to test cases generation by hand","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"宮崎大学工学部","subitem_publisher_language":"ja"},{"subitem_publisher":"Faculty of Engineering, University of Miyazaki","subitem_publisher_language":"en"}]},"item_10002_relation_17":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"宮崎大学工学部"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://www.miyazaki-.ac.jp/tech/research/memoirs/","subitem_relation_type_select":"URI"}}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00732558","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"05404924","subitem_source_identifier_type":"ISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"武藤, 崇史","creatorNameLang":"ja"},{"creatorName":"ムトウ, タカフミ","creatorNameLang":"ja-Kana"},{"creatorName":"Muto, Takafumi","creatorNameLang":"en"}]},{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"0000000106573887","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"https://isni.org/isni/0000000106573887"}],"affiliationNames":[{"affiliationName":"宮崎大学","affiliationNameLang":"ja"},{"affiliationName":"University of Miyazaki","affiliationNameLang":"en"}]}],"creatorNames":[{"creatorName":"片山, 徹郎","creatorNameLang":"ja"},{"creatorName":"カタヤマ, テツロウ","creatorNameLang":"ja-Kana"},{"creatorName":"Katayama, Tetsuro","creatorNameLang":"en"}],"familyNames":[{"familyName":"片山","familyNameLang":"ja"},{"familyName":"カタヤマ","familyNameLang":"ja-Kana"},{"familyName":"Katayama","familyNameLang":"en"}],"givenNames":[{"givenName":"徹郎","givenNameLang":"ja"},{"givenName":"テツロウ","givenNameLang":"ja-Kana"},{"givenName":"Tetsuro","givenNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"6484","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"50283932","nameIdentifierScheme":"e-Rad_Researcher","nameIdentifierURI":"https://kaken.nii.ac.jp/ja/search/?qm=50283932"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2022-12-07"}],"displaytype":"detail","filename":"No51PP141-146.pdf","format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"本文","url":"https://miyazaki-u.repo.nii.ac.jp/record/2000020/files/No51PP141-146.pdf"},"version_id":"66b9ec03-fbd6-43e2-b94b-88d6209f5ecd"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"software testing","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"formal methods","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"test cases","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"VDM++","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"automatic generation","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"VDM++ 仕様を対象としたテストケース自動生成ツール BWDM における適用範囲の拡大のための機能拡張","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"VDM++ 仕様を対象としたテストケース自動生成ツール BWDM における適用範囲の拡大のための機能拡張","subitem_title_language":"ja"},{"subitem_title":"Extension to Expand the Scope of Application of BWDM to Generate Test Cases from VDM++ Specifications","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"5","path":["73","36","330","496"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-12-07"},"publish_date":"2022-12-07","publish_status":"0","recid":"2000020","relation_version_is_last":true,"title":["VDM++ 仕様を対象としたテストケース自動生成ツール BWDM における適用範囲の拡大のための機能拡張"],"weko_creator_id":"5","weko_shared_id":-1},"updated":"2024-12-26T06:44:08.725051+00:00"}