• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.577-590
• /
• 2004

Today, the growth of software industry leads to e quantitative expansion of software package products. Due to this rapid increase of software package products, qualify certification has been required fur software products which users select. Unlike the quality certification of industrial products, the history of software product certification has not been so long. For this reason, software quality evaluation and certification methods have not matured yet. When certifying software products, one of most important factors is the systematic generation of evaluation sets. The evaluation sets include checklists with metrics, and criteria for the software quality certification according to the classification of software product type. This paper presents a metamodel for the systematic generation and maintenance of the evaluation sets. Then, we construct prototype level evaluation sets to show the validity of the metamodel.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.