CN101673200A - Method and device for detecting user input model - Google Patents

Method and device for detecting user input model Download PDF

Info

Publication number
CN101673200A
CN101673200A CN200910179855A CN200910179855A CN101673200A CN 101673200 A CN101673200 A CN 101673200A CN 200910179855 A CN200910179855 A CN 200910179855A CN 200910179855 A CN200910179855 A CN 200910179855A CN 101673200 A CN101673200 A CN 101673200A
Authority
CN
China
Prior art keywords
model
meta
fundamental
user input
relation
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN200910179855A
Other languages
Chinese (zh)
Other versions
CN101673200B (en
Inventor
陈景雄
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
ZTE Corp
Original Assignee
ZTE Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by ZTE Corp filed Critical ZTE Corp
Priority to CN200910179855.4A priority Critical patent/CN101673200B/en
Publication of CN101673200A publication Critical patent/CN101673200A/en
Priority to PCT/CN2010/076090 priority patent/WO2011044792A1/en
Application granted granted Critical
Publication of CN101673200B publication Critical patent/CN101673200B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/451Execution arrangements for user interfaces
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04WWIRELESS COMMUNICATION NETWORKS
    • H04W24/00Supervisory, monitoring or testing arrangements
    • H04W24/10Scheduling measurement reports ; Arrangements for measurement reports

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Human Computer Interaction (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • User Interface Of Digital Computer (AREA)

Abstract

The invention discloses a method and a device for detecting a user input model. The device comprises a user input model storage module, a meta-model storage module, a meta-module detection module andan output module, wherein, the user input model storage module is used for saving and analyzing the input user input model; the meta-model storage module is used for saving and analyzing a predefinedmeta-model basic constraint condition; the meta-module detection module is used for detecting whether the relationship between elements of the user input model conforms to the meta-model basic constraint condition according to the above basic constraint condition; the output module is used for displaying the output detection results on a file or a view corresponding to the user input model. According to the technical scheme provided by the invention, users can find the problem of the model at the earlier stage of modeling and design, thus system reconfiguration caused by the error of model design in the development and verification process can be avoided, and the time of development and verification is greatly reduced.

Description

The detection method of user input model and device
Technical field
The present invention relates to the mobile communication technology field, relate in particular to a kind of detection method and device of user input model.
Background technology
The current phone exploitation is followed the general flow of demand, system design, detailed design, coding, test substantially and is done exploitation.Though this method to a certain extent standard the basic procedure of mobile phone development, guaranteed the quality of the mobile phone products produced, costs such as cost, later maintenance and upgrading of its extra checking and test are very big.And when adopting this method, the detection of software error (Bug) need spend lot of manpower and material resources.And often a lot of insurmountable Bug finally trace back on the defective of the defined model of initial stage system design, finally may need reconstruction model, thereby increased a large amount of work, and can't judge easily whether the model framework of whole software in restructuring procedure needs to revise design proposal.
Summary of the invention
In view of this, the invention provides a kind of detection scheme of user input model,, cause the problem of system reconfiguration owing to the modelling error of modeling and design phase in order to solve in the mobile phone development process.
A kind of detection method of user input model is provided according to an aspect of the present invention.
Detection method according to user input model of the present invention comprises: according to the basic constraint condition of predefined meta-model, detect the element of user input model and the basic the constraint condition whether relation between the element meets meta-model, and output testing result, wherein, the basic constraint condition of predefined meta-model comprises: the definition rule of the fundamental relation between the definition rule of the fundamental element of meta-model, the fundamental element of meta-model.
Preferably, above-mentioned output testing result comprises: with testing result be presented at user input model corresponding file or view on, wherein, testing result comprises: type of error, errorlevel, amending advice.
Further, detect the element of user input model and the basic the constraint condition whether relation between the element meets meta-model, comprise: obtain element corresponding in the user input model, and detect the definition rule whether element that obtains meets described one or more fundamental elements of meta-model with one or more fundamental elements of meta-model; Obtain the relation between the element corresponding in the user input model, and whether the relation between the element obtain of detecting satisfies the definition rule of one or more fundamental relations of meta-model with one or more fundamental relations of meta-model.
Further, before the output testing result, said method also comprises: according to predefined error pattern set, detect the element of user input model and the relation between the element whether with the error pattern set in the error pattern coupling, wherein, the defect mode set comprises the one or more error patterns that are associated with the element of meta-model; Detect rule according to predefined expansion, whether the element and the relation between the element that detect user input model meet expansion inspection rule, wherein, expansion checks that rule comprises the expanded definition rule of the fundamental relation between the fundamental element of expanded definition rule, meta-model of the fundamental element of meta-model.
Preferably, before detecting user input model, said method comprises: the basic constraint condition of pre-defined meta-model.
Further, after the basic constraint condition of the above-mentioned meta-model of definition, this method also comprises: according to the fundamental element of predefined meta-model and the fundamental relation between the fundamental element, definite one or more error patterns that are associated with fundamental element and fundamental relation, and according to one or more error pattern definition error set of modes; According to fundamental relation between the fundamental element of predefined meta-model and the fundamental element, determine one or more expanded definition rules of being associated with fundamental element and fundamental relation, and detect regular according to one or more expanded definition rule definitions expansions.
A kind of pick-up unit of user input model is provided according to another aspect of the present invention.
Pick-up unit according to user input model of the present invention comprises: user input model memory module, meta-model memory module, element module detection module and output module, wherein, the user input model memory module is used to preserve and resolve the user input model of input; The meta-model memory module, the basic constraint condition that is used to preserve and resolve predefined meta-model; The element module detection module is used for detecting the element of user input model and the basic the constraint condition whether relation between the element meets meta-model according to basic constraint condition; Output module is used for the testing result of output is presented at and user input model corresponding file or view, and wherein, testing result comprises: type of error, errorlevel and amending advice.
Further, said apparatus also comprises: error pattern memory module, error pattern detection module, extension rule memory module and extension rule detection module, wherein, the error pattern memory module, be used for preservation and resolve predefined error pattern set, wherein, described error pattern set comprises the one or more error patterns that are associated with the element of meta-model; The error pattern detection module is used for according to error pattern set, detect the element of user input model and the relation between the element whether with the defect mode set in pattern match; The extension rule memory module is used for preserving and resolves predefined expansion and detect rule, and wherein, expansion checks that rule comprises the expanded definition rule of the fundamental relation between the fundamental element of expanded definition rule, meta-model of the fundamental element of meta-model; The extension rule detection module is used to detect the element of user input model and the relation between the element and whether meets expansion and detect rule.
Further, said apparatus also comprises: meta-model and user model mapping block, meta-model and error pattern mapping block, wherein, meta-model and user model mapping block, be used for obtaining the user input model element corresponding, and detect the definition rule whether element that obtains meets one or more fundamental elements of meta-model with one or more fundamental elements of element module; Be used for obtaining the relation between the user input model element corresponding, and whether the relation between the element obtain of detecting satisfies the definition rule of one or more fundamental relations of meta-model with one or more fundamental relations of meta-model; Meta-model and error pattern mapping block are used for determining the one or more error patterns that are associated with fundamental element and fundamental relation according to fundamental relation between the fundamental element of predefined meta-model and the fundamental element.
By above-mentioned at least one scheme of the present invention, basic constraint condition, error pattern set and expansion according to predefined meta-model detect rule, user input model is detected, make the problem that early stage just can find model of user in modeling and design.Avoided in exploitation and the proof procedure, since the system reconfiguration that the modelling error causes, the time that has reduced exploitation greatly and verified.
Other features and advantages of the present invention will be set forth in the following description, and, partly from instructions, become apparent, perhaps understand by implementing the present invention.Purpose of the present invention and other advantages can realize and obtain by specifically noted structure in the instructions of being write, claims and accompanying drawing.
Description of drawings
Accompanying drawing is used to provide further understanding of the present invention, and constitutes the part of instructions, is used from explanation the present invention with embodiments of the invention one, is not construed as limiting the invention.In the accompanying drawings:
Fig. 1 is the process flow diagram according to the detection method of the user input model of the embodiment of the invention;
Fig. 2 is the process flow diagram that detects foundation according to the definition of the embodiment of the invention;
Fig. 3 is the process flow diagram based on the detection method of the user input model of mobile phone dynamic interaction design according to the embodiment of the invention;
Fig. 4 is the structural representation according to the pick-up unit of the user input model of the embodiment of the invention.
Embodiment
Functional overview
In the embodiment of the invention, basic constraint condition, error pattern set and expansion by pre-defined meta-model detect rule, basic constraint condition, error pattern set and expansion according to predefined meta-model detect rule, user input model is detected, detect rear line and return test result, prompting user error type, error level and amending advice.
Under the situation of not conflicting, embodiment and the feature among the embodiment among the application can make up mutually.
According to the embodiment of the invention, at first provide a kind of detection method of user input model.
Detection method according to the user input model of the embodiment of the invention, comprise: according to the basic constraint condition of predefined meta-model, detect the element of user input model and the basic the constraint condition whether relation between the element meets meta-model, and the output testing result.
Preferably, the basic constraint condition of above-mentioned predefined meta-model comprises: the definition rule of the fundamental relation between the definition rule of the fundamental element of meta-model, the fundamental element of meta-model.
Fig. 1 is the process flow diagram according to the detection method of the user input model of the embodiment of the invention, and as shown in Figure 1, in specific implementation process, said method can be refined as following steps (step 102-step 108):
Step 102, obtain element corresponding in the user input model, and detect the definition rule whether element that obtains meets fundamental element corresponding in the meta-model with one or more fundamental elements of element module; Obtain the relation between the element corresponding in the user input model, and whether the relation between the element obtain of detecting satisfies the definition rule of fundamental relation corresponding in the meta-model with one or more fundamental relations of meta-model;
Step 104, according to the set of predefined error pattern, detect the element of user input model and the relation between the element whether with the error pattern set in some error pattern couplings;
Preferably, the set of above-mentioned defect mode comprises the one or more error patterns that are associated with element in the meta-model.
Step 106, regular according to predefined expansion detection, whether the element of detection user input model and the relation between the element meet expansion is checked regular;
Preferably, expansion check rule comprise expanded definition rule at certain fundamental element of meta-model, at the expanded definition rule of certain fundamental relation between the fundamental element of meta-model.
Step 108, output testing result, with testing result be presented at user input model corresponding file or view on, wherein, described testing result comprises: type of error, errorlevel, amending advice.
In concrete implementation process, before detecting user input model, the basic constraint condition, error pattern set, the expansion expansion that also need to define as the meta-model that detects foundation detect rule.
Fig. 2 is the process flow diagram that detects foundation according to the definition of the embodiment of the invention, as shown in Figure 2, and idiographic flow following (step 202-step 206):
The basic constraint condition of step 202, definition meta-model comprises; The definition rule of each fundamental element in the meta-model, the definition rule of information such as the title of element, attribute for example, the definition rule of the fundamental relation between the fundamental element of described meta-model, for example definition rule of fundamental relations such as the succession between the element, concurrency, call relation;
Step 204, according to certain fundamental relation between certain fundamental element of predefined above-mentioned meta-model and the fundamental element, definite one or more error patterns that are associated with above-mentioned fundamental element and above-mentioned fundamental relation, promptly determine the frequent fault pattern that to occur, and all error patterns are aggregated into the error pattern set;
Step 206, according to fundamental relation between the fundamental element of predefined meta-model and the fundamental element, determine which fundamental element and fundamental relation need the user to increase expanded definition rule except that former definition rule, it is that expansion detects rule that all expanded definition rules are gathered.
Below in conjunction with accompanying drawing the preferred embodiments of the present invention are described, should be appreciated that preferred embodiment described herein only is used for description and interpretation the present invention, and be not used in qualification the present invention.
Fig. 3 is the process flow diagram based on the detection method of the user input model of mobile phone dynamic interaction design according to the embodiment of the invention.As shown in Figure 3, in mobile phone dynamic interaction design process, adopt the detection method of user input model, concrete input and output following (step 302-step 312):
The basic constraint condition of step 302, the predefined mobile phone dynamic interaction design element model of input;
Step 304, the predefined common model errors set of modes of input;
Step 306, the predefined user's extension rule of input;
Step 308, input based on a plurality of user input models of mobile phone dynamic interaction design (user input model 1, user input model 2 ... user input model n);
In specific implementation process, adopt the XML technology to the step 308 in step 302, to the digital coding of input and be kept in the pick-up unit.
Step 310, pick-up unit be according to basic constraint condition, error pattern set and user's extension rule of the meta-model of input, to a plurality of user input models of input (user input model 1, user input model 2 ... user input model n) detect;
In concrete implementation process, utilize the XML technology that the digital coding of the detection foundation of preservation and the digital coding of a plurality of user input models are resolved; After parsing finishes, set up corresponding relation between the element in user input model and the element of meta-model, determine that certain element in the user input model is the example of an element-specific in the meta-model; After setting up all corresponding relations, the correctness that concerns between the element of detection user input model and the element, whether the relation between the element of user input model and the element of promptly detecting satisfies the basic constraint condition of first predefined model, detects rule according to the error pattern set after resolving and expansion again all user input models are further detected.
Step 312, output testing result, with type of error, errorlevel, amending advice etc. be presented at described user input model corresponding file or view on.
According to the embodiment of the invention, also provide a kind of pick-up unit of user input model.
Fig. 4 is the structural representation according to the pick-up unit of the user input model of the embodiment of the invention.As shown in Figure 4, this device comprises: user input model memory module 40, meta-model memory module 41, element module detection module 42 and output module 43.
User input model memory module 40 is used to preserve the user input model of input, and when detecting, resolves user input model; Meta-model memory module 41, the basic constraint condition that is used to preserve predefined meta-model, and when detecting, the basic constraint condition of analytical element model; Element module detection module 42 is used for the basic constraint condition according to meta-model, detects the element of user input model and the basic the constraint condition whether relation between the element meets meta-model; Output module 43 is used for the testing result of output is presented at and user input model corresponding file or view, and wherein, testing result comprises: type of error, errorlevel and amending advice.
Further, the pick-up unit according to the user input model of the embodiment of the invention also comprises: error pattern memory module 44, error pattern detection module 45, extension rule memory module 46 and extension rule detection module 47.
Error pattern memory module 44 is used for preservation and resolves predefined error pattern set, and wherein, the error pattern set comprises the one or more error patterns that are associated with the element of meta-model; Error pattern detection module 45 is used for according to error pattern set, detect the element of user input model and the relation between the element whether with the defect mode set in pattern match; Extension rule memory module 46 is used for preserving and resolves predefined expansion and detect rule, and wherein, expansion checks that rule comprises the expanded definition rule of the fundamental relation between the fundamental element of expanded definition rule, meta-model of the fundamental element of meta-model; Extension rule detection module 47 is used to detect the element of user input model and the relation between the element and whether meets expansion and detect rule.
Further, the pick-up unit according to the user input model of the embodiment of the invention also comprises: meta-model and user model mapping block 48, meta-model and defect mode mapping block 49.
Meta-model and user model mapping block 48 are used for obtaining the user input model element corresponding with one or more fundamental elements of element module, and detect the definition rule whether element that obtains meets the one or more fundamental elements in the meta-model; Be used for obtaining the relation between the user input model element corresponding, and whether the relation between the element obtain of detecting satisfies the definition rule of described one or more fundamental relations of meta-model with one or more fundamental relations of meta-model; Meta-model and error pattern mapping block 49 are used for determining the one or more error patterns that are associated with fundamental element and fundamental relation according to fundamental relation between the fundamental element of predefined meta-model and the fundamental element.
As mentioned above, the technical scheme that provides by the embodiment of the invention, detect rule according to the basic constraint condition of predefined meta-model, error pattern set and expansion, user input model is detected, make the problem that early stage just can find model of user in modeling and design.Avoided in exploitation and the proof procedure, since the system reconfiguration that the modelling error causes, the time that has reduced exploitation greatly and verified.
The above is the preferred embodiments of the present invention only, is not limited to the present invention, and for a person skilled in the art, the present invention can have various changes and variation.Within the spirit and principles in the present invention all, any modification of being done, be equal to replacement, improvement etc., all should be included within protection scope of the present invention.

Claims (9)

1. the detection method of a user input model is characterized in that, comprising:
Basic constraint condition according to predefined meta-model, detect the element of user input model and the basic the constraint condition whether relation between the element meets described meta-model, and output testing result, wherein, the basic constraint condition of described predefined meta-model comprises: the definition rule of the fundamental relation between the definition rule of the fundamental element of described meta-model, the fundamental element of described meta-model.
2. method according to claim 1, it is characterized in that exporting testing result comprises: with testing result be presented at described user input model corresponding file or view on, wherein, described testing result comprises: type of error, errorlevel, amending advice.
3. method according to claim 2 is characterized in that, detects the element of described user input model and the basic the constraint condition whether relation between the element meets described meta-model, comprising:
Obtain element corresponding in the described user input model, and detect the definition rule whether described element that obtains meets described one or more fundamental elements of described meta-model with one or more fundamental elements of described meta-model;
Obtain the relation between the element corresponding in the described user input model, and whether the relation between the described element obtain of detecting satisfies the definition rule of described one or more fundamental relations of described meta-model with one or more fundamental relations of described meta-model.
4. method according to claim 1 is characterized in that, before the described testing result of output, described method also comprises:
According to predefined error pattern set, detect the element of described user input model and the relation between the element whether with the error pattern set in the error pattern coupling, wherein, described defect mode set comprises the one or more error patterns that are associated with the element of described meta-model;
Detect rule according to predefined expansion, whether the element and the relation between the element that detect described user input model meet described expansion inspection rule, wherein, described expansion inspection rule comprises the expanded definition rule of the fundamental relation between the fundamental element of the expanded definition rule of the fundamental element of described meta-model, described meta-model.
5. according to each described method of claim 1 to 4, it is characterized in that before detecting user input model, described method comprises: the basic constraint condition of pre-defined described meta-model.
6. method according to claim 5 is characterized in that, after the basic constraint condition of the described meta-model of definition, described method also comprises:
According to fundamental relation between the fundamental element of predefined described meta-model and the fundamental element, definite one or more error patterns that are associated with described fundamental element and described fundamental relation, and according to described one or more error pattern definition error set of modes;
According to the fundamental element of predefined described meta-model and the fundamental relation between the fundamental element, definite one or more expanded definition rules that are associated with described fundamental element and described fundamental relation, and detect regular according to described one or more expanded definition rule definitions expansions.
7. the pick-up unit of a user input model is characterized in that, comprising:
The user input model memory module is used to preserve and resolve the user input model of input;
The meta-model memory module, the basic constraint condition that is used to preserve and resolve predefined meta-model;
The element module detection module is used for according to described basic constraint condition, detects the element of described user input model and the basic the constraint condition whether relation between the element meets described meta-model;
Output module is used for the testing result of output is presented at and described user input model corresponding file or view, and wherein, described testing result comprises: type of error, errorlevel and amending advice.
8. device according to claim 7 is characterized in that, described device also comprises:
The error pattern memory module is used for preservation and resolves predefined error pattern set, and wherein, described error pattern set comprises the one or more error patterns that are associated with the element of described meta-model;
The error pattern detection module is used for according to the set of described error pattern, detect the element of described user input model and the relation between the element whether with described defect mode set in pattern match;
The extension rule memory module, be used for preservation and resolve predefined expansion detection rule, wherein, described expansion inspection rule comprises the expanded definition rule of the fundamental relation between the fundamental element of the expanded definition rule of the fundamental element of described meta-model, described meta-model;
The extension rule detection module is used to detect the element of described user input model and the relation between the element and whether meets described expansion and detect rule.
9. device according to claim 7 is characterized in that, described device also comprises:
Meta-model and user model mapping block, be used for obtaining the described user input model element corresponding, and detect the definition rule whether described element that obtains meets described one or more fundamental elements of described meta-model with one or more fundamental elements of described element module; Be used for obtaining the relation between the described user input model element corresponding, and whether the relation between the described element obtain of detecting satisfies the definition rule of described one or more fundamental relations of described meta-model with one or more fundamental relations of described meta-model;
Meta-model and error pattern mapping block are used for determining the one or more error patterns that are associated with described fundamental element and described fundamental relation according to fundamental relation between the fundamental element of predefined described meta-model and the fundamental element.
CN200910179855.4A 2009-10-15 2009-10-15 The detection method of user input model and device Active CN101673200B (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
CN200910179855.4A CN101673200B (en) 2009-10-15 2009-10-15 The detection method of user input model and device
PCT/CN2010/076090 WO2011044792A1 (en) 2009-10-15 2010-08-18 Method and apparatus for detecting user input model

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN200910179855.4A CN101673200B (en) 2009-10-15 2009-10-15 The detection method of user input model and device

Publications (2)

Publication Number Publication Date
CN101673200A true CN101673200A (en) 2010-03-17
CN101673200B CN101673200B (en) 2015-10-21

Family

ID=42020435

Family Applications (1)

Application Number Title Priority Date Filing Date
CN200910179855.4A Active CN101673200B (en) 2009-10-15 2009-10-15 The detection method of user input model and device

Country Status (2)

Country Link
CN (1) CN101673200B (en)
WO (1) WO2011044792A1 (en)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2011044792A1 (en) * 2009-10-15 2011-04-21 中兴通讯股份有限公司 Method and apparatus for detecting user input model
CN103399817A (en) * 2013-08-13 2013-11-20 清华大学 System detection device based on module modeling and model checking integration
CN108133103A (en) * 2017-12-21 2018-06-08 大连芯巧电子科技有限公司 A kind of Electronic Design DFM detecting systems, method and medium
WO2018176609A1 (en) * 2017-03-31 2018-10-04 大连万达集团股份有限公司 Method and apparatus thereof used in engineering for checking deduction of components in bim modeling
CN114816156A (en) * 2022-05-12 2022-07-29 网易(杭州)网络有限公司 Model detection method and device, terminal device and storage medium

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050222690A1 (en) * 2004-04-01 2005-10-06 Chih-Cheng Wang Test system and method for portable electronic apparatus
CN1722161A (en) * 2005-04-29 2006-01-18 东华大学 Electronic government affair cooperative work data standard compliance testing method
CN101119241A (en) * 2007-08-24 2008-02-06 北京启明星辰信息技术有限公司 Condition detection based protocol abnormity detecting method and system

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101673200B (en) * 2009-10-15 2015-10-21 中兴通讯股份有限公司 The detection method of user input model and device

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050222690A1 (en) * 2004-04-01 2005-10-06 Chih-Cheng Wang Test system and method for portable electronic apparatus
CN1722161A (en) * 2005-04-29 2006-01-18 东华大学 Electronic government affair cooperative work data standard compliance testing method
CN101119241A (en) * 2007-08-24 2008-02-06 北京启明星辰信息技术有限公司 Condition detection based protocol abnormity detecting method and system

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2011044792A1 (en) * 2009-10-15 2011-04-21 中兴通讯股份有限公司 Method and apparatus for detecting user input model
CN103399817A (en) * 2013-08-13 2013-11-20 清华大学 System detection device based on module modeling and model checking integration
CN103399817B (en) * 2013-08-13 2017-05-31 清华大学 Based on module modeling and model inspection integral system detection means
WO2018176609A1 (en) * 2017-03-31 2018-10-04 大连万达集团股份有限公司 Method and apparatus thereof used in engineering for checking deduction of components in bim modeling
CN108133103A (en) * 2017-12-21 2018-06-08 大连芯巧电子科技有限公司 A kind of Electronic Design DFM detecting systems, method and medium
CN114816156A (en) * 2022-05-12 2022-07-29 网易(杭州)网络有限公司 Model detection method and device, terminal device and storage medium

Also Published As

Publication number Publication date
CN101673200B (en) 2015-10-21
WO2011044792A1 (en) 2011-04-21

Similar Documents

Publication Publication Date Title
CN102567193B (en) Method and system for converting test case to automated testing script
CN104407976B (en) A kind of interface robustness testing case generation method and device
WO2017000424A1 (en) Protocol detection method and apparatus
CN109726107A (en) Test method, device, equipment and storage medium
US10354031B2 (en) Information processing by interpenetrating signal transmission channel in design for testability of chip
CN101867501A (en) Method and system for automatically testing consistence of SNMP (Simple Network Management Protocol) interface information model
CN112241360A (en) Test case generation method, device, equipment and storage medium
CN101673200B (en) The detection method of user input model and device
CN110716874B (en) Domestic operating system hardware compatibility testing method
CN110069414B (en) Regression testing method and system
CN112241370B (en) API interface class checking method, system and device
KR20120072130A (en) Apparatus and method for evaluating basic software configuration based on autosar meta file
CN103186463B (en) Determine the method and system of the test specification of software
CN114327476A (en) Chip design file generation method and device and chip design method and device
CN114915643B (en) Configuration method, device, equipment and medium of railway signal centralized monitoring system
CN103164335B (en) The method and system of inspection unit test mass
CN114661615A (en) FPGA software testing method and device
CN101634965B (en) Method for testing Linux kernel-grade unit
CN111639026A (en) Interface test method, device and system
JP2023000907A (en) Source code correction support device and source code correction support method
CN108287787A (en) A kind of object change impact analysis method and system based on tense
CN117435483A (en) Form tool-based simulation verification excitation generation method, device, medium and terminal
CN116016270A (en) Switch test management method and device, electronic equipment and storage medium
CN115599683A (en) Automatic testing method, device, equipment and storage medium
CN105653445A (en) Implementation method capable of meeting DO-178C test result

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant