English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

陈 平 梁启明 孙 伟 (工业和信息化部电子第五研究所 广州510610)  摘 要 国内软件业界实施系统测试时,大部分采用对系统规格说明描述的功能点进行逐一测试的方法,很少从系统 能力的角度进行测试,难以充分说明系统软件产品满足系统能力需求的要求。同时,系统规格说明使用自然语言进行 描述,存在语义不准确的现象,直接影响系统测试的质量。针对上述问题,提出了一种面向系统能力的形 式 化 分 析 和 测试方法。通过该方法,测试工程师可得到语义清晰的系统能力需求描述,并实施面向系统能力的系统 测 试,有 效 地 提高系统测试的充分性和准确性,从而提高系统软件质量。 关键词 系统测试,系统能力测试,形式化方法,软件需求分析 中图法分类号 TP306+.2 文献标识码 A  System Capability-oriented Approach for Formalized Software Requirements Analysing and Testing CHEN Ping LIANG Qi-ming SUN Wei (China Electronic Product Reliability and Environmental Testing Research Institute,Guangzhou 510610,China)  Abstract In domestic software industry,system testing is based on only the function items in system requirements specifications,rarely based on the system capabilities.Consequently,the result of system testing can not fuly testifies that the SUT(System Under Rest)meets the system requirements.Besides,there is ambiguity in system requirements specifications which is caused by natural language descriptions.These problems directly decrease the efficiency of system testing.In order to deal with these problems,a system capability-oriented approach for formalized software requirements analysing and testing was proposed.With this approach,software testing engineers can get clear descriptions about requirements of system capabilities,and conduct system testing for system capabilities.It wil efficiently improve the adequacy and accuracy of system testing,which consequently increase the quality of SUT.

面向系统能力的形式化分析和测试方法 (System Capability-oriented Approach for Formalized Software Requirements Analysing and Testing).