计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
28期
75-78
,共4页
UML顺序图%安全因子%最小安全因子路径%测试用例自动生成%安全苛求系统
UML順序圖%安全因子%最小安全因子路徑%測試用例自動生成%安全苛求繫統
UML순서도%안전인자%최소안전인자로경%측시용례자동생성%안전가구계통
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试.面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中.
傳統的測試用例生成技術通常都是麵嚮繫統功能性需求,併不適用于安全苛求軟件繫統的安全性測試.麵嚮安全需求,通過定義安全因子,建立帶有安全因子的UML順序圖,採用最小安全因子路徑,提齣瞭基于最小安全因子路徑完全覆蓋準則的測試用例自動生成算法,併將其成功應用到高速鐵路列車運行控製繫統的倣真測試中.
전통적측시용례생성기술통상도시면향계통공능성수구,병불괄용우안전가구연건계통적안전성측시.면향안전수구,통과정의안전인자,건립대유안전인자적UML순서도,채용최소안전인자로경,제출료기우최소안전인자로경완전복개준칙적측시용례자동생성산법,병장기성공응용도고속철로열차운행공제계통적방진측시중.
