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...
详细信息
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...
详细信息
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.
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.
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.
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...
详细信息
A new method is proposed to measure software system security. Each component can be characterized by a composite net which combines the features of Finite State Machine and Operation Diagram. A fuzzy number is introdu...
详细信息
ISBN:
(纸本)9789881701282
A new method is proposed to measure software system security. Each component can be characterized by a composite net which combines the features of Finite State Machine and Operation Diagram. A fuzzy number is introduced to this net to represent uncertain elements that might affect the software security, and thus we construct Security Function for each component. The whole system Security Index is calculated based the Reliability Graph and the Security Function for each component, where Reliability Graph is used to reconstruct the component relationship of the system.
The paradigm of Service Oriented Architecture (SOA) has been gathering significant momentum in both academia and industry in recent years. SCA, which describes a model for building applications and systems using a SOA...
详细信息
ISBN:
(纸本)9789881701282
The paradigm of Service Oriented Architecture (SOA) has been gathering significant momentum in both academia and industry in recent years. SCA, which describes a model for building applications and systems using a SOA, extends and complements prior approaches to implementing services. However, it is very difficult to test if the service components integration satisfies the requirements. In this paper we propose a formal service component architecture model according to the specification of service component issued as a standard in Mar. 2007. A formulism, called Port Algebra, is developed to describe architecture. Test generation formulas are created to generate test cases for each service component. Based on the interactions of the components, SYN-sequences are derived to test the integration as a whole. Since the test generation is based on formulas, the test process could be in a systematical and automatical way.
暂无评论