共查询到20条相似文献,搜索用时 31 毫秒
4.
5.
6.
7.
8.
9.
10.
Trustworthiness of Internet-based software 总被引:16,自引:0,他引:16
Recent years see an increasing concern over the trustworthiness of Inter- net-based software. By analyzing the trustworthiness of Internet-based software and the nature of the Internet applications, we point out that, on the one hand, due to the open- ness and dynamic nature of the Internet, the identity trustworthiness and the capability trustworthiness of the software are facing serious challenges; on the other hand, in order to ensure the trustworthiness of the whole system, emerging computing paradigms based on the collaboration of autonomous software need some impacts on the behavior of the software. Here we put forward a conceptual model for the trustworthiness of Inter- net-based software, and propose a trustworthy assurance framework for Internet-based virtual computing environment (iVCE). This framework deals with the trustworthy proper- ties of software on identity, capability and behavior in a combinated way. The authorization management in inter-domain computing environment, assurance on high availability of service and incentive mechanism for autonomic collaboration are taken as three core mechanisms of iVCE trustworthy assurance. 相似文献
11.
Optimal stopping of multi-project software testing in the context of software cybernetics 总被引:1,自引:0,他引:1
蔡开元 《中国科学F辑(英文版)》2003,46(5):335-354
Software cybernetics explores the interplay between control theory/engineering and software theory/engineering. The controlled Markov chains (CMC) approach to software testing follows the idea of software cybernetics and treats software testing as a control problem. The software under test serves as a controlled object and the software testing strategy serves as the corresponding controller. The software under test and the software testing strategy make up a closed-loop feedback control system, and the theory of controlled Markov chains can be used to design and optimize software testing strategies in accordance with testing/reliability goals given a priori. In this paper we apply the CMC approach to the optimal stopping problem of multi-project software testing. The problem under consideration assumes that a single stopping action can stop testing of all the software systems under test simultaneously. The theoretical results presented in this paper describe how to test multiple software systems and whe 相似文献
12.
13.
14.
15.
As the size and complexity of software systems increase, the design and specification of overall system structure become more significant issues than the choice of algorithms and data structures of computation. An appropriate architecture for a system is a key element of its success. Based on the practice of Jadebird software production line, this paper proposes a software architectural style based on hierarchical message buses, named JB/HMB. In this style, the component model consists of external interfaces, static structure and dynamic behavior, which depicts a component from different aspects. Supported by message buses, components interact with one another by messages, which can be used to describe distributed and concurrent systems well. JB/HMB style supports stepwise decomposition and refinement, and runtime system evolution. Finally, characteristics of JB/HMB style are summarized as a conclusion, and future research directions are specified. 相似文献
16.
Software engineering is an often used term to describe the activities, methods, and tools of large scale software development.
There is an ongoing discussion whether Software Engineering can be considered as an engineering discipline. In many respects
the development of software shares common properties of other engineering disciplines. In contrast to “classical” engineering
fields, theories, questions, and approaches from the social sciences are more important than those from the natural sciences.
This is investigated here by comparing the situation found in software engineering with several concepts of engineering in
general. Three viewpoints are used to guide this comparison: one is a social stereotype of engineers; the second is the organization
of engineering profession organizations; and the third are capabilities which the engineers of the future will need.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
17.
18.
19.
《Software, IEEE》2001,18(3):41-45
We often hear that it is difficult to get software measurement into practice. Traditional measurement addresses the decisions that support increased quality, increased programmer productivity, and reduced costs: key elements for organizations strategically focused on operational excellence. But what if the organization's highest priority isn't operational excellence? The article shows that such organizations have different measurement needs and presents ideas on how to address those needs, thereby making measurement more appealing. While the disparity discussed here involves measurement, it applies to all areas of software process improvement. For example, the Software Engineering Institute's Capability Maturity Model for Software is silent on two of the three strategies of high-performing organizations: customer intimacy and product innovation. Like traditional measurement, the Capability Maturity Model applies only to organizations wanting to be operationally excellent 相似文献