计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
12期
286-290
,共5页
曾一%张利武%张元平%袁纲%李强
曾一%張利武%張元平%袁綱%李彊
증일%장리무%장원평%원강%리강
测试策略%活动图%组合爆炸%测试线索
測試策略%活動圖%組閤爆炸%測試線索
측시책략%활동도%조합폭작%측시선색
分析并发软件的控制原理,提出了三个并发软件的基本测试策略.这三个策略给出了并发软件测试的基本原则:同步测试、关键覆盖和进程覆盖;接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法;随后分析了并发软件测试难点即进程组合爆炸问题,给出了一种基于模型图生成测试线索集的方法,证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题,又能满足三个测试策略.通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法;最后通过一个实例表明了应用本方法的可行性和有效性.
分析併髮軟件的控製原理,提齣瞭三箇併髮軟件的基本測試策略.這三箇策略給齣瞭併髮軟件測試的基本原則:同步測試、關鍵覆蓋和進程覆蓋;接著提齣瞭一種使用UML活動圖對軟件中併髮控製過程建立模型圖的方法;隨後分析瞭併髮軟件測試難點即進程組閤爆炸問題,給齣瞭一種基于模型圖生成測試線索集的方法,證明瞭按照生成的測試線索集測試併髮軟件既能解決進程組閤爆炸問題,又能滿足三箇測試策略.通過對比得齣本測試方法在易用性、適用性和穩定性等方麵要優于基于狀態圖的測試方法;最後通過一箇實例錶明瞭應用本方法的可行性和有效性.
분석병발연건적공제원리,제출료삼개병발연건적기본측시책략.저삼개책략급출료병발연건측시적기본원칙:동보측시、관건복개화진정복개;접착제출료일충사용UML활동도대연건중병발공제과정건립모형도적방법;수후분석료병발연건측시난점즉진정조합폭작문제,급출료일충기우모형도생성측시선색집적방법,증명료안조생성적측시선색집측시병발연건기능해결진정조합폭작문제,우능만족삼개측시책략.통과대비득출본측시방법재역용성、괄용성화은정성등방면요우우기우상태도적측시방법;최후통과일개실례표명료응용본방법적가행성화유효성.
