测试用例生成是软件测试的关键.根据U ML statecharts的层次和并发结构,研究相应的测试用例产生方法.它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生...测试用例生成是软件测试的关键.根据U ML statecharts的层次和并发结构,研究相应的测试用例产生方法.它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个U ML statecharts的测试用例.这种方法能够支持递增式测试用例的生成.理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较少的测试用例.这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。展开更多
UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a stan...UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a standard modeling language in both academic and industrial areas. UML sequence diagrams are mostly used in specifying system requirements. By representing interactions, which are arranged in time sequence,between the objects in a system,sequence diagrams can construct scenarios indicating the system's functions. A UML statechart diagram is a graph shows the sequences of states that an object or an interaction goes through during its life in response to received stimuli,together with its responses and actions. It's useful in the design stage of system development. This essay discusses the computer-aided transformation from sequence diagrams to statechart diagrams,which can offer strong support for the transfering from requirement analysis to system design in the software development process. With OCL (Object Control Language) semantic constrain,a transform algorithm is provided in the paper. And the differences with the related works are also mentioned.展开更多
文摘测试用例生成是软件测试的关键.根据U ML statecharts的层次和并发结构,研究相应的测试用例产生方法.它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个U ML statecharts的测试用例.这种方法能够支持递增式测试用例的生成.理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较少的测试用例.这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。
文摘UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a standard modeling language in both academic and industrial areas. UML sequence diagrams are mostly used in specifying system requirements. By representing interactions, which are arranged in time sequence,between the objects in a system,sequence diagrams can construct scenarios indicating the system's functions. A UML statechart diagram is a graph shows the sequences of states that an object or an interaction goes through during its life in response to received stimuli,together with its responses and actions. It's useful in the design stage of system development. This essay discusses the computer-aided transformation from sequence diagrams to statechart diagrams,which can offer strong support for the transfering from requirement analysis to system design in the software development process. With OCL (Object Control Language) semantic constrain,a transform algorithm is provided in the paper. And the differences with the related works are also mentioned.
