In neuropsychology it is commonly recognized that 70% of all the sensory receptors in the brain are inputted from the eyes. However, an important internal cognitive function of the eyes as the perceptual browser of th...
详细信息
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...
详细信息
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.
This paper conducts an empirical analysis of a semiotics-based quality framework for quality assuring information models. 192 participants were trained in the concepts of the quality framework, and used it to evaluate...
详细信息
This paper conducts an empirical analysis of a semiotics-based quality framework for quality assuring information models. 192 participants were trained in the concepts of the quality framework, and used it to evaluate models represented in an extended Entity Relationship (ER) language. A randomised, double-blind design was used, in which each participant independently reviewed multiple models and each model was evaluated by multiple reviewers. A combination of quantitative and qualitative analysis techniques were used to evaluate the results, including reliability analysis, validity analysis, interaction analysis, influence analysis, defect pattern analysis and task accuracy analysis. An analysis was also conducted of the framework's likelihood of adoption in practice. The study provides strong support for the validity of the framework and suggests that it is likely to be adopted in practice, but raises questions about its reliability and the ability of participants to use it to accurately identify defects. The research findings provide clear directions for improvement of the framework. The research methodology used provides a general approach to empirical validation of quality frameworks.
software inspections are regarded as an important technique to detect faults throughout the software development process. The individual preparation phase of software inspections has enlarged its focus from only compr...
详细信息
softwareengineering is not only about technical solutions. It is to a large extent also concerned with organizational issues, project management and human behaviour. For a discipline like softwareengineering, empiri...
详细信息
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...
详细信息
暂无评论