The software trustworthiness measurement is one of the hot topics. Software component technology is the mainstream technology of software development. How to get the trustworthy degree of software component efficiently and accurately is a challenging issue for the component-based software development. Getting the trustworthy degree of software component needs many users' success cases. In this paper, we propose an updating model of software component trustworthiness. First, the trustworthy degree of the software component is computed based on users' feedback. Then, the weight of updating is determined by the number of users. Finally, the method of cluster different companies is based on the Euler distance. A case study shows that the method is reasonable and effective. INDEX TERMS Software trustworthiness, software component, weight, updating model, user feedback.
Measurement of software trustworthiness is an important research field in the software engineering, which is very useful for analyzing the software quality. In this paper, we propose a mathematical programming approach to allocate the trustworthy degree to each sub-attribute of some software attribute appropriately and then to make the trustworthy degree of this attribute maximize under some constraint conditions. Some sufficient or necessary conditions for analyzing this mathematical programming problem are investigated. Moreover, a polynomial allocation algorithm is given for computing the optimal solution of this mathematical programming. Finally, an example is given in order to show the significance of this work. The results obtained here are useful for improving the software quality by adjusting the trustworthy degree of each sub-attribute under the same cost.
Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently been adopted and developed in fuzzy systems. In this paper, we propose a new bisimulation, i.e., the group-by-group fuzzy bisimulation, for fuzzy transition systems. It relaxes the fully matching requirement of the bisimulation definition proposed by Cao et al. [IEEE Transaction on Fuzzy Systems, 19:540-552], and can equate more pairs of states which are deemed to be equivalent intuitively, but which cannot be equated in previous definitions. We carry out a systematic investigation on this new notion of bisimulation. In particular, a fixed point characterization of the group-by-group fuzzy bisimilarity is given, based on which, we provide a polynomial-time algorithm to check whether two states in a fuzzy transition system are group-by-group fuzzy bisimilar. Moreover, a modal logic, which is an extension of the Hennessy-Milner logic, is presented to completely characterize the group-by-group fuzzy bisimilarity.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.