Takeshi Sumi

  • Citations Per Year
Learn More
In designing scenario tests, it is difficult to suppose how the target software will be used. We regard a scenario test as testing a flow of multiple functions. And we propose a method to design scenario tests by combining single function tests in a structured way. In our method, a single-function test consists of one trigger and some conditions. In this(More)
This paper proposes a context-dependent requirements analysis method called CAMEmb (Context Analysis Method for Embedded systems) consisting of UML-based context modeling and formal verification support. In CAMEmb, a context model is constructed from initial system requirements by using a UML Profile for Context Analysis. This context model clarifies the(More)
  • 1