Software module interface designing and confirming method based on spatial analysis process |
Title: |
Software module interface designing and confirming method based on spatial analysis process |
|
Application Number: |
01118356 |
Application Date: |
2001/05/25 |
Announcement Date: |
2002/01/23 |
Pub. Date: |
|
Publication Number: |
1332410 |
Announcement Number: |
1176424 |
Grant Date: |
2004-11-17 |
Granted Pub. Date: |
2004-11-17 |
ApplicationType: |
Invention |
State/Country: |
11[China|beijing] |
IPC: |
G06F 11/36 |
Applicant(s): |
Qinghua Univ. |
Inventor(s): |
Sun Shaohua, Chen Zhiqiang, Gao Wenhuan |
Key Words: |
Software module, interface designing, confirming method, spatial analysis process |
Abstract: |
The present invention belongs to the field of software engineering technology, and includes: listing all the interfaces to be confirmed and the interaction between the interfaces; analyzing all the states of each datum to establish data space; analyzing the inputs, outputs and environment factors mutually interacting, determining the I/O area in the data space; analyzing environment state to determine the legal I/O area and illegal I/O area in various environment; and utilizing the three principles to estimate all the mutually interacting states and regulate and I/O state until the requirement is met. The present invention makes it possible to find out various software design error under various environment and control the propagation of error among the interfaces. |
Claim: |
|
Priority: |
|
PCT: |
|
LegalStatus: |
|