@techreport{oai:ipsj.ixsq.nii.ac.jp:00068979,
 author = {鴫原, 一人 and 森, 孝夫 and 本田, 晋也 and 山本, 雅基 and 高田, 広章 and Kazuto, Shigihara and Takao, Mori and Shinya, Honda and Masaki, Yamamoto and Hiroaki, Takada},
 issue = {11},
 month = {Mar},
 note = {RTOS は組込みシステムの根幹をなすソフトウェアであるので，高い品質が求められる．RTOS のテストスイートは，使用する企業やその用途によって求められる範囲が異なる．したがって，RTOS のテストスイートは，テストの範囲を固定化したパッケージで提供しても，利用者が限られる．本論文では，利用者の求める範囲に応じて RTOS のテストスイートを生成する手法を提案する．RTOS のテストは，テストケースに直接影響するタスクやシステムをはじめとして取りうる条件が多く存在するので，テストの範囲に幅が出てしまう．そこで，テストケースに直接影響する条件をルール化し，直接影響しない条件をテスト範囲として与えることにより，利用者の求める範囲のテストスイートを自動生成する．, As RTOS are the core of many embedded systems, they must be developed under high quality standards. Depending on the company or intended application, the scope of the test suite may differ. Test suites with a fixed scope are therefore limited to a few users. This paper proposes a method for generating RTOS test suites that can satisfy the demands of different users. RTOS test suites usually have many selectable parameters, apart from the test environment conditions. As a consequence, a variety of test cases appear. Our method generates automatically test suites to meet the demands of different users by defining rules for the test environment conditions and offering a variety of selectable parameters.},
 title = {RTOSのテスト自動生成システムに関する一考察},
 year = {2010}
}