Linnk AI 다운로드
•
리서치 어시스턴트
>
로그인
통찰
-
離散的な意思決定システムに対する反応型テストの合成
離散的な意思決定システムに対する時間論理仕様に基づく反応型テストの合成
本研究では、時間論理仕様に基づいて、システムの要件と未知のテスト目的を満たすような、最小限の制約で反応型のテスト環境を合成する手法を提案する。
1