{"created":"2023-05-15T09:58:47.864934+00:00","id":2819,"links":{},"metadata":{"_buckets":{"deposit":"0438fe21-1f41-4c41-8dc9-b62df7b8164d"},"_deposit":{"created_by":5,"id":"2819","owner":"5","owners":[5],"pid":{"revision_id":0,"type":"depid","value":"2819"},"status":"published"},"_oai":{"id":"oai:miyazaki-u.repo.nii.ac.jp:00002819","sets":["73","73:36","73:36:330","73:36:330:324"]},"author_link":["14852","6484","14850"],"item_10002_alternative_title_1":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"ケイシキ シヨウ オ モチイタ テスト セッケイジ ニオケル デシジョン テーブル セイセイ シエン シュホウ ノ テイアン","subitem_alternative_title_language":"ja-Kana"}]},"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2014-07-31","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"262","bibliographicPageStart":"257","bibliographicVolumeNumber":"43","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":"In recent years, the software quality becomes more important because the system becomes large scale and high performance. In general, many defects are embedded in the upstream process of the software development. As one reason of the above, specifications include ambiguous description. As a means for writing specifications strictly, formal methods are proposed. By the way, as one of test design techniques, the decision table is proposed. However, it takes much time and effort to extract test items and understand contents written on specifications in designing manually the decision table. This paper proposes a supporting method to generate a template of a decision table from the formal specification written in VDM(Vienna Development Method)++ in order to improve efficiency of the test design with formal methods. We have implemented a supporting tool which automatically generates a template of a decision table from the formal specification. By using the tool, it is considered that the efficiency of the test design is improved.","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_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"}],"nameIdentifiers":[{"nameIdentifier":"14850","nameIdentifierScheme":"WEKO"}]},{"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"}]},{"creatorNames":[{"creatorName":"Nishikawa, Kenta","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"14852","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2020-06-21"}],"displaytype":"detail","filename":"engineering43_257-262.pdf","filesize":[{"value":"596.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"engineering43_257-262.pdf","url":"https://miyazaki-u.repo.nii.ac.jp/record/2819/files/engineering43_257-262.pdf"},"version_id":"bebb90f8-d749-4e2e-afa9-e36eeb1cdc50"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Formal method, VDM++, Test design, Decision table, 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":"形式仕様を用いたテスト設計時におけるデシジョンテーブル生成支援手法の提案","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"形式仕様を用いたテスト設計時におけるデシジョンテーブル生成支援手法の提案","subitem_title_language":"ja"},{"subitem_title":"Proposal of a Supporting Method to Generate a Decision Table in Test Design with the Formal Specification","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"5","path":["73","36","330","324"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2014-09-04"},"publish_date":"2014-09-04","publish_status":"0","recid":"2819","relation_version_is_last":true,"title":["形式仕様を用いたテスト設計時におけるデシジョンテーブル生成支援手法の提案"],"weko_creator_id":"5","weko_shared_id":2},"updated":"2024-12-26T06:44:12.182928+00:00"}