CN103019934B - Test case generation method based on data code separation technology - Google Patents
Test case generation method based on data code separation technology Download PDFInfo
- Publication number
- CN103019934B CN103019934B CN201210496043.4A CN201210496043A CN103019934B CN 103019934 B CN103019934 B CN 103019934B CN 201210496043 A CN201210496043 A CN 201210496043A CN 103019934 B CN103019934 B CN 103019934B
- Authority
- CN
- China
- Prior art keywords
- path
- linear
- predicate
- matrix
- test
- 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.)
- Active
Links
- 238000012360 testing method Methods 0.000 title claims abstract description 54
- 238000000034 method Methods 0.000 title claims abstract description 42
- 238000005516 engineering process Methods 0.000 title claims abstract description 12
- 238000000926 separation method Methods 0.000 title claims abstract description 8
- 239000011159 matrix material Substances 0.000 claims abstract description 41
- 238000012886 linear function Methods 0.000 claims description 23
- 230000008569 process Effects 0.000 claims description 9
- 239000000203 mixture Substances 0.000 claims description 4
- 230000007704 transition Effects 0.000 claims description 4
- 238000004458 analytical method Methods 0.000 abstract description 5
- 238000013461 design Methods 0.000 abstract description 4
- 230000005284 excitation Effects 0.000 description 6
- 238000004422 calculation algorithm Methods 0.000 description 5
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000005259 measurement Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012216 screening Methods 0.000 description 1
- 238000013522 software testing Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (8)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210496043.4A CN103019934B (en) | 2012-11-28 | 2012-11-28 | Test case generation method based on data code separation technology |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210496043.4A CN103019934B (en) | 2012-11-28 | 2012-11-28 | Test case generation method based on data code separation technology |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103019934A CN103019934A (en) | 2013-04-03 |
CN103019934B true CN103019934B (en) | 2015-05-27 |
Family
ID=47968559
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201210496043.4A Active CN103019934B (en) | 2012-11-28 | 2012-11-28 | Test case generation method based on data code separation technology |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103019934B (en) |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104484162B (en) * | 2014-10-31 | 2018-04-03 | 国云科技股份有限公司 | A kind of software test case designs write method |
CN104731587A (en) * | 2015-03-12 | 2015-06-24 | 用友网络科技股份有限公司 | Unit testing data generating method and unit testing data generating system |
CN104809067B (en) * | 2015-05-07 | 2017-11-17 | 北京邮电大学 | Towards the method for generating test case and device of equality constraint |
CN106775913B (en) * | 2016-12-16 | 2019-07-09 | 华东师范大学 | A kind of object code controlling stream graph generation method |
CN108170602B (en) * | 2017-12-28 | 2021-04-02 | 上海璞恒新能源科技有限公司 | Test case generation method and device, terminal and computer readable medium |
CN108446220B (en) * | 2018-03-02 | 2022-04-05 | 国网吉林省电力有限公司信息通信公司 | Test case generation method and device |
CN109359039B (en) * | 2018-09-30 | 2023-01-31 | 福建星瑞格软件有限公司 | Method for improving Sahi automatic testing efficiency |
CN110716869B (en) * | 2019-09-18 | 2024-05-14 | 平安科技(深圳)有限公司 | Test case generation method and device, electronic equipment and computer readable storage medium |
CN113127366B (en) * | 2021-04-28 | 2023-08-15 | 芜湖雄狮汽车科技有限公司 | Matrix automatic test method based on model and computer readable storage medium |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1402133A (en) * | 2002-09-13 | 2003-03-12 | 中国人民解放军国防科学技术大学 | Method for automatic generating route-oriented test data |
CN1555014A (en) * | 2003-12-26 | 2004-12-15 | 中兴通讯股份有限公司 | Human-machine order testing method |
-
2012
- 2012-11-28 CN CN201210496043.4A patent/CN103019934B/en active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1402133A (en) * | 2002-09-13 | 2003-03-12 | 中国人民解放军国防科学技术大学 | Method for automatic generating route-oriented test data |
CN1555014A (en) * | 2003-12-26 | 2004-12-15 | 中兴通讯股份有限公司 | Human-machine order testing method |
Non-Patent Citations (2)
Title |
---|
Directed Test Suite Augmentation;Zhihong Xu ET AL;《2009 16th Asia-Pacific Software Engineering Conference》;20091203;第406页到第413页 * |
基于约束求解的测试用例生成器的研究与设计;赖思佳;《中国优秀硕士学位论文全文数据库•信息科技辑》;20120815(第8期);全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN103019934A (en) | 2013-04-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103019934B (en) | Test case generation method based on data code separation technology | |
Hoos | Programming by optimization | |
Prosvirnova et al. | The AltaRica 3.0 project for model-based safety assessment | |
CN105320806B (en) | Method for summarizing nuclear power process pipeline material by combining PML (polymethylene diamine) with Excel-VBA (Excel-VBA) processing data | |
CN103198015A (en) | Embedded software reliability test data generating method based on using probability | |
Kang et al. | A new carbon capture proxy model for optimizing the design and time-varying operation of a coal-natural gas power station | |
CN103065000A (en) | MDE (model driven engineering)-based method for analyzing and verifying SysML state machine diagram | |
CN101271397A (en) | Recognition method of nested loop structure | |
Song et al. | FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states | |
CN104360906B (en) | A kind of High Level Synthesis dispatching method based on difference constrained system Yu iteration mould | |
Yoo et al. | Verification of PLC programs written in FBD with VIS | |
Keskin | Process integration and automated multi-objective optimization supporting aerodynamic compressor design | |
Golas | Analysis and correctness of algebraic graph and model transformations | |
Song et al. | Automated test sequence generation for function block diagram programs | |
Bogdanov et al. | DAEDALED: A GUI Tool for the optimization of Smart City LED street lighting networks | |
Karniel et al. | Simulating design processes with self-iteration activities based on DSM planning | |
CN104657542A (en) | MSVL (Modeling, Simulation and Verification Language)-based Petri network model detection method | |
Miao et al. | A formal specification-based integration testing approach | |
Thomas et al. | Customizable continuous building simulation using the design performance toolkit and Kepler scientific workflows | |
CN104050084A (en) | Modification impact analysis method based on software route analysis result | |
Kleijn et al. | A process algebra based verification of a production system | |
Kim et al. | A class testing technique based on data bindings | |
Pfenninger | Calliope documentation | |
Itsykson et al. | Source code modification technology based on parameterized code patterns | |
Yogesh et al. | Test-driven development of automotive software functionality |
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 | ||
C56 | Change in the name or address of the patentee | ||
CP01 | Change in the name or title of a patent holder |
Address after: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Patentee after: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. Address before: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Patentee before: Beijing Traffic Control Technology Co., Ltd. |
|
CP03 | Change of name, title or address |
Address after: 100070 Beijing science and Technology Park of Fengtai District Seahawks Hospital No. 6 2, No. 3 (Park) Patentee after: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. Address before: 100070 Beijing science and Technology Park of Fengtai District Haiying Road No. 6 hospital of Beijing, the headquarters of the International 2 Building No. 3 Patentee before: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. |
|
CP03 | Change of name, title or address | ||
TR01 | Transfer of patent right |
Effective date of registration: 20191203 Address after: Room 302-5, building C02, North Fuyuan Road, Wuqing Development Zone, Wuqing District, Tianjin (centralized office area) Patentee after: Tianjin jiaokong Haohai Technology Co., Ltd Address before: 100070 Beijing science and Technology Park of Fengtai District Seahawks Hospital No. 6 2, No. 3 (Park) Patentee before: TRAFFIC CONTROL TECHNOLOGY Co.,Ltd. |
|
TR01 | Transfer of patent right | ||
CP03 | Change of name, title or address |
Address after: Room 302-5, building C02, North Fuyuan Road, Wuqing Development Zone, Tianjin 301700 (centralized office area) Patentee after: Traffic control technology equipment Co., Ltd Address before: Room 302-5, building C02, North Fuyuan Road, Wuqing Development Zone, Wuqing District, Tianjin (centralized office area) Patentee before: Tianjin jiaokong Haohai Technology Co., Ltd |
|
CP03 | Change of name, title or address |