The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Mar. 11, 2014
Filed:
May. 30, 2011
Ming Wu, Beijing, CN;
Huayang Guo, Beijing, CN;
Yi Yang, Beijing, CN;
Gang HU, Beijing, CN;
Lintao Zhang, Beijing, CN;
Lidong Zhou, Beijing, CN;
Tisheng Chen, Beijing, CN;
Ming Wu, Beijing, CN;
Huayang Guo, Beijing, CN;
Yi Yang, Beijing, CN;
Gang Hu, Beijing, CN;
Lintao Zhang, Beijing, CN;
Lidong Zhou, Beijing, CN;
Tisheng Chen, Beijing, CN;
Microsoft Corporation, Redmond, WA (US);
Abstract
Architecture employs an iterative process that incrementally discovers inter-component interactions and explores local state spaces within each component. Thus, the architecture lazily constructs the behavior of the environment of a component in the target software system, and integrates the construction of the inter-component interactions with the model checking process itself, and hence, does not need to eagerly construct the interface process. Component-based state space reduction is applied during the exploration of the whole system. The architecture decomposes a target software system into a set of loosely coupled components where interactions between the components tend to be significantly simpler than interactions within each component. An iterative algorithm facilitates the component-based state space reduction, which is exponential, on the real large-scale software systems.