In a practical sense, rigorous procedures for generating use cases are not well defined. In addition, the relationship between functional requirements and use cases is not clearly understood or easy to quantify. In th...
详细信息
This paper proposes an immune-based framework for adaptive query expansion in the semantic web, where exploratory queries, common in biological information retrieval, can be answered more effectively. The proposed tec...
详细信息
It is general process of client authentication for a user to gain authority by the user’s ID and password. But using client’s password is not always secure because of various security attacks of many opponents. In t...
详细信息
The traditional thrust of software quality assurance has been to use "brute force" testing at the end of development. However quality assurance in the early phases of development is an order of magnitude mor...
详细信息
ISBN:
(纸本)1581136722
The traditional thrust of software quality assurance has been to use "brute force" testing at the end of development. However quality assurance in the early phases of development is an order of magnitude more cost effective than testing done at the end of development. This paper describes the introduction of quality reviews as a learning activity into an undergraduate requirements analysis course, and evaluates the effectiveness of this in improving learning. In the absence of any standard instrument for evaluating learning effectiveness, we developed a survey instrument called the Learning Effectiveness Survey. Using this instrument, learning effectiveness is evaluated in the context of the learning goals of the course (short term learning), and in the context of the broader educational programme and future working life (long term learning). It also provides feedback on the learning intervention and how it can be improved. While the intervention was moderately successful in its first application, a great deal was learned about how it could be improved next time.
We study the validation of XML documents when they are updated in XML databases. An XML document can be verified by checking against an XML Schema, which contains structure and type information of XML documents. Howev...
详细信息
Configuration testing is an important step in software testing, which is a procedure to test the software with all kinds of hardware to ensure it can run on them. This paper proposes to design configuration testing pl...
详细信息
ISBN:
(纸本)193241519X
Configuration testing is an important step in software testing, which is a procedure to test the software with all kinds of hardware to ensure it can run on them. This paper proposes to design configuration testing plan with several common method used in the other fields and analysis their merits, to improve the orthogonal design method with pairwise testing, to decrease the testing risk with multiple factors covering., and presents simple factor cover method which can cover all the factors and pairwise combinations to the greatest degree. All these methods have good merits. At last we make some comparison at the aspects of test suit scale, coverage, usability and etc.
Some recent developments in the μCRL tool set are presented. New analysis techniques are a symbolic model checker, and a visualizer for huge state spaces. Also various transformations are presented. At symbolic level...
Some recent developments in the μCRL tool set are presented. New analysis techniques are a symbolic model checker, and a visualizer for huge state spaces. Also various transformations are presented. At symbolic level, theorem proving, data flow analysis, and confluence checking are used to obtain considerable state space reductions. At the concrete level, distributed implementations of state space generation and minimization are recent. We mention the successful application of the tools to the verification of large data-intensive distributed systems.
Human capital is the main asset of software organizations. Knowledge has to be preserved and leveraged from individuals to the organization. Thus, the learning software organization will be able to continually learn a...
详细信息
In this paper, we will propose the component identification method using the class and use case affinity analysis technique (CUAT). CUAT has two types, which are class and class analysis, and use case and class analys...
详细信息
暂无评论