计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2004年
11期
169-173
,共5页
赖祥伟%张为群%邱玉辉%周彦晖
賴祥偉%張為群%邱玉輝%週彥暉
뢰상위%장위군%구옥휘%주언휘
软件测试模型%形式化方法%断言测试%UML%RSL
軟件測試模型%形式化方法%斷言測試%UML%RSL
연건측시모형%형식화방법%단언측시%UML%RSL
传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证.本文提出一种基于形式化方法的软件测试模型.该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论.
傳統方法中基于軟件測試工程師經驗的測試用例構造技術使得軟件測試的質量很難得到保證.本文提齣一種基于形式化方法的軟件測試模型.該模型使用形式化描述語言RSL對軟件設計進行描述,併在此基礎上提齣瞭自動生成軟件測試各箇階段所需測試用例的方法框架以及相關實驗結論.
전통방법중기우연건측시공정사경험적측시용례구조기술사득연건측시적질량흔난득도보증.본문제출일충기우형식화방법적연건측시모형.해모형사용형식화묘술어언RSL대연건설계진행묘술,병재차기출상제출료자동생성연건측시각개계단소수측시용례적방법광가이급상관실험결론.