With the development of web technologies and the increasing size of web sites, the structure of the web application becomes more complicated, and it becomes a difficult task to model and analyze it. Web navigation, wh...
详细信息
Message Sequence Charts (MSCs) are a popular visual formalism for documenting system requirements. From MSCs to architecture level model is usually through manual work, which puts the burden on the human and may intro...
详细信息
System's requirements can be specified by textual use cases since their concrete, narrative style of expression makes them very effective for eliciting software requirements. However, use cases are stated in natur...
详细信息
The automation of test case generation process can reduce the testing cost. However, the existing models being used by the test case generation techniques are largely manual built by domain expert from system requirem...
详细信息
The automation of test case generation process can reduce the testing cost. However, the existing models being used by the test case generation techniques are largely manual built by domain expert from system requirements. Thus there is a large gap to bridge between high-level requirements and concrete test cases in order to automate the test generation process. Since textual use cases are easy to describe and understand, they are often used to describe system requirement and are believed to be a good basis for system testing. In this paper, we propose a new approach for automating the generation of system test cases from textual use cases. We build Activity Tables from textual use cases, then construct an Extended Finite State Machine(EFSM) from Activity Tables, finally generate test cases from EFSM. Our objective is to cover the system in terms of statement coverage with those generated tests. A Market Information System(MIS) is employed to demonstrate our approach.
Textual use cases are often used to describe system requirements and are believed to be a good basis for system testing. However, due to the lacking of formal syntax and semantics of textual use cases, it is hard to b...
详细信息
Message Sequence Charts(MSCs) are a popular visual formalism for documenting system requirementsFrom MSCs to architecture level model is usually through manual work, which puts the burden on the human and may introduc...
详细信息
Message Sequence Charts(MSCs) are a popular visual formalism for documenting system requirementsFrom MSCs to architecture level model is usually through manual work, which puts the burden on the human and may introduce errors to the designIn this paper, we present a framework for automatically mapping MSCs to service component models from a model-based point of viewThe generated models capture service component signatures and language independent dynamic behaviorsWe have implemented our framework and demonstrated the benefits via a case study.
Textual use cases are often used to describe system requirements and are believed to be a good basis for system testing. However, due to the lacking of formal syntax and semantics of textual use cases, it is hard to b...
详细信息
Textual use cases are often used to describe system requirements and are believed to be a good basis for system testing. However, due to the lacking of formal syntax and semantics of textual use cases, it is hard to build automating process to generate test cases from textual use cases. In this paper, we propose a new approach for this automating process. The use cases are written in a restricted yet acceptable language style. An Extended Finite State Machine(EFSM) are extracted from text use cases, then test cases are generated from the EFSM. Statements coverage is adopted as the criterion to generate test cases. A Market Information System(MIS) is employed to demonstrate our approach. This method can offer us at least three benefits: 1) test cases can be automatically generated from textual use cases. 2) new test cases can be generated if requirements are updated. 3) debugging information can be derived.
Implementation in a low-level language exposes problems with the system modeling, but involves considerable development and debugging effort, particularly if the modeling problems are discovered late in the implementa...
详细信息
ISBN:
(纸本)9781424472369
Implementation in a low-level language exposes problems with the system modeling, but involves considerable development and debugging effort, particularly if the modeling problems are discovered late in the implementation and lead to significant changes being made. Implementation in a high-level language with well-defined and safe semantics could be a good solution to this issue. In this paper, Petri nets have been used to model systems. By defining rules to map Petri net to Haskell, a functional language, we get a high level implementation of the system. After executing Haskell program, we can check in the early design phase the problems that will be found in the late implementation phase. Gas station problem has been employed to illustrate our method.
In this paper, we study component-based software architectures and report the following results. 1)By defining port operations, we may use port activities to describe process migration. The proposed formalism(port alg...
详细信息
ISBN:
(纸本)9788988678213
In this paper, we study component-based software architectures and report the following results. 1)By defining port operations, we may use port activities to describe process migration. The proposed formalism(port algebra) can be used to describe running time system architecture. 2) In processing checking, the formalism can keep architecture structure unchanged while progresses migrate, which enables us to study runtime system behaviors that are not easy to be checked by model checking tools.
For a web application, we rebuild the use cases from the log file by applying Natural Language Processing technique;then based on these use cases we construct component model and extract the component behavior;finally...
详细信息
暂无评论