CN103064787A - 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 - Google Patents
一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 Download PDFInfo
- Publication number
- CN103064787A CN103064787A CN201210564499XA CN201210564499A CN103064787A CN 103064787 A CN103064787 A CN 103064787A CN 201210564499X A CN201210564499X A CN 201210564499XA CN 201210564499 A CN201210564499 A CN 201210564499A CN 103064787 A CN103064787 A CN 103064787A
- Authority
- CN
- China
- Prior art keywords
- state
- test
- interface
- testing
- case
- 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
Links
- 238000012360 testing method Methods 0.000 title claims abstract description 119
- 238000000034 method Methods 0.000 claims description 36
- 230000007704 transition Effects 0.000 claims description 16
- 238000012546 transfer Methods 0.000 claims description 11
- 238000010586 diagram Methods 0.000 claims description 4
- 230000005856 abnormality Effects 0.000 claims description 3
- 230000000454 anti-cipatory effect Effects 0.000 claims description 3
- 238000011990 functional testing Methods 0.000 claims description 2
- 238000005516 engineering process Methods 0.000 abstract description 9
- 238000013522 software testing Methods 0.000 abstract description 2
- 230000006399 behavior Effects 0.000 abstract 1
- 238000011161 development Methods 0.000 description 5
- 230000018109 developmental process Effects 0.000 description 5
- 238000013459 approach Methods 0.000 description 2
- 235000000332 black box Nutrition 0.000 description 2
- 238000004891 communication Methods 0.000 description 2
- 238000010276 construction Methods 0.000 description 2
- 238000010998 test method Methods 0.000 description 2
- 230000000712 assembly Effects 0.000 description 1
- 238000000429 assembly Methods 0.000 description 1
- 230000003542 behavioural effect Effects 0.000 description 1
- 238000000354 decomposition reaction Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 238000005538 encapsulation Methods 0.000 description 1
- 230000002068 genetic effect Effects 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 238000000275 quality assurance Methods 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000000452 restraining effect Effects 0.000 description 1
- 238000002922 simulated annealing Methods 0.000 description 1
- 239000013589 supplement Substances 0.000 description 1
- 230000033772 system development Effects 0.000 description 1
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (1)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210564499.XA CN103064787B (zh) | 2012-12-21 | 2012-12-21 | 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210564499.XA CN103064787B (zh) | 2012-12-21 | 2012-12-21 | 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103064787A true CN103064787A (zh) | 2013-04-24 |
CN103064787B CN103064787B (zh) | 2015-06-10 |
Family
ID=48107420
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201210564499.XA Active CN103064787B (zh) | 2012-12-21 | 2012-12-21 | 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103064787B (zh) |
Cited By (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104714829A (zh) * | 2013-12-15 | 2015-06-17 | 中国航空工业集团公司第六三一研究所 | 一种保证目标码和源代码一致性的编译链接方法 |
CN104899136A (zh) * | 2015-05-15 | 2015-09-09 | 百度在线网络技术(北京)有限公司 | 一种用于生成测试用例的方法和装置 |
WO2016004657A1 (zh) * | 2014-07-11 | 2016-01-14 | 电子科技大学 | 一种针对嵌入式软件的测试用例自动化生成装置及其方法 |
CN107066382A (zh) * | 2017-03-09 | 2017-08-18 | 北京航空航天大学 | 一种基于模型的航天器***自动化测试方法 |
CN107729010A (zh) * | 2017-10-25 | 2018-02-23 | 广州优视网络科技有限公司 | 视图显示方法、装置、计算设备以及存储介质 |
CN108139893A (zh) * | 2015-07-16 | 2018-06-08 | 容毅 | 基于组件的软件***及开发方法 |
CN112463578A (zh) * | 2019-09-09 | 2021-03-09 | 南华大学 | 一种基于组件合约的逐级求解的***测试用例生成方法 |
CN114385475A (zh) * | 2020-10-16 | 2022-04-22 | 腾讯科技(深圳)有限公司 | 一种测试方法和相关装置 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101833498A (zh) * | 2009-07-31 | 2010-09-15 | 北京伟晨豪嘉科技有限责任公司 | 一种基于测试脚本技术的嵌入式***自动化检测*** |
-
2012
- 2012-12-21 CN CN201210564499.XA patent/CN103064787B/zh active Active
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101833498A (zh) * | 2009-07-31 | 2010-09-15 | 北京伟晨豪嘉科技有限责任公司 | 一种基于测试脚本技术的嵌入式***自动化检测*** |
Non-Patent Citations (1)
Title |
---|
白晓颖等: "Interface-Based Automated Testing for Open Software Architecture", 《COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2011 IEEE 35TH ANNUAL》 * |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104714829A (zh) * | 2013-12-15 | 2015-06-17 | 中国航空工业集团公司第六三一研究所 | 一种保证目标码和源代码一致性的编译链接方法 |
CN104714829B (zh) * | 2013-12-15 | 2017-11-28 | 中国航空工业集团公司第六三一研究所 | 一种保证目标码和源代码一致性的编译链接方法 |
WO2016004657A1 (zh) * | 2014-07-11 | 2016-01-14 | 电子科技大学 | 一种针对嵌入式软件的测试用例自动化生成装置及其方法 |
CN104899136A (zh) * | 2015-05-15 | 2015-09-09 | 百度在线网络技术(北京)有限公司 | 一种用于生成测试用例的方法和装置 |
CN108139893A (zh) * | 2015-07-16 | 2018-06-08 | 容毅 | 基于组件的软件***及开发方法 |
CN108139893B (zh) * | 2015-07-16 | 2021-08-06 | 山东程序元软件有限公司 | 基于组件的软件***及开发方法 |
CN107066382A (zh) * | 2017-03-09 | 2017-08-18 | 北京航空航天大学 | 一种基于模型的航天器***自动化测试方法 |
CN107729010A (zh) * | 2017-10-25 | 2018-02-23 | 广州优视网络科技有限公司 | 视图显示方法、装置、计算设备以及存储介质 |
CN112463578A (zh) * | 2019-09-09 | 2021-03-09 | 南华大学 | 一种基于组件合约的逐级求解的***测试用例生成方法 |
CN112463578B (zh) * | 2019-09-09 | 2022-04-22 | 南华大学 | 一种基于组件合约的逐级求解的***测试用例生成方法 |
CN114385475A (zh) * | 2020-10-16 | 2022-04-22 | 腾讯科技(深圳)有限公司 | 一种测试方法和相关装置 |
Also Published As
Publication number | Publication date |
---|---|
CN103064787B (zh) | 2015-06-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103064787A (zh) | 一种基于扩展接口自动机模型的嵌入式组件建模与测试方法 | |
Barr et al. | The oracle problem in software testing: A survey | |
CN107025170A (zh) | 用于设计模型的基于覆盖的自动化的测试用例增广的***和方法 | |
Elkholy et al. | Model checking intelligent avionics systems for test cases generation using multi-agent systems | |
CN104965956A (zh) | 一种基于rucm的需求验证方法 | |
Garro et al. | On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution | |
Bernaerts et al. | Validating industrial requirements with a contract-based approach | |
Dressler et al. | A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics | |
Jetley et al. | Applying software engineering practices for development of industrial automation applications | |
Mian et al. | Model transformation for analyzing dependability of AADL model by using HiP-HOPS | |
David et al. | Improving reliability studies with SysML | |
Filipovikj et al. | Automated SMT-based consistency checking of industrial critical requirements | |
Boroday et al. | Can a model checker generate tests for non-deterministic systems? | |
Garro et al. | Modeling of system properties: Research challenges and promising solutions | |
Chen et al. | Ontology based behavior verification for complex systems | |
Mekki et al. | Validating time-constrained systems using UML statecharts patterns and timed automata observers | |
MacKenzie et al. | Verification technology potential with different modeling and simulation development and implementation paradigms | |
Garro et al. | RAMSAS4Modelica: a Simulation-driven Method for System Dependability Analysis centered on the Modelica language and related tools | |
Kaufmann et al. | A Framework for Integrating Automated Diagnosis into Simulation | |
Mavridou et al. | Bridging the Gap Between Requirements and Model Analysis: Evaluation on Ten Cyber-Physical Challenge Problems | |
Semeráth | Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers | |
Sahraoui et al. | Methodology for fast prototyping of distributed real-time systems | |
Mekki et al. | Patterns for Temporal Requirements Engineering-A Level Crossing Case Study | |
Li et al. | Towards code generation from design models | |
Buzhinsky | Visual formalisms applied to temporal logic property patterns in the nuclear automation domain |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
ASS | Succession or assignment of patent right |
Owner name: AVIATION INDUSTRY GROUP OF CHINA XI AN AVIATION CO Effective date: 20140127 |
|
C41 | Transfer of patent application or patent right or utility model | ||
C53 | Correction of patent of invention or patent application | ||
CB03 | Change of inventor or designer information |
Inventor after: Bai Xiaoying Inventor after: Zhang Renwei Inventor after: Niu Wensheng Inventor after: Li Yahui Inventor before: Bai Xiaoying Inventor before: Zhang Renwei |
|
COR | Change of bibliographic data |
Free format text: CORRECT: INVENTOR; FROM: BAI XIAOYING ZHANG RENWEI TO: BAI XIAOYING ZHANG RENWEI NIU WENSHENG LI YAHUI |
|
TA01 | Transfer of patent application right |
Effective date of registration: 20140127 Address after: 100084 Beijing Beijing 100084-82 mailbox Applicant after: Tsinghua University Applicant after: AVIC XI'AN AERONAUTICS COMPUTING TECHNIQUE RESEARCH INSTITUTE Address before: 100084 Beijing Beijing 100084-82 mailbox Applicant before: Tsinghua University |
|
C14 | Grant of patent or utility model | ||
GR01 | Patent grant |