期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2006
卷号：6
期号：5A
页码：38-41
出版社：International Journal of Computer Science and Network Security
摘要：This paper presents a new way that testing fiscal cash register embedded system with a scenario pattern-based method. It also introduces to some concepts of scenario and scenario patterns, and formalizes the embedded system with scenario model ACDATE. The verification patterns are built the fiscal cash register embedded system, and are tested with the samples of basic scenario pattern and complex scenario pattern. This paper shows the whole process how to verify the embedded system with scenario patterns.
