计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
11期
124-127,161
,共5页
信息物理融合系统%安全攸关场景%测试用例自动生成
信息物理融閤繫統%安全攸關場景%測試用例自動生成
신식물리융합계통%안전유관장경%측시용례자동생성
Cyber-physical systems%Safety-critical scenarios%Automatic testcase generation
对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段.如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题.现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求.围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法.
對信息物理融閤繫統中的安全攸關場景進行有效的測試是提高繫統安全性的重要手段.如何對安全攸關場景進行建模以完整準確地刻畫繫統行為,如何有效地生成測試用例以提高測試覆蓋度、降低測試成本,是麵嚮安全場景測試技術需要解決的覈心技術問題.現有的場景建模與測試用例生成技術缺少對信息物理融閤繫統重要特性的描述和處理,其生成的測試用例不能滿足繫統安全攸關場景的測試需求.圍繞信息物理融閤繫統的安全攸關場景建模以及測試用例自動生成方法展開研究,為UML活動圖擴充瞭外部事件驅動機製和時間特性描述機製,以滿足對安全攸關場景建模的需要;併研究瞭基于場景模型自動生成測試用例的方法.
대신식물리융합계통중적안전유관장경진행유효적측시시제고계통안전성적중요수단.여하대안전유관장경진행건모이완정준학지각화계통행위,여하유효지생성측시용례이제고측시복개도、강저측시성본,시면향안전장경측시기술수요해결적핵심기술문제.현유적장경건모여측시용례생성기술결소대신식물리융합계통중요특성적묘술화처리,기생성적측시용례불능만족계통안전유관장경적측시수구.위요신식물리융합계통적안전유관장경건모이급측시용례자동생성방법전개연구,위UML활동도확충료외부사건구동궤제화시간특성묘술궤제,이만족대안전유관장경건모적수요;병연구료기우장경모형자동생성측시용례적방법.
