CAJ | 학술논문

随着嵌入式软件规模、复杂度的持续增长，基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用。嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段。基于模型的测试是嵌入式软件测试的重要方法，通过基础模型描述系统预期的行为特性，以提供用例生成的基础。文中针对嵌入式软件构件，提出建立构件扩展语义接口自动机模型（Extended Semantic Interface Automata，ESIA），通过对接口自动机模型进行变量、约束条件等扩展，支持构件行为特性的描述与理解。以 ESIA 为基础模型，提出了基于符号执行的 ESIA-Symbolic 测试用例生成方法，通过搜索有效的事件／数据序列，设计相关测试用例与测试场景。实验以高速列车车载通信系统软件为例进行建模与测试生成，并在测试覆盖率、效率、有效性等方面与相关测试生成方法进行了对比。
수착감입식연건규모、복잡도적지속증장，기우구건적설계기술이재대규모감입식계통개발중득도엄범응용。감입식구건측시시보증구건질량이급구건간집성구조적중요수단。기우모형적측시시감입식연건측시적중요방법，통과기출모형묘술계통예기적행위특성，이제공용례생성적기출。문중침대감입식연건구건，제출건립구건확전어의접구자동궤모형（Extended Semantic Interface Automata，ESIA），통과대접구자동궤모형진행변량、약속조건등확전，지지구건행위특성적묘술여리해。이 ESIA 위기출모형，제출료기우부호집행적 ESIA-Symbolic 측시용례생성방법，통과수색유효적사건／수거서렬，설계상관측시용례여측시장경。실험이고속열차차재통신계통연건위례진행건모여측시생성，병재측시복개솔、효솔、유효성등방면여상관측시생성방법진행료대비。
With the increasing size and complexity of embedded systems,Component-Based Design (CBD)has been widely applied in large-scale embedded system development.Embedded component testing is important to ensure the quality of individual components and component integrations.Modeling is an effective technique in embedded system testing.It abstracts the expected system behavior and provides the basis for test case design.The paper proposes an ESIA (Extended Semantic Interface Automata)model which extends IA (Interface Automata)with variables and constraints for better understanding of component interface behavior.Based on ESIA,algorithms are designed following symbolic execution method to search for effective events/data sequences as test cases and test scenarios.Experiments are exercised on a communication software of high-speed railway.It evaluates the test coverage and effectiveness of the proposed approach in comparison with others.