首页>
外国专利>
TEST CASE GENERATING SYSTEM AND METHOD BASED ON REQUIREMENTS MODEL
TEST CASE GENERATING SYSTEM AND METHOD BASED ON REQUIREMENTS MODEL
展开▼
机译:基于需求模型的测试用例生成系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
PURPOSE: A requirement model based test case automatic generation system and a method thereof are provided to generate a test case from a standardized requirement model which describes a requirement of an embedded software in a standardized way. CONSTITUTION: A test case generation tool (110) generates a test case by using a coverage target manager (120), a model state tree manager (130), an input generator (140), and a model simulator (150) according to a test case generation algorithm. The coverage target manager generates a coverage target from a model according to a coverage reference which a user selects and confirms whether the coverage target is achieved or not in a test case generation process. The model state tree manager makes and manages a state tree in order to visit every corner of a requirement model. The input generator generates a value to be applied according to an end port of a necessary system when finding the coverage target in a test case generation algorithm. The model simulator simulates a model in order to use a dynamic data analysis technique. A test case DB (160) stores the generated test case. [Reference numerals] (110) Test case generation tool (test case generation main algorithm); (120) Coverage target manager; (130) Model state tree manager; (140) Input generator; (150) Model simulator; (160) Test case DB
展开▼