Art
J-GLOBAL ID：201702247673230278   Reference number：17A0889742

Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation

仕様翻訳によるOTS/CafeOBJ仕様記述からの自動テストケース生成【Powered by NICT】
Author (2)：
Mori Ryusei

About Mori Ryusei

, 
Nakamura Masaki

About Nakamura Masaki


Material：
IEEE Conference Proceedings  (IEEE Conf Proc)

About IEEE Conference Proceedings


Volume： 2017  Issue： ICSTW  Page： 403-404  Publication year： 2017 
JST Material Number： W2441A  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
A skeleton unit test code gene...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A0889742&from=J-GLOBAL&jstjournalNo=W2441A") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*specification description

About specification description

, 
code generation

About code generation


JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
仕様

About 仕様

, 
翻訳

About 翻訳

, 
OTS

About OTS

, 
仕様記述

About 仕様記述

, 
テストケース生成

About テストケース生成


Return to Previous Page

TOP

BOTTOM