Software Safety Demonstration Test Method Based on Accelerating Profile

doi:10.3969/j.issn.1000-3428.2008.10.017

Computer Engineering ›› 2008, Vol. 34 ›› Issue (10): 46-48. doi: 10.3969/j.issn.1000-3428.2008.10.017

• Software Technology and Database • Previous Articles Next Articles

Software Safety Demonstration Test Method Based on Accelerating Profile

QIN Zhi-dong1, CAI Yong2, WANG Hong-ya1, LIU Xiao-qiang1

（1. School of Computer Science & Technology, Donghua University, Shanghai 201620;2. Institute of East-China Computer Technology, Shanghai 200233）

Received:1900-01-01 Revised:1900-01-01 Online:2008-05-20 Published:2008-05-20

基于加速剖面的软件防危性验证测试方法

覃志东1，蔡勇2，王洪亚1，刘晓强1

（1. 东华大学计算机科学与技术学院，上海 201620；2. 华东计算技术研究所，上海 200233）

Abstract

Abstract: A software safety demonstration test method based on the accelerating profile is developed on the basis of strictly distinguishing software safety and software reliability. This method includes the details of how to construct the accelerating profile by systematical software safety analysis. According to the method, the software safety target can be demonstrated confidently together with sharply reducing the testing cases size after the accelerating factor is derived by importance sample principle.

Key words: software safety, safety demonstration, software test, accelerating profile

摘要： 在严格区分软件防危性和可靠性的基础上，提出一种基于加速剖面的软件防危性验证测试方法。该方法通过系统性的防危分析，构建软件加速剖面，根据重要性取样原理求得测试加速因子，能在减少测试代价的同时实现对软件防危性指标的高可信验证测试。

关键词: 软件防危性, 防危性验证, 软件测试, 加速剖面

CLC Number:

TP301.6

QIN Zhi-dong; CAI Yong; WANG Hong-ya; LIU Xiao-qiang. Software Safety Demonstration Test Method Based on Accelerating Profile[J]. Computer Engineering, 2008, 34(10): 46-48.

覃志东;蔡勇;王洪亚;刘晓强. 基于加速剖面的软件防危性验证测试方法[J]. 计算机工程, 2008, 34(10): 46-48.

/ / Recommend / Download Citations

URL: http://www.ecice06.com/EN/10.3969/j.issn.1000-3428.2008.10.017

http://www.ecice06.com/EN/Y2008/V34/I10/46

[1]	XIA Zhiyang, YI Ping, YANG Tao. Static Vulnerability Detection Based on Neural Network and Code Similarity [J]. Computer Engineering, 2019, 45(12): 141-146.
[2]	CUI Hongjun,HUANG Meifeng,WU Zhenyu. Embedded Software Safety Analysis Based on OCL-constraint Modeling [J]. Computer Engineering, 2018, 44(6): 270-278.
[3]	ZHANG Yan,FU Xiufen. Test Suite Reduction Method Based on Triple Target Search [J]. Computer Engineering, 2016, 42(3): 84-88.
[4]	WANG Wenjing,FENG Rui. Test Suite Reduction Method Based on Bisecting K-means [J]. Computer Engineering, 2016, 42(12): 73-77,83.
[5]	LIU Chunhong,XU Lihua,YAN Ting,YANG Zongyuan. Segmented Code Testing Based on Concolic Testing and Dynamic Analysis [J]. Computer Engineering, 2015, 41(2): 63-69,80.
[6]	DIAO Hui-Juan, SUN Wen-Hui. Unit Test Method Based on Annealing Genetic Algorithm [J]. Computer Engineering, 2013, 39(1): 49-53.
[7]	SUN Jia-Ze, WANG Shu-Yan. Combinatorial Test Data Generation Algorithm Based on Improved DPSO [J]. Computer Engineering, 2012, 38(7): 40-41,45.
[8]	CENG Yi, JU Meng, DING Na, LIU Jing-Xiang. Pairwise Test Case Generation Algorithm Based on Contribution [J]. Computer Engineering, 2012, 38(7): 53-56.
[9]	LONG Dong-He, FENG Gang, ZUO De-Cheng, ZHANG Zhan, YANG Xiao-Zong. Fault Injection Automatic Test Platform Based on STAF [J]. Computer Engineering, 2012, 38(7): 34-36,39.
[10]	YANG Chun-Hui, XIONG Jing, LI Dong. Research on Reliability Model for Distributed System [J]. Computer Engineering, 2012, 38(3): 51-53.
[11]	CHENG Xiao-Ju, LI Ren-Fa. Study of Embedded Software Regression Test Based on Function Slice [J]. Computer Engineering, 2012, 38(2): 54-56.
[12]	ZHANG Juan, TONG Wei-Qi, CA Li-Zhi. Formalized Description of Reusable Test Case Based on Z Specification [J]. Computer Engineering, 2012, 38(16): 44-48.
[13]	CAO Xiang, HU Chun-Hua, CHEN Shao-Bei, LI Lu-Meng. Data Automatic Generation Approach for Path Test [J]. Computer Engineering, 2011, 37(9): 25-28.
[14]	CAO Yang, SONG Lian-Chun, WANG Ying. SaaS Test Based on Durable X-Machine [J]. Computer Engineering, 2011, 37(9): 87-89.
[15]	LIU Wen-Ting, GAO Jian-Hua. Execution Method for Promoting State-space Search Efficiency [J]. Computer Engineering, 2011, 37(7): 41-43.

Please choose a citation manager

Content to export

Software Safety Demonstration Test Method Based on Accelerating Profile

基于加速剖面的软件防危性验证测试方法

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments

模态框（Modal）标题

Please choose a citation manager

Content to export

Software Safety Demonstration Test Method Based on Accelerating Profile

基于加速剖面的软件防危性验证测试方法

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments