• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• 한국HCI학회:학술대회논문집
• /
• 2008.02b
• /
• pp.608-613
• /
• 2008

Web usability for e-commerce sites becomes a more important issue as e-commerce gains its popularity. As for fresh foods, consumers are especially sensitive to the quality of information during transaction process. Successful fresh food e-commerce sites, such as Wine. com and Tesco, identified regular usability testing as part of key success factors. This paper aims to identify processes for evaluating usability of fresh food e-commerce sites and provide recommendations to improve usability. The study aims to evaluate Web usability of selected Web sites using heuristic evaluation to provide objective Web usability analysis for each transaction process and think aloud method to understand how users actually evaluate the Web site.