计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
7期
117-119
,共3页
叶新铭%王谱新%白翔宇%谢辉
葉新銘%王譜新%白翔宇%謝輝
협신명%왕보신%백상우%사휘
软件测试%C/S模式%UML状态图%有限状态机%UIO%中国邮递员算法
軟件測試%C/S模式%UML狀態圖%有限狀態機%UIO%中國郵遞員算法
연건측시%C/S모식%UML상태도%유한상태궤%UIO%중국유체원산법
C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难.使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例.该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本.
C/S模式的軟件繫統具有多層次結構、採用麵嚮對象編程技術等特點,為其生成一緻性測試變得十分睏難.使用UML狀態圖,為一箇C/S模式的軟件繫統建模,將建立好的模型轉換為擴展的有限狀態機,併在該有限狀態機上使用UIO序列與中國郵遞員算法相結閤的方法進行測試例的生成,最後應用數據流分析技術對生成的測試例進行分析,排除瞭其中不可執行的測試例.該方法利用瞭UML狀態圖易于建模的優點,降低瞭測試生成的難度,縮短瞭測試例的長度併節省瞭軟件開髮的成本.
C/S모식적연건계통구유다층차결구、채용면향대상편정기술등특점,위기생성일치성측시변득십분곤난.사용UML상태도,위일개C/S모식적연건계통건모,장건립호적모형전환위확전적유한상태궤,병재해유한상태궤상사용UIO서렬여중국유체원산법상결합적방법진행측시례적생성,최후응용수거류분석기술대생성적측시례진행분석,배제료기중불가집행적측시례.해방법이용료UML상태도역우건모적우점,강저료측시생성적난도,축단료측시례적장도병절성료연건개발적성본.
