システムレベル設計記述に対する具体値·記号値シミュレーションによる入力パターンの自動生成手法

著录项

• 来源
  《電子情報通信学会技術研究報告. コンピュ-タシステム. Computer Systems》 |2007年第558期|共6页
• 作者

  小島慶久; 西原佑; 松本剛史; 藤田昌宏; Yoshihisa KOJIMA; Tasuku NISHIHARA; Takeshi MATSUMOTO; Masahiro FUJITA;

  展开▼
• 作者单位

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 jpn
• 中图分类 计算技术、计算机技术;
• 关键词

  記号シミュレーション; 記号·具体混合シミュレーション; 入力パターン生成; 検証; コードカバレッジ; Symbolic simulation; Concrete/symbolic-hybrid simulation; Input pattern generation; Verification; Code coverage;

  机译：符号仿真;符号混凝土混合仿真;输入模式生成;验证;代码覆盖率;符号仿真;具体/符号混合仿真;输入模式生成;验证;代码覆盖率;